versus


7

Existe uma definição equivalente para a classe NLcom verificador. Esses verificadores são máquinas de Turing determinísticas que podem ler a fita testemunha apenas uma vez, de uma maneira, da esquerda para a direita.

Dada uma função f:NN nós dizemos isso NL[f(n)] é a classe obtida pela definição acima, mas o verificador pode ler a testemunha f(n) vezes para uma entrada de tamanho n (ou seja, quando o verificador terminou de ler a testemunha, ele foi direto para o início).

Podemos ver, é claro, que NL=NL[1].

A questão é se Neu=Neu[2].

Esclarecimento : Prove ou refute queNeu=Neu[2].

É claro que NeuNeu[2]. Na segunda parte, tentei construir um verificador que possa ler a testemunha apenas uma vez paraeuNeu[2]. Eu disse que o verificador espera uma testemunha do formulárioWW e executa o Neu[2] verificador para eu com W e quando terminar e quiser lê-lo novamente com a segunda cópia do W. Mas o maior problema com minha abordagem é que talvez alguém tenha me enganado e colocado uma sub-testemunha não igual e eu não serei capaz de descobrir isso comregistro(n) espaço, portanto, não funciona.

Respostas:


9

Você pode mostrar que NL[2]NLdo seguinte modo. Nos é dado umNL[2] máquina Me queremos simulá-lo com um NL máquina M. O primeiro queM faz é adivinhar o estado σ do Mdepois que terminar de ler a fita testemunha pela primeira vez. Em seguida, simula duas cópias deM, um começando em Minicial e o outro começando em σ. Depois de passar pela fita testemunha, verifica se a primeira cópia chegouσ, e que a segunda cópia atingiu um estado de aceitação.

Desta forma, você pode mostrar que Neu[O(1 1)]=Neu.


Uau, isso é brilhante, muito obrigado !!!!!
22617 Don Fanucci
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.