Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2010 Bonusklausur

Beantwortet: Nachklausur 2010. Aufgabe 6.

Sun, 12 Feb 2017 06:53:54 +0000

Hallo,

dein Link zur Aufgabe verweist auf die Bonusklausur 2010, oben meinst du Nachklausur 2010, Aufg. 6, in beiden Aufgaben geht es leider nicht um Schaltwerke, um welche Aufgabe geht es denn? ;-)

Grüße

Kommentiert: ich verstehe nicht, warum die 8. Aussage falsch ist

Sat, 13 Feb 2016 14:55:46 +0000

Wieso ist B mindestens NP-vollständig?
Man kann doch nur folgern, dass B NP-schwer ist, was auch die 2. & 3. Aussage angeben.

Kommentiert: Würde gerne wissen, ob meine Erklärungen für die einzelnen Aussagen stimmen

Fri, 16 Oct 2015 08:31:35 +0000

Nein, ich sehe da keinen Widerspruch.

Mit "B mindestens NP-vollständig" ist gemeint, dass B NP-vollständig sein KANN, aber nicht in NP liegen muss (und damit auch NICHT NP-Vollständig sein MUSS), weil B beispielsweise semientscheidbar ist. Das einzige, dass wir aus den gegebenen Informationen sicher wissen, ist, dass B NP-Schwer ist (siehe Frage 2).

Allgemein sollte ich vielleicht noch anmerken, dass nicht jedes semientscheidbare Problem NP-schwer ist.

Die Lösung der 4. Frage ("falsch") bedeutet nur, dass wir auf Basis der Informationen in der Aufgabe nicht beweisen können, dass B NP-vollständig ist. Das ist etwas anderes als zu zeigen, dass B nicht NP-vollständig sein kann (was man mit den Informationen aus der Aufgabe nicht kann). Insbesondere bedeutet die Lösung von Aufgabe 4 nicht, dass B nicht NP-vollständig ist. Zur Bedeutung der Antwort "falsch" in dieser Aufgabe siehe mein erster Beitrag.

Tobias (Tutor)

Bearbeitet: Reicht die Betrachtung von $y=0^k$?

Sat, 10 Oct 2015 06:03:36 +0000

Schönen guten Tag,

in der Lösung wurde hier nur der fall $y=0^k$ betrachtet als Pumpstelle.

Reicht das aus? Oder müsste man auch

$y=0^k 1^j$
$y=1^k$
$y=1^k0^j$
... usw

betrachten?