Nisan provou em "Geradores Psico-Aleatórios para Computação Limitada ao Espaço", que existe um gerador pseudo-aleatório que "engana" os cálculos limitados pelo espaço. Essa construção vale para todos os oráculos (pelo menos para consultas não adaptativas)?
cc.complexity-theory
space-bounded
derandomization
Sebastian Ben Daniel
fonte
fonte
Respostas:
Depende se, em sua definição do Oracle TM, a fita de consulta do oracle também é delimitada para ter tamanho logarítmico: se for delimitada, o PRG também engana L ^ A para qualquer A também, se não delimitada, A pode contém a lista de "seqüências pseudo-aleatórias" e, portanto, L ^ A não será enganado.
fonte