Upload
stephan-schmidt
View
228
Download
3
Embed Size (px)
Citation preview
Seminarvortrag über LOG-SPACE
von Rasmus Krause09.12.04
1. Komplexitätsklassen
Verknüpfung von Log-space Algorithmen
Zusammenhang logarithmischer Zeit und Platz
Erreichbarkeit in gerichteten Graphen ist NL -vollständig
NL = coNL
Das ist das eine Folgerung aus demImmerman-Szelepscenyi Theorem:
Für einen Graphen g und einen Knoten x ,ist die Zahl der von x erreichbaren Knoten berechenbar von einer nichtdeterministischen TM mit logarithmischem Platz.
2-SAT ist NL-vollständig
2-SAT ist NL-vollständig
Erreichbarkeit in ungerichteten Graphen …
kann randomisiert mit logarithmischem Platz berechnet werden
Wie oft wird ein Knoten besucht
Der Algorithmus
Übersicht der Klassen