Als «structural-complexity» getaggte Fragen

Strukturelle Komplexitätstheorie

4
Was sind die Folgen von
Wir wissen , dass L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} und dass L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , wobei L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Wir wissen auch , dass polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}weil letztere unter logarithmischen Raum-Viel-Eins-Reduzierungen vollständige Probleme haben, während erstere dies nicht tut (aufgrund des Raumhierarchiesatzes). Um die …
1
Algorithmen und strukturelle Komplexitätstheorie
Viele wichtige Ergebnisse in der rechnerischen Komplexitätstheorie und insbesondere in der "strukturellen" Komplexitätstheorie haben die interessante Eigenschaft, dass sie aus algorithmischen Ergebnissen, die für einige einen effizienten Algorithmus oder ein effizientes Kommunikationsprotokoll liefern, als grundlegend zu verstehen sind (wie ich es sehe ...) Problem. Dazu gehören die folgenden: IP = …
1
Was ist das Orakel mit der minimalen Komplexität, das PSPACE von der Polynom-Hierarchie trennt?
Hintergrund Es ist bekannt, dass es ein Orakel AAA , das .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Es ist sogar bekannt, dass die Trennung relativ zu einem zufälligen Orakel gilt. Informell kann man dies so interpretieren, dass es viele Orakel gibt, für die und getrennt sind.P HPSPACEPSPACEPSPACEPHPHPH Frage Wie kompliziert sind diese Orakel, …
3
Wie schwierig ist die exakte Simulation von Algorithmen und eine damit verbundene Operation für Komplexitätsklassen?
Teaser Da das Problem hier länger ist, handelt es sich um einen Sonderfall, der seine Essenz erfasst. Problem: Sei A ein detrministischer Algorithmus für 3-SAT. Ist das Problem der vollständigen Simulation des Algorithmus A (bei jedem Auftreten des Problems). P-Space schwer? (Genauer gesagt, gibt es Gründe zu der Annahme, dass …
2
Poly-Zeit-Obermenge von NP-vollständiger Sprache mit unendlich vielen davon ausgeschlossenen Zeichenketten
Gibt es für jede beliebige NP-vollständige Sprache immer eine Polyzeit-Obermenge, deren Komplement ebenfalls unendlich ist? Unter /cs//q/50123/42961 wurde eine triviale Version angefragt, die keine unendliche Ergänzung der Obermenge vorsieht Für die Zwecke dieser Frage, können Sie davon ausgehen , dass . Wie Vor erklärte, ist die Antwort "Nein" , wenn …
1
gegen
In unserer jüngsten Arbeit, lösen wir ein Rechenproblem , das in der kombinatorischen Kontext entstanden ist , unter der Annahme , dass , wo ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} ist die E X P -Version von ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Das einzige Papier auf ⊕⊕P⊕P\mathsf{\oplus{}P} , das wir fanden, war dasPapier vonBeigel-Buhrman-Fortnow von1998, das …
1
Bedeutet die Isomorphismus-Vermutung exponentielle Untergrenzen für die Dichte der Zeugen?
Die Isomorphismus-Vermutung von Berman und Hartmanis besagt, dass alle vollständigen Mengen eine polynomielle Zeit isomorph zueinander sind. Dies bedeutet, dass vollständige Probleme über polynomialzeitberechnbare und invertierbare Bijektionen effizient aufeinander reduziert werden können. Die Vermutung impliziert .N P P ≠ N P.NPNPNPNPNPNPP≠NPP≠NPP\neq NP Die Isomorphismus-Vermutung impliziert eine exponentielle Untergrenze für die …
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.