- ¿Cómo podemos expresar " " como una fórmula de primer orden?
- ¿Qué nivel de la jerarquía aritmética contiene esta fórmula (y cuál es el nivel mínimo actualmente conocido de la jerarquía que la contiene)?
Como referencia, vea esta publicación de blog de Lipton .
Respuestas:
En primer lugar, quiero dirigir los comentarios a la pregunta, donde se sugirió que "falso" expresa porque la declaración es falsa. Si bien esto podría ser una buena broma, en realidad es muy perjudicial pensar de esta manera. Cuando preguntamos cómo expresar una determinada oración en un determinado sistema formal, no estamos hablando de valores de verdad. Si lo fuéramos, entonces cuando alguien preguntó "¿Cómo escribo el hecho de que hay infinitos números primos?" podríamos responder "3 + 3 = 6", pero esto claramente no servirá. Por la misma razón, "falso" no es una respuesta válida a "¿cómo escribo ?". Creo que Frege y Russell se esforzaron por enseñarnos esa lección. Ok, ahora a la respuesta.P = P S P A C EP=PSPACE P=PSPACE
Te voy a enseñar cómo expresar , la otra dirección es similar, y luego se puede ponerlos juntos en una conjunción de conseguir . En cualquier caso, para sus propósitos puede ser suficiente expresar solo , dependiendo de lo que esté haciendo.P S P A C E = P P S P A C E ⊆ PPSPACE⊆P PSPACE=P PSPACE⊆P
Usando técnicas similares a las de la construcción del predicadoT de Kleene , podemos construir una fórmula de limitada accept_ (que por lo tanto reside en ) que dice "cuando ejecute la máquina codificada por y limite su uso de espacio a , la máquina acepta la entrada ". Aquíes la longitud de . Una manera informal de ver que tales fórmulas que existe es la siguiente: dado , y se puede calcular recursiva primitiva con destino en la cantidad de tiempo y la cantidad de espacio que alguna vez va a necesitar (es decir, a lo sumoΣ 0 0 = Π 0 0 k | n | m n | n | n k m n | n | m 2 | n | metroacceptspace(k,m,n) Σ00=Π00 k |n|m n |n| n k m n |n|m espacio y como máximo tiempo). Luego, simplemente buscamos a través de todos los rastros de ejecución posibles que se encuentran dentro de los límites calculados; dicha búsqueda es bastante ineficiente, pero es primitiva recursiva y, por lo tanto, podemos expresarla como una fórmula acotada.2|n|m
Hay una fórmula similar en la que el tiempo de ejecución está limitado por .| n | metroaccepttime(k,m,n) |n|m
Ahora considere la fórmula: Dice que para cada máquina que usa en la mayoría del espacio hay una máquina que usa en la mayoría del tiempo modo que las dos máquinas acepten exactamente las mismas 's. En otras palabras, la fórmula dice . Esta fórmula es .k | n | m k ′
Podemos mejorar esto si estamos dispuestos a expresar en cambio la frase " está en polytime", que debe ser lo suficientemente bueno para la mayoría de aplicaciones, como TQBF es PSPACE completa y por lo tanto estar en polytime es equivalente a . Deje ser (el código de) una máquina que reconoce TQBF en el espacio . Entonces " " puede expresarse como Esta fórmula es solo . Si fuera un teórico de la complejidad, sabría si es posible hacerlo aún mejor (pero lo dudo).P S P A C E ⊆ P k 0 | n | m 0 T Q B F ∈ P ∃ k ′ , m ′ . ∀ n . a c c e p t s p a c e ( k 0 , m 0 , n ) ⇔ a c c e pTQBF PSPACE⊆P k0 |n|m0 TQBF∈P
fuente
Andrej ya ha explicado que puede escribirse como una 0_2. Permítanme mencionar que esta clasificación es óptima en el sentido de que si la declaración es equivalente a una 0_2, entonces este hecho no se relativiza. Más precisamente, el conjunto de oráculos tal que es definible por una 0_2 con una variable libre de segundo orden , pero no es definible por ninguna fórmula. El argumento se describe (para , pero funciona igual para ) en los comentarios enP=PSPACE Σ02 Π02 A PA=PSPACEA Σ02 A Π02 P=NP PSPACE /mathpro/57348 . (De hecho, uno puede demostrar mediante una elaboración de la idea que el conjunto es -completo en el sentido apropiado).Σ02
EDITAR: La prueba topológica dada en el comentario vinculado es corta, pero puede parecer complicada. Aquí hay un argumento de forzamiento directo.
Desde , existe tal que . Sin embargo, es una fórmula acotada, por lo tanto, la evaluación del valor de verdad de solo usa una parte finita del oráculo. Por lo tanto, existe una parte finita de tal que para cada oráculo extiende .ϕ(B) y0 θ(B,0,y0) θ θ(B,0,y0) b0 B θ(A,0,y0) A b0
Supongamos que denota el oráculo que extiende y está de acuerdo con donde no está definido. Como y no se ven afectadas por un cambio finito en el oráculo, tenemos . Por el mismo argumento anterior, existe y una parte finita de tal que para cada extiende . Podemos suponer que extiende .C[b0] b0 C b0 PA PSPACEA ψ(C[b0]) z0 c0 C[b0] η(A,0,z0) A c0 c0 b0
Continuando de la misma manera, construimos secuencias infinitas de números , y oráculos parciales finitos tales quey0,y1,y2,… z0,z1,z2,… b0⊆c0⊆b1⊆c1⊆b2⊆⋯
Ahora, dejemos que sea un oráculo que extienda todo y . Entonces 1 y 2 implican que y se mantienen simultáneamente, lo que contradice la suposición de que son complementos entre sí.b n c n ϕ ( A ) ψ ( A )A bn cn ϕ(A) ψ(A)
fuente