Transcript Kapitel 12

Grundkurs Theoretische Informatik
Gottfried Vossen
Kurt-Ulrich Witt
GrundkursTheoretische Informatik, Folie 12.1
Kapitel 12
© 2006 G. Vossen,K.-U. Witt
Approximative und probabilistische Ansätze und deren
Anwendungen
Approximative Algorithmen für NPvollständige Probleme
Probabilistische Algorithmen und
Komplexitätsklassen
Interaktive Beweissysteme
Zero Knowledge Beweise.
Anwendung: Authentifikation
GrundkursTheoretische Informatik, Folie 12.2
© 2006 G. Vossen,K.-U. Witt
Prozesse mit Ausführungsordnung
GrundkursTheoretische Informatik, Folie 12.3
© 2006 G. Vossen,K.-U. Witt
Optimale Ausführung der Prozesse auf 2 Prozessoren
GrundkursTheoretische Informatik, Folie 12.4
© 2006 G. Vossen,K.-U. Witt
Zu lösendes Beispiel des TSP-Problems
GrundkursTheoretische Informatik, Folie 12.5
© 2006 G. Vossen,K.-U. Witt
Ein minimaler spannender Baum
GrundkursTheoretische Informatik, Folie 12.6
© 2006 G. Vossen,K.-U. Witt
„Verdopplung“ des spannenden Baumes
GrundkursTheoretische Informatik, Folie 12.7
© 2006 G. Vossen,K.-U. Witt
Endgültige Rundreise
GrundkursTheoretische Informatik, Folie 12.8
© 2006 G. Vossen,K.-U. Witt
2-benachbarte Rundreisen
GrundkursTheoretische Informatik, Folie 12.9
© 2006 G. Vossen,K.-U. Witt
3-benachbarte Rundreisen
GrundkursTheoretische Informatik, Folie 12.10
© 2006 G. Vossen,K.-U. Witt
Hierarchie von Komplexitätsklassen
GrundkursTheoretische Informatik, Folie 12.11
© 2006 G. Vossen,K.-U. Witt
Ende Kapitel 12
GrundkursTheoretische Informatik, Folie 12.12
© 2006 G. Vossen,K.-U. Witt