Im zweiten Teil zu PSpace-Vollständigkeit wollen wir zeigen, warum das Spiel Geography PSpace-schwer ist. Das ist interessant, weil wir dazu einen Algorithmus für die Überprüfung von TrueQBF in ein Spiel auf Graphen übersetzten, also zwei auf den ersten Blick ziemlich unterschiedliche Dinge zusammen bringen.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (12. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog
Негізгі бет PSpace-Vollständigkeit 2: Das Spiel Geography
Пікірлер