Clases grandes que contienen LOGSPACE para las cuales se desconocen las inclusiones estrictas


12

La página de Wikipedia en PSPACE menciona que la inclusión no es estricta (desafortunadamente sin referencias).NLPH

P1: ¿Qué pasa con y ? ¿Se sabe que son estrictos?LPHLP#P

P2: Si no, ¿hay una clase establecida que contiene y para la cual no se sabe si la inclusión es estricta?CP#PLC

P3: ¿Se incluyen tales inclusiones en la literatura?


2
¿Supongo que para Q2 te refieres estrictamente a PSPACE?
Sasho Nikolov

55
AFAIK, la única separación conocida para es el teorema de la jerarquía espacial. No creo que se sepa si alguna de las clases mencionadas en la pregunta puede simular un espacio superlogarítmico, por lo que tampoco se sabe que sean estrictas. (No saber una separación no es un resultado, por lo que probablemente esa sea la razón por la que no hay referencias).L
Kaveh

44
Incluso para clases más pequeñas que , como uniform , no se sabe que las inclusiones de Q1 sean estrictas. Creo que, dado el estado actual del conocimiento, esencialmente cualquier clase entre y estrictamente contenida en es una respuesta positiva a Q2. LNC1CP#PPSPACE
Joshua Grochow

El título de su pregunta dice "Clase más grande". ¿No te refieres a la "clase más pequeña"?
Shaull

44
Ni siquiera se sabe si está estrictamente incluido en PH. contiene estrictamente TC ^ 0 mediante un argumento de jerarquía, pero como Joshua Grochow ya mencionó, esto no se conoce para NC ^ 1. Para Q2, puede tomar CH. AC0[6]P#P
Emil Jeřábek

Respuestas:


7

Esta es una de mis preguntas favoritas.

Fortnow demostró, en su artículo "Intercambios tiempo-espacio para la satisfacción" , que está contenido adecuadamente en , donde es una función ilimitada. Es decir, el espacio de registro no determinista está contenido adecuadamente en un tiempo polinómico alterno con alternancia.NLΣa(n)Pa(n)a(n)

Mostrar que no está en para una constante constante implicaría queNLΣkPkNLNP . (Para ver esto, considere el contrapositivo).

NL=P#PnkkLOGSPACEP#PMod6SAT

TC0P#PNC1P#PTC0NP


3
TCo(loglogn)

1
Sí, también sé sobre eso, y también sobre otras referencias. Pero mantuve una respuesta resumida que no tomaría más de 10 minutos para escribir.
Ryan Williams
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.