10.10.2013 Aufrufe

pdf-Folien - DBAI

pdf-Folien - DBAI

pdf-Folien - DBAI

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Komplexitätstheorie (5) (Wolfgang Slany) 23<br />

Daß TSP auch stark NP-vollständig ist sieht man daran,<br />

daß in alle Reduktionen, ausgehend von der beliebigen<br />

Sprache L ¦ NP in Cooks Beweis der NP-Vollständigkeit<br />

von SAT, nur polynomiell begrenzte Zahlen vorkamen.<br />

Zusammenfassung der NP-Vollständigkeits Teils:<br />

Clique<br />

Independent Set<br />

Vertex Cover<br />

L<br />

SAT<br />

3CNF<br />

MAX2SAT<br />

Subset Sum<br />

Rucksack<br />

GHK<br />

Hamiltonian Cycle<br />

TSP

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!