A primeira metade desta resposta nada mais é do que uma reformulação eficiente ( a ) da resposta de David em termos teóricos da complexidade.log 2 ( n )registro4( N )registro2( N )
Linguagens livres de contexto vivem na classe de complexidadeEssa classe é caracterizada de maneira equivalente por circuitos semibordados de profundidade de toras . Estes são circuitos de tamanho polinomial, nos quais as portas OR possuem fan-in ilimitado e as portas AND possuem fan-in (por exemplo, 2). Ao aumentar a profundidade por um fator de log, podemos substituir todos os gateways OR de ventilação ilimitados por ORs de ventilação limitados. Isso colocou o problema emNão é difícil ver como pode ser avaliado por um , digamos, uma pesquisa em profundidade que mantém a sequência esquerda / direita de crianças nos portões explorados até agora. O resultado remonta ao artigo de Lewis-Hartmanis. E enquanto isso melhora o espaço limitado de David, isso pode levarL O G CFL .N C 2 D S P A C E ( log 2 ( n ) ) n log nNC2.NC2D SPA CE( log2( N ) )nregistronTempo. Nós não sabemos melhor.
A maneira tradicional de entender a troca de espaço no tempo é usar jogos de seixos. Existem alguns artigos sobre CYK; uma tentativa mais recente está na primeira parte desta apresentação . Aqui é mostrado que (a) o espaço linear pode ser alcançado no tempo exponencial e (b) se o tempo for restrito a , então o CYK usaria pelo menos espaço.n 2O ( n2)n2
Certamente um problema muito interessante, digno de uma olhada.