La primera mitad de esta respuesta no es más que una reformulación eficiente ( Iniciar sesión4 4( n ) a Iniciar sesión2( n ) ) de la respuesta de David en términos teóricos de complejidad.
Los lenguajes libres de contexto viven en la clase de complejidad L O G CFL .Esta clase se caracteriza de manera equivalente por circuitos semifuncionales de profundidad logarítmica . Estos son circuitos de tamaño polinómico en los que las compuertas OR tienen entrada de ventilador sin límites y las compuertas AND tienen entrada de ventilador limitada (digamos 2). Al aumentar la profundidad por un factor de registro, podemos reemplazar todas las compuertas OR de entrada de ventilador ilimitadas con ORs de entrada de ventilador delimitadas. Esto puso el problema en norteC2.No es difícil ver cómo norteC2 puede ser evaluado por un D SPAGA Cmi( registro2( n ) ) mediante una primera búsqueda en profundidad que mantiene la secuencia izquierda / derecha de los niños en las puertas exploradas hasta ahora. El resultado se remonta al artículo de Lewis-Hartmanis. Y si bien esto mejora el límite de espacio de David, esto puede tomar norteIniciar sesiónnortehora. No sabemos nada mejor.
La forma tradicional de entender el intercambio espacio-tiempo es usar juegos de guijarros. Ha habido algunos trabajos sobre CYK; Un intento más reciente se encuentra en la primera parte de esta presentación . Aquí se muestra que (a) se puede lograr un espacio lineal en el tiempo exponencial y (b) si el tiempo está restringido a , entonces CYK usaría al menos espacio.n 2O ( n2)n2
Sin duda un problema muy interesante digno de una mirada.