Folgendes wird nicht als wahr angesehen:
Können Sie mir helfen zu sehen, wo das Argument zusammenbricht?
Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform .
Das Problem der gerichteten Erreichbarkeit über Konfigurationsgraphen der deterministischen Log-Space-Turing-Maschine ist für .
Das Problem der gerichteten Erreichbarkeit befindet sich in :
gegeben und , lassen die freie repräsentieren Variable für die Kanten im Weg. Wir müssen , um sicherzustellen , daß einen gerichteten Weg von enthält zu , die durch die Überprüfung durchgeführt werden kann , dass die in Grad und Ausgangsgrad (in ) von jedem Scheitelpunkt trifft auf einer Kante in ist mit Ausnahme von und der haben In-Grad, Out-Grad = bzw. .
Jeder Wald ist ein Diagramm der Baumbreite . Insbesondere ist der Konfigurationsgraph einer deterministischen Log-Space-Turing-Maschine eine Struktur mit begrenzter Baumbreite.
Aus den Logspace-Versionen von Elberfeld, Jakoby und Tantau der Theoreme von Bodlaender und Courcelle :
Formel über begrenzte kann im Protokollbereich ausgewertet werden.
Der Beweis so: Für eine gegebene Strukturgröße , eine Grenze für die der Strukturen und eine -Formel mit Vokabular , Konstrukt (in ) Konstrukt , das eine Schaltung .
Die Schaltung eine Struktur gegeben der Größe und Baumbreite höchstens , zählt die Anzahl der „befriedigend“ Zuordnungen von auf .
(Das Histogramm, in dem die Anzahl der Zuordnungen zu den freien Variablen zweiter Ordnung in tabellarisch aufgeführt ist, wird anhand der Größe der von den Variablen übernommenen parametrisiert.)
Ich denke, die Schaltung hängt nur vom Vokabular , der Baumbreitengrenze und der Größe der Struktur .
Der Beweis erfolgt durch Auswertung der Schaltung in aber wir brauchen diesen Teil nicht.
Für uns genügt es , dass aus zu beobachten Nichtdeterministische Berechnung von Caussinus-Mackenzie-Therien-Vollmer:
Jeder Schaltkreis kann so interpretiert werden, dass er die Anzahl der eines Schaltkreises zählt.N C 1
Somit gibt die entsprechende Schaltung wenn die Eingabestruktur die Formel erfüllt .M S O.
Aus dem Obigen geht hervor, dass sich der Log-Space mindestens in Logspace-Uniform