¿Se sabe que el colapso de

12

Contenidos entre cada nivel de la jerarquía polinómica hay varias clases de complejidad, que incluyen , DP , BH k y Σ P iΠ P i . Por falta de una mejor terminología, me referiré a estas y a otras como clases intermedias entre los niveles i e i + 1 en la jerarquía polinómica. Para los propósitos de esta pregunta, suponga que son las clases contenidas en Σ P i + 1Π P i + 1ΔiPDPBHkΣiPΠiPii+1Σi+1PΠi+1Ppero contienen y / o Π P i . Queremos evitar incluir Σ P i + 1Π P i + 1 , si es posible, ya que es trivialmente equivalente a PH si colapsa al nivel i + 1 t h .ΣiPΠiPΣi+1PΠi+1PPHi+1th

Además, defina lo siguiente:
DPi={LL:LΣiP and LΠiP}

Lo anterior es una generalización de la clase (también escrita D P ). En esta definición, DP es equivalente a DP 1 . Se considera en otra pregunta cstheory.se . Es fácil ver que DP iΔ P i + 1 y contiene tanto Σ P i como Π P i .DPDPDPDP1DPiΔi+1PΣiPΠiP

Diagrama de referencia:

Diagrama de PH

Pregunta:
Suponga que la jerarquía polinómica se colapsa al nivel , pero no colapsa al nivel i t h . Es decir, Σ P i + 1 = Π P i + 1 y Σ P iΠ P i .i+1thithΣi+1P=Πi+1PΣiPΠiP

¿Podemos decir algo más sobre las relaciones entre estas clases intermedias y otras en cualquier nivel por debajo de ? ¿Existe un esquema para una colección de clases de complejidad donde, para cada colección, las clases son equivalentes si y solo si el PH colapsa exactamente a un nivel elegido arbitrariamente?i+1PH

Solo como seguimiento, suponga que la jerarquía colapsó en una de estas clases intermedias en particular (como ). Dependiendo de la clase seleccionada, sabemos si este colapso debe continuar extenderse hacia abajo, tal vez incluso a la i t h nivel?Δi+1Pith

La pregunta anterior fue parcialmente explorada y respondida en un documento de Hemaspaandra et. al:
Un colapso descendente dentro de la jerarquía polinómica
¿Alguien sabe de ejemplos adicionales que no se mencionan en este documento o tiene una intuición adicional de lo que debe suceder para que una clase logre esto?

mdxn
fuente

Respuestas:

11

No tengo una buena respuesta, pero en el espíritu de complejidad, tengo algunas respuestas que sugieren que una buena respuesta puede ser difícil de encontrar :).

  1. ΣiPi+1iΣiPΣi+1PΠi+1P=Σi+1P

  2. PHPHΣkPΠkPΔk+1P=Σk+1PΠk+1Pk

  3. BPHPHPH

  4. PHDPkPHkΣ2P

Joshua Grochow
fuente
1
ΣkPΠkPΔkP=Σk+1PΠk+1P
ΔkP=ΣkPΠkPΔk+1P=Σk+1PΠk+1P?
1
Σk1PΠk1PΔkPΣkpΠkPΣkPΠkP
P=Σ0PΠ0P=PPΔ1P=PΣ1pΠ1P=NPcoNPΣ1PΠ1P=NPcoNPΔ2P=PNPΣ2PΠ2PΣ2PΠ2P