|
00:00:00
|
Wiederholung |
|
00:35:19
|
Die Komplexitätsklasse EXPTIME |
|
00:42:15
|
Lösung finden versus Lösbarkeit entscheiden |
|
00:50:16
|
Optimieren versus Lösbarkeit entscheiden |
|
01:04:30
|
Polynomielle Reduktionen |
|
01:09:29
|
Beispiel zu Reduktionen: COLORING zu SAT |
|
01:20:17
|
Beispiel zu Reduktionen: Vertex Cover zu SAT |