Beruflich Dokumente
Kultur Dokumente
Ebkfs Zettel 8
Ebkfs Zettel 8
Ebkfs Zettel 8
EBKfS Ubungsgruppe 07
Mf rechnet mit O(n log2 2d) + O(log2 2d) + O(2(n + |e |)) O(n log2 2d) in polynomieller Zeit. Korrektheit Die Funktion f soll die Tatsache ausnutzen, dass die beiden zu testenden Sprachen im Wesen nicht sehr verschieden sind. Beide bilden Teilmengen und beide Summieren die Werte ihrer Teilmengen auf. Der unterschied liegt lediglich in der Ergebnisbetrachtung. Fr MaschinenScheduling mssen die Summierungen kleiner oder gleich eiu u ner Obergrenze d sein, bei Partition sollen die Aufsummierungen den gleichen Wert ergeben (wobei hier sogar gilt: T1 T2 = T und T1 T2 = ). Um also mit der DTM zu MaschinenScheduling ein Wort aus Partition zu berechnen, muss dafr gesorgt sein, dass es auch wirklich zwei Teilmengen mit dem selben u aufsummierten Wert d geben kann. Dazu rechnet Mf die Dierenz aus e = ti
i{1,...,n}
und 2d zu Wertemenge T hinzu, mit ti = 1 fr i {n + 1, . . . , n + e }. Ganz egal also u wenn z.B. eine oder beide Teilmengen < d, die Eins-Werte knnen immer so zu den o Teilmengen gewhlt werden, dass die Gesamtsumme gleich 2d ist, und beide Teilmena gen aufsummiert jeweils d ergeben.