Blatt9

Werbung
Ergänzungen AuB und BuK
Blatt 9 – 08.01.2015
Themen
Polynomialzeitreduktionen
Literatur
Reduktionen [1]
[1] Schöning, Uwe: Theoretische Informatik - kurzgefasst. Spektrum Akademischer Verlag, 2003
Aufgaben
Polynomialezeitreduktionen
2
-SAT
3
Zeigen Sie, dass das folgende Problem N P -vollständig ist.
Eingabe: Eine aussagenlogische Formel F in konjunktiver Normalform.
Frage: Gibt es eine Belegung der atomaren Formeln so, dass mindestens zwei Drittel
aller Klauseln in F erfüllt sind?
Halb-SAT
Zeigen Sie, dass das folgende Problem N P -vollständig ist.
Eingabe: Eine aussagenlogische Formel F.
Frage: Gibt es eine Belegung der atomaren Variablen so, dass F erfüllt ist und die
Hälfter aller Variablen ist auf 1 gesetzt?
100-SAT
Zeigen Sie, dass das folgende Problem in P liegt:
Eingabe: Eine aussagenlogische Formel F.
Frage: Gibt es eine erfüllende Belegung für F, die genau 100 Variablen in F mit wahr
belegt?
1
Ergänzungen AuB und BuK
Blatt 9 – 08.01.2015
100+SAT
Zeigen Sie, dass das folgende Problem in N P liegt:
Eingabe: Eine aussagenlogische Formel F.
Frage: Gibt es eine erfüllende Belegung für F, die mindestens 100 Variablen in F
mit wahr belegt?
3-KNF ≤ RUCKSACK ≤ PARTITION ≤ BIN PACKING
Zeigen Sie 3-KNF ≤ RUCKSACK ≤ PARTITION ≤ BIN PACKING
RUCKSACK Gegeben: eine Liste von natürlichen Zahlen (a1 , ..., an , b)
Frage: Gibt es eine Teilmenge I ⊆ {1, ..., n} mit Σi∈I ai = b
PARTITION Gegeben: eine Liste von Zahlen (a1 , ..., an )
Frage: Gibt es eine Teilmenge I ⊆ {1, ..., n} mit Σi∈I ai = Σi∈I
/ ai
BIN PACKING Gegeben: b, k ∈ N, a ∈ Nn mit ai ≤ b
Frage: Gibt es eine Funktion f : {1..n} 7→ {1..k} : ∀j ∈ {1..k} : Σf (i)=j ai ≤ b
2
Herunterladen