Als «logspace» getaggte Fragen

1
Treewidth und das NL vs L Problem
Die ST-Konnektivität ist das Problem, zu bestimmen, ob in einem gerichteten Graphen ein gerichteter Pfad zwischen zwei getrennten Eckpunkten und . Ob dieses Problem im Logspace gelöst werden kann, ist ein seit langem offenes Problem. Dies nennt man das vs Problem.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Was ist die Komplexität von ST-Connectivity, wenn der zugrunde …
2
Was sind die Konsequenzen von
Shiva Kintali hat gerade eine (cool!) Angekündigt führen , dass Graphisomorphie für beschränkte Baumweite Graphen der Breite heißt -hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informell ist meine Frage: "Wie schwer ist das?" Wir wissen, dass ungleichmäßig ist , siehe die Antworten auf diese Frage . Wir wissen auch, dass …
1
Komplexität der von 2-SAT unter der Annahme von
Wenn , dann gibt es einen logspace Algorithmus , dass löst die Entscheidungsversion von 2-SAT ausgestattet .L = N LL=NL\mathsf{L = NL} Ist bekannt, dass impliziert, dass es einen Logspace-Algorithmus gibt, um eine zufriedenstellende Zuweisung zu erhalten , wenn eine zufriedenstellende 2-SAT-Instanz als Eingabe gegeben wird?L = N LL=NL\mathsf{L = …
1
Ist
Was passiert, wenn wir so definieren, dass anstelle einer Polytime-Turing-Maschine / Polysize-Schaltung eine Logspace-Turing-Maschine oder eine -Schaltung das Problem codiert?PPADPPAD{\bf PPAD}AC0AC0{\bf AC^0} Kürzlich stellte sich heraus , dass es wichtig war, schnellere Algorithmen für die Schaltungserfüllbarkeit für kleine Schaltungen . frage ich mich, was mit den korrigierten Versionen von .PPADPPAD{\bf …
1
Reduzierung des Protokollbereichs von Parity-L zu CNOT-Schaltkreisen?
Frage. In ihrer Arbeit Verbesserte Simulation von Stabilisatorschaltungen behaupten Aaronson und Gottesman, dass die Simulation einer CNOT-Schaltung ⊕L- vollständig ist (unter logspace Reductions). Es ist klar, dass es in ⊕L enthalten ist ; Wie hält das Härteergebnis? Äquivalent: Gibt es eine logarithmische Reduktion von iterierten Matrixprodukten modulo 2 zu iterierten …
1
Was sind die Hindernisse zu erstrecken ,
Omer Reingolds Beweis , dass einen Algorithmus für USTCON gibt (In einem U ndirected Graph mit speziellen Ecken s und t sind sie Con GESCHLOSSENE?) Nur logspace verwenden. Die Grundidee besteht darin, ein Expander-Diagramm aus dem ursprünglichen Diagramm zu erstellen und anschließend das Expander-Diagramm zu verwenden. Das Expander-Diagramm wird erstellt, …
1
Große Klassen, die LOGSPACE enthalten, für die strenge Einschlüsse nicht bekannt sind
Die Wikipedia-Seite auf PSPACE erwähnt, dass die Einbeziehung nicht als streng bekannt ist (leider ohne Verweise).NL⊂PHNL⊂PHNL\subset PH F1: Was ist mit und - sind diese bekanntermaßen streng?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} F2: Wenn nein, gibt es eine etablierte Klasse die und für die nicht bekannt ist, ob die Einbeziehung streng ist?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …
1
Zweiwege deterministische Mehrkopfzählerautomaten oder Logspace TM mit Zähler
Ist das etwas über Sprachen bekannt, die vom bidirektionalen deterministischen Mehrkopfzählerautomaten oder Logspace TM mit Zähler (äquivalentes Modell) erkannt werden? Diese Klasse heißt Aux2DC in der Arbeit meines Beraters . Oder über solch eine nichtdeterministische Klasse? Ich habe erhalten, dass die Klasse von Sprachen, die von solchen nichtdeterministischen Maschinen erkannt …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.