Worum geht es im Kurs?
Die Eine-Million-Dollar-Frage oder "Welche Probleme haben effiziente Algorithmen?" oder "Ist das Finden einer Lösung schwerer als das Überprüfen einer Lösung?"
Sie lösen vielleicht manchmal Sudokus. Dabei muss man nach gewissen Regeln die Zahlen 1 bis 9 in ein Spielfeld der Größe 9 mal 9 eintragen. Ich habe schon Stunden mit der Lösung eines Sudokus zugebracht. Jedes Kind in der Grundschule kann überprüfen, ob ein ausgefülltes Sudoku die Regeln erfüllt. Unsere Lebenserfahrung sagt uns, dass bei Sudokus Lösen ganz sicher schwerer ist als Überprüfen.
Die Informatik kennt auch viele Probleme, bei denen man unter einer Vielzahl von Möglichkeiten die richtige finden muss. Denken Sie an ein Logistikunternehmen, das an viele Betriebe liefern soll und die billigste Reihenfolge zum Anfahren der Betriebe bestimmen will. Dieses Problem heißt das Traveling Salesman Problem. Es ist dafür kein effizienter Algorithmus bekannt. Man kann aber für eine Reihenfolge ganz leicht überprüfen, ob sie eine vorgegebene Länge nicht überschreitet. Ob es für das Traveling Salesman Problem einen effizienten Algorithmus gibt, ist eine tiefe Frage, für deren Lösung die Clay-Foundation ein Preisgeld von einer Million Dollar ausgesetzt hat.
Inhalte
-
Die Ziele von Theorie
-
Algorithmisch unentscheidbare Probleme
-
Die Eine-Million-Dollar-Frage
- Die Klassen P und NP
- Das Erfüllbarkeitsproblem der Aussagenlogik
- Weitere Probleme in NP
- Genaue Definition der Klasse NP
- Der Satz von Cook und Levin: P = NP genau dann, wenn SAT in P
- Der Satz von Karp
-
Eine Reduktion
-
Was wäre wenn...
- ... P ungleich NP wäre und man es beweisen könnte?
-
... P gleich NP wäre und man es beweisen könnte?
-
Ansätze zur Lösung NP-vollständiger Probleme
Bestandteile des Kurses
- Videos
- Folien
- Übungen mit Lösungen
- Logbuchaufgaben
- Zertifikat
Danksagung
Ich danke meinen (ehemaligen und aktuellen) Mitarbeitern, mit deren Hilfe ich die Vorlesung Ideen und Konzepte der Informatik an der Universität des Saarlandes entwickelt habe:
Dr. Konstantinos Panagiotou, Dr. Adrian Neumann, Dr. Antonios Antoniadis, Dr. Corinna Coupette und Angelina Mansion.
Dieser Kurs und die gesamte Kursreihe bauen auf dieser Vorlesung auf.
Kursinhalt
Chapter
1
Einführung und Übersicht
Chapter
2
Ein algorithmisch unlösbares Problem: das Haltepr…
Chapter
3
Die Eine-Million-Dollar-Frage
Chapter
4
Was wäre, wenn ...?
Chapter
5
Was tun?
Was werden Sie lernen?
- Ziele der Theoriebildung
- Das Halteproblem und andere unentscheidbare Probleme
- Die Klassen P und NP: effizient lösbar versus eine Lösung effizient verifizieren
- Das Erfüllbarkeitsproblem der Aussagenlogik
- Reduktionen zwischen Problemen
- Der Satz von Cook und Levin: SAT ist ein schwerstes Problem in NP
- NP-Vollständigkeit
- Der Satz von Karp: weitere NP-vollständige Probleme
- Was wäre, wenn das Million-Dollar-Problem gelöst wäre?
- Approximationsalgorithmen, exakte Algorithmen, Spezialfälle, Heuristiken
An wen richtet sich der Kurs?
Alle, die die Eine-Million-Dollar-Frage verstehen wollen.
Lehrende
Kurt Mehlhorn
Kurt Mehlhorn ist begeisterter Forscher und Lehrer. Er ist der festen Überzeugung, dass alle Bürger(innen) Grundkenntnisse in Informatik haben sollten; dafür hat er diese Kurse entwickelt. Er ist Seniorprofessor für Informatik an der Universität des Saarlandes und war Direktor am Max-Planck-Institut für Informatik. Er ist Koautor von über 300 Veröffentlichungen und sechs Büchern und einer der Architekten der Algorithmenbibliothek LEDA. Bei ihm haben mehr als 80 Doktorand(inn)en promoviert. Er erhielt mehrere Auszeichnungen, darunter den Leibniz Preis, den ACM Theory and Practice Award und fünf Ehrendoktoren. Er hat die Algorithmic Solutions Software GmbH mitgegründet, ist verheiratet und Vater von drei Kindern. Wenn Sie mehr über ihn wissen wollen, besuchen Sie seine Webseite (https://people.mpi-inf.mpg.de/~mehlhorn/).
Individuals
Course access including certificateGet access to the content of the course and verify your course participation and learnings with an official document.
Organisations & Groups
If you are interested in purchasing several course accesses for your employees or a group of people, click the button below.(price varies depending on access amount)
Have a question?
We are ready to help you!
Have a question?
We are ready to help you!
Corporate clients please use our B2B contact form
For questions regarding the course contents please contact our customer support