Die Eine-Million-Dollar-Frage

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

1. Die Ziele von Theorie

2. Algorithmisch unentscheidbare Probleme

3. Die Eine-Million-Dollar-Frage

   1. Die Klassen P und NP
   2. Das Erfüllbarkeitsproblem der Aussagenlogik
   3. Weitere Probleme in NP
   4. Genaue Definition der Klasse NP
   5. Der Satz von Cook und Levin: P = NP genau dann, wenn SAT in P
   6. Der Satz von Karp

   7. Eine Reduktion

4. Was wäre wenn...

   1. ... P ungleich NP wäre und man es beweisen könnte?

   2. ... P gleich NP wäre und man es beweisen könnte?

5. Ansätze zur Lösung NP-vollständiger Probleme

Lernziele

1. Ziele der Theoriebildung
2. Das Halteproblem und andere unentscheidbare Probleme
3. Die Klassen P und NP: effizient lösbar versus eine Lösung effizient verifizieren
4. Das Erfüllbarkeitsproblem der Aussagenlogik
5. Reduktionen zwischen Problemen
6. Der Satz von Cook und Levin: SAT ist ein schwerstes Problem in NP
7. NP-Vollständigkeit
8. Der Satz von Karp: weitere NP-vollständige Probleme
9. Was wäre, wenn das Million-Dollar-Problem gelöst wäre?
10. Approximationsalgorithmen, exakte Algorithmen, Spezialfälle, Heuristiken

Zielgruppe

Alle, die die Eine-Million-Dollar-Frage verstehen wollen. 

Bestandteile des Kurses

1. Videos
2. Folien
3. Übungen mit Lösungen
4. Logbuchaufgaben
5. 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.

Deutsch

keine

Pro

59,00 € (pro Person)

Web-Video-Kurs

1 Tag

Jederzeit

Termine und Orte

Von	Bis	Ort	Durchführungs- garantie	Frühbucher bis Betrag	Lastminute ab Betrag
Frei vereinbar	Frei vereinbar	Web-Video-Kurs