Seminarvortrag über LOG-SPACE von Rasmus Krause
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 dem Immerman-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
Erreichbarkeit in ungerichteten Graphen … kann randomisiert mit logarithmischem Platz berechnet werden
Wie oft wird ein Knoten besucht
Der Algorithmus
Übersicht der Klassen