Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in Band I, Kapitel 10 https://info2.aifb.kit.edu/qa/index.php?qa=qa&qa_1=band-i-kapitel-10 Powered by Question2Answer Beantwortet: Polynomialzeitreduktion Graph https://info2.aifb.kit.edu/qa/index.php?qa=5115&qa_1=polynomialzeitreduktion-graph&show=5118#a5118 Hallo,<br /> <br /> In dieser Aufgabe geht es um eine konkrete Anwendung der Polynomialzeitreduktion.<br /> <br /> In Aufgabenteil a) soll gezeigt werden, dass das Problem VC in NP liegt, ich denke dieser Teil ist noch verständlich.<br /> <br /> In Teil b) soll nun mithilfe des aus der Vorlesung bekannten NP-vollständigen Problems CLIQUE gezeigt werden, dass VC sogar NP-vollständig ist. Denn wenn wir CLIQUE darauf (polynomialzeit) reduzieren können, muss VC mindestens genauso schwer sein wie CLIQUE, also folglich NP-vollständig. Salopp gesagt versuchen wir also unser CLIQUE Problem über die Problemstellung von VC darzustellen.<br /> <br /> Viele Grüße<br /> <br /> Monika (Tutorin) Band I, Kapitel 10 https://info2.aifb.kit.edu/qa/index.php?qa=5115&qa_1=polynomialzeitreduktion-graph&show=5118#a5118 Sat, 28 Jan 2017 22:54:09 +0000 Beantwortet: BER-AI: NP-Schwer reduzierbar auf SAT, NP-Vollständig in Pol lösbar https://info2.aifb.kit.edu/qa/index.php?qa=4004&qa_1=ber-ai-np-schwer-reduzierbar-auf-sat-vollst%C3%A4ndig-pol-l%C3%B6sbar&show=4012#a4012 Was 2) angeht: Das bezieht sich auf eine sehr spezielle Eigenschaft von NP-vollständigkeit - in der Klausur hätten Sie so eine schwierige Frage nicht lösen müssen.<br /> <br /> Die grundsätzliche Aussage, die nicht GANZ, aber IM KERN richtig ist, lautet:<br /> $$P=NP \Rightarrow \mbox{ alle Probleme aus $NP$ sind $NP$-vollständig}$$<br /> Diese Aussage stimmt deshalb nicht ganz, weil es die beiden trivialen Probleme<br /> $$X = \emptyset \mbox{ bzw. } X = E^\star \in P=NP$$<br /> gibt, die auch dann nicht $NP$-vollständig wären. Auch wenn man das oft vernachlässigen kann, ist die Aussage, wie sie in der Multiple-Choice-Aufgabe steht, strenggenommen nicht korrekt, und deshalb haben wir das auch entsprechend als falsch angekreuzt und erklärt.<br /> <br /> Viele Grüße<br /> <br /> Lukas König Band I, Kapitel 10 https://info2.aifb.kit.edu/qa/index.php?qa=4004&qa_1=ber-ai-np-schwer-reduzierbar-auf-sat-vollst%C3%A4ndig-pol-l%C3%B6sbar&show=4012#a4012 Mon, 08 Feb 2016 11:07:19 +0000 Beantwortet: P=NP, was folgt daraus für NP-schwere Probleme? https://info2.aifb.kit.edu/qa/index.php?qa=3970&qa_1=p-np-was-folgt-daraus-f%C3%BCr-np-schwere-probleme&show=3971#a3971 Also grundsätzlich sind Lösungen für Probleme die in NP liegen nur in Polynomialzeit überprüfbar. Es wird derzeit zusätzlich vermutet, dass die enthaltenen Probleme nicht in Polynomialzeit lösbar sind, also dass sie schwerer sind als die Probleme die in P liegen, welche in Polynomialzeit lösbar sind.<br /> <br /> Nimmt man an, dass P=NP gilt, so wären alle Probleme in NP zusätzlich in Polynomialzeit lösbar. Dies schließt jedoch nicht ein, dass alle Probleme die in NP-schwer liegen auch in Polynomialzeit lösbar sind, da für diese Probleme lediglich gilt, dass diese mindestens so schwer sind wie alle Probleme in NP. Sie können demzufolge auch schwerer sein. Band I, Kapitel 10 https://info2.aifb.kit.edu/qa/index.php?qa=3970&qa_1=p-np-was-folgt-daraus-f%C3%BCr-np-schwere-probleme&show=3971#a3971 Sun, 07 Feb 2016 10:11:18 +0000