¿LOGLOG = NLOGLOG?

32

Defina LOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (loglog n) mediante una máquina de Turing determinista (con acceso bidireccional a la entrada). De manera similar, defina NLOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (log log n) mediante una máquina de Turing no determinista (con acceso bidireccional a la entrada). ¿Realmente no se sabe que estas clases difieren?

Solo pude encontrar algunas encuestas anteriores y un teorema de que si son iguales, entonces L = NL (¡lo cual no es solo un argumento de relleno trivial!), Pero de alguna manera siento que separar estas clases no puede ser tan difícil. Por supuesto, podría estar completamente equivocado, pero si cada segundo bit de la entrada son los números del 1 al n en orden creciente en binario, separados por algunos símbolos, entonces las máquinas ya pueden aprender loglog n y con cada segundo segundo bit podemos ingrese un problema que puede engañar a una máquina determinista pero no a una no determinista. Todavía no veo exactamente cómo se podría hacer esto, pero parece un posible enfoque, ya que con este truco básicamente podemos ingresar un árbol binario de registro de profundidad junto con su estructura en lugar de la cinta lineal habitual.

domotorp
fuente
3
De una búsqueda rápida, encontré el artículo "Computación con espacio sublogarítmico" de Maciej Liskiewicz y Rudiger Reischuk. Además, parece que en el espacio sublogarítmico, las relaciones de clase dependen en gran medida del modelo utilizado.
chazisop
1
@chazisop: esta es una de las encuestas que también he encontrado, todo parece tener al menos diez años sobre el tema.
domotorp
1
Creo que @Kaveh se refiere a esta publicación .
Hsien-Chih Chang 張顯 之
2
Su memoria es realmente vaga, el teorema es que cualquier TM que use el espacio o (log log n) debe ser regular.
domotorp
44
@domotorp: ambas declaraciones son teoremas, pero para necesitas una sola cinta. (Por supuesto, para también puede asumir una cinta, ya que la traducción de cinta múltiple a una cinta no aumenta el espacio). La referencia que Neal Young estaba buscando es: Kobayashi (1985) ( dx.doi.org/10.1016/0304-3975(85)90165-3 ) edificio de Hennie (1965) ( dx.doi.org/10.1016/S0019-9958(65)90399-2 ), quien demostró que los TM de una cinta de tiempo lineal deciden solo los idiomas regulares e introducen secuencias cruzadas. S P A C E ( o ( log log n ) )o(nlogn)SPACE(o(loglogn))
Joshua Grochow

Respuestas:

15

La entrada en el complejo zoológico es sorprendentemente detallada; afirma que NLOGLOG = co-NLOGLOG en el documento

Cálculos no deterministas en espacio sublogarítmico y constructibilidad espacial , Viliam Geffert, SIAM Journal on Computing, 1991.

Pero después de una breve lectura, no veo ningún reclamo sobre el hecho de que NLOGLOG está cerrado bajo el complemento; tal vez se necesita una mirada más profunda. Y el resultado principal que tienen es que no hay funciones monótonas ilimitadas no deterministas completamente construibles en el espacio que aumenten funciones para . Se sabe que si tales funciones existen, entoncess ( n ) = o ( log n )s(n)s(n)=o(logn)

SPACE[s(n)]NSPACE[s(n)] .

Y en la conclusión, el autor afirmó que "... este problema principal de separación sigue abierto ".

Como dijo @chazisop, las relaciones de estas clases de complejidad de bajo nivel dependen de los modelos, y en la entrada del zoológico se afirma que

"Hay varias definiciones posibles de esta clase; la más común es la clase de lenguajes que se pueden calcular en el espacio O (log log n) mediante una máquina de Turing determinista con acceso bidireccional a la entrada".

Lo cual coincide con su definición y también con la del artículo.

Hsien-Chih Chang 張顯 之
fuente
55
Creo que solo reclama NLOGLOG = co-NLOGLOG. Tampoco pude encontrar esta declaración en el resumen del documento, aunque no pude abrir el documento completo.
domotorp
2
@domotorp: Tienes razón. Me da mucha vergüenza mi respuesta incorrecta ... Estoy demasiado cansado, incluso he leído mal las oraciones, tal vez debería tomarme un descanso para Navidad.
Hsien-Chih Chang 張顯 之