Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Hintergrund und Motivation Hintergrund: Komplexität (TheoInf 2)<br />
In den 1960’er Jahren begann Stephen Cook, den Unterschied zwischen<br />
“leichten” und “schweren” per Computer lösbaren Problemen zu<br />
präzisieren:<br />
“leicht” in der Praxis existiert ein “effizienter” Lösungsalgorithmus<br />
“schwer” in der Praxis existiert kein solcher Lösungsalgorithmus<br />
“effizient” die Laufzeit ist polynomial in der Größe der Eingabe<br />
Beispiel (leicht)<br />
Das Sortieren einer Liste von Zahlen.<br />
Beispiel (schwer)<br />
Das Optimieren einer Rundreise durch gegebene Städte gemäß Reisekosten<br />
oder Entfernung oder Zeit; bekannt als “Problem des Handlungsreisenden”<br />
oder TSP (Travelling Salesman Problem).<br />
Return<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 11 / 191
Change language