Komplexitätsklassentrennungen ohne Hierarchiesätze


16

Hierarchietheoreme sind grundlegende Werkzeuge. Eine gute Anzahl von ihnen wurde in einer früheren Frage gesammelt (siehe Welche Hierarchien und / oder Hierarchiesätze kennen Sie? ). Einige Komplexitätsklassentrennungen ergeben sich direkt aus Hierarchiesätzen. Beispiele für solche gut bekannte Trennungen: , P E X P , N P N E X P , P S P A C E E X P S P A C ELPSPACEPEXPNPNEXPPSPACEEXPSPACE.

Es folgt jedoch nicht jede Trennung aus einem Hierarchiesatz. Ein sehr einfaches Beispiel ist . Auch wenn wir nicht wissen, ob einer von ihnen den anderen enthält, sind sie immer noch unterschiedlich, da N P in Bezug auf Polynomtransformationen geschlossen ist, während E dies nicht ist.NPENPE

Welches sind tiefere, bedingungslose, nicht relativierte Komplexitätsklassentrennungen für einheitliche Klassen, die sich nicht direkt aus einem Hierarchiesatz ergeben?


2
Ich finde es etwas ungewöhnlich, als Trennung zu bezeichnen. Auch ihre Ungleichheit ist trivial und sagt nichts Interessantes aus. AFAIK Alle interessanten Komplexitätsklassentrennungen für große Komplexitätsklassen beruhen irgendwann auf Hierarchiesätzen (und damit auf Diagonalisierung). NPE
Kaveh

Es ist in der Tat ungewöhnlich, als Trennung zu bezeichnen, da dies aus trivialen Gründen zutrifft. Ich habe es nur erwähnt, um ein einfaches Beispiel zu zeigen, in dem kein Hierarchiesatz benötigt wird. NPE
Andras Farago

3
Äh, der Beweis von NP! = E hängt von einem Hierarchiesatz ab! Die Art und Weise, wie es funktioniert, ist, dass Sie zuerst NP = E annehmen und dann die Abschlusseigenschaften von NP verwenden, um daraus E = EXP abzuleiten, was gegen den Zeithierarchiesatz verstößt.
Scott Aaronson

Danke, Scott, du hast vollkommen recht. war nicht das richtige Beispiel. Ich habe unter den Antworten eine bessere gepostet. NPE
Andras Farago

Also auch solche Ungleichheiten setzen auf diagonalization: aber E E X P . Nett und doch nicht so trivial. ENPAC0NPAC0EEXPEEXP
Kaveh

Antworten:


13

Ich würde gerne falsch dargestellt werden, aber ich glaube nicht, dass es derzeit einheitliche Untergrenzen gibt, die letztendlich nicht auf einem der Hierarchiesätze basieren. Unser derzeitiges Verständnis, wie wir die Gleichförmigkeit nutzen können, ist in diesem Sinne sehr begrenzt.

Andererseits gibt es viele einheitliche Untergrenzen, die sich nicht direkt aus Hierarchiesätzen ergeben, sondern einen Hierarchiesatz in Kombination mit anderen cleveren Tricks, Techniken und Ergebnissen verwenden, zum Beispiel:

  • [Hopcroft-Paul-Valiant]. Sie beweisen, dass D T I M E ( n ) D S P A C E ( n / log n ) ist (der nicht-diagonale Teil ihres Beweises), und verwenden dann die Tatsache, dass C S L = N S P A C E ( n )CSLDTIME(n)DTIME(n)DSPACE(n/logn)CSL=NSPACE(n)in Kombination mit der Raumhierarchie. Ihr Ergebnis + die Raumhierarchie implizieren auch .DSPACE(n)DTIME(n)
  • Zeit-Raum-Kompromisse für die Zufriedenheit (siehe z. B. die Einführung von Buss-Williams und die darin enthaltenen Referenzen)
  • [Paul-Pippinger-Szemeredi-Trotter]. Verwendet eine nicht-triviale Simulation einer deterministischen Superlinearzeitmaschine durch eine schnellere Vier-Wechsel-Maschine in Kombination mit der deterministischen Zeithierarchie.DTIME(n)NTIME(n)
  • Einheitliche Untergrenzen der bleibenden Karte [ Allender , Allender-Gore , Koiran-Perifel ]
  • [Williams] (obwohl es sich technisch gesehen um eine ungleichmäßige Untergrenze handelt, werden eine Reihe cleverer Ideen in Kombination mit der nichtdeterministischen Zeithierarchie verwendet)NEXPACC0

4

Ist die Trennung von Smolensky etwas, wonach Sie gesucht haben?AC0TC0


1
Vielen Dank, dass ein gutes Ergebnis, aber ich bin auf der Suche nach Trennungen von - Klassen, keine Schaltung Klassen. uniform
Andras Farago

2
@AndresFarago: Uniform AC ^ 0 ist auch korrekt in Uniform TC ^ 0 enthalten.
Emil Jeřábek unterstützt Monica

2
@ EmilJeřábek: Gibt es einen Beweis dafür, dass Uniform richtig in Uniform T C 0 enthalten ist , der die uneinheitliche Aussage nicht auch schon beweist? (Wenn nicht, dann scheint Ihr Beispiel unter das allgemeine Prinzip zu fallen, dass ungleichmäßige Untergrenzen stärker sind als gleichmäßige Untergrenzen, und ich denke, der OQ hat versucht, solche Antworten zu vermeiden ...)AC0TC0
Joshua Grochow,

2
Ich denke, die Ungleichmäßigkeit in den Beweisen ist sekundär zu der Tatsache, dass dies eher kleine Klassen sind, in denen wir ein gutes kombinatorisches / algebraisches Verständnis davon haben. Dh wir verstehen sie gut genug, um ein Objekt, das nicht in ihnen ist, direkt zu konstruieren. Wo es für größere Klassen kein solches Verständnis gibt, ist die einzige Methode, die wir kennen, die Diagonalisierung gegen die gesamte Klasse, um solche Objekte zu konstruieren.
Kaveh

2

PPcomp

PPcompμμPPPcompPPcomp=P

LPPcompE

EPPPcomp()
PPcompPEP

Referenz:

[1] R. Schuler, "Wahrheitstabellenschluss und Turing-Abschluss der durchschnittlichen Polynomzeit haben unterschiedliche Maße in EXP", CCC 1996, pdf

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.