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...
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...
Der 1-dim Weisfeiler-Lehman-Algorithmus (WL) ist allgemein als kanonischer Markierungs- oder Farbverfeinerungsalgorithmus bekannt. Es funktioniert wie folgt: Die anfängliche Färbung ist einheitlich, C 0 ( v ) = 1 für alle Eckpunkte v ≤ V ( G ) ≤ V ( H ) .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( G...
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...
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...
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...
Eine Sprache ist in , wenn es eine logspace Turingmaschine vorhanden ist , der die Sprache mit Polynom Menge Rat entscheidet.L/polyL/polyL/poly Weitere Informationen finden Sie hier: https://en.wikipedia.org/wiki/L/poly Frage Was sind die Konsequenzen von ?P⊆L/polyP⊆L/polyP \subseteq L/poly...
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...
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...
Mahaney Theorem sagt uns , dass , wenn es ein spärlicher -komplette Satz unter Polynom-Many-one- Reduzierungen, dann P = N P . (Siehe " Sparse komplette Sätze für NP: Lösung einer Vermutung von Berman und Hartmanis ")N.P.NPNPP.= N.P.P=NPP = NP Gibt es bekannte Konsequenzen für die Existenz...
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,...
Stellen Sie sich eine -Maschine vor (nämlich einen probabilistischen Algorithmus, der Logspace und polynomiell viele zufällige Bits verwendet). Es ist bekannt (Saks-Zhou), dass B P L ⊆ D S P A C E ( l o g 1,5 ( n ) ) .B P.L.B.P.L.BPLB P.L ⊆ D S.P.A C.E.( l o g1.5( n )