120 likes | 238 Views
Seminarvortrag über LOG-SPACE. von Rasmus Krause 09.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 dem
E N D
Seminarvortrag über LOG-SPACE von Rasmus Krause 09.12.04
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.
Erreichbarkeit in ungerichteten Graphen … kann randomisiert mit logarithmischem Platz berechnet werden