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