seminarvortrag über log-space von rasmus krause 09.12.04

Post on 06-Apr-2016

225 Views

Category:

Documents

3 Downloads

Preview:

Click to see full reader

TRANSCRIPT

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

top related