pdf-Folien - DBAI
pdf-Folien - DBAI
pdf-Folien - DBAI
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