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 + 1pero 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 .
Además, defina lo siguiente:
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 .
Diagrama de referencia:
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 .
¿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?
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?
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?