Il generatore pseudo-casuale di Nisan si relativizza?

Nisan ha dimostrato in "Generatori psuedorandom per il calcolo limitato dallo spazio", che esiste un generatore pseudo-casuale che "imbroglia" i calcoli limitati dallo spazio. Questa costruzione vale per ogni oracolo (almeno per le query non adattative)?

cc.complexity-theory space-bounded derandomization

— Sebastian Ben Daniel
fonte

Non riesco a rispondere a questa domanda, eppure ho voluto fare riferimento a un documento correlato intitolato "Durezza vs. casualità" ( dx.doi.org/10.1016/S0022-0000(05)80043-1 ), che potresti trovare utile.

— MS Dousti,

Dipende se nella tua definizione di Oracle TM, anche il nastro di query oracle è limitato per essere di dimensioni logaritmiche: se è limitato, allora il PRG imbroglia anche L ^ A per qualsiasi A, se non è limitato allora A può contiene l'elenco di "stringhe pseudocasuali" e quindi L ^ A non verrà ingannato.

— Noam
fonte

Questo è vero per tutti i generatori pseudo-casuali, tuttavia, ad esempio, il generatore NW fa delle relatività se assumiamo la durezza contro l'oracolo che vogliamo ingannare. Mi chiedevo se possiamo fare qualcosa del genere anche per questo generatore.

— Sebastian Ben Daniel,

Dato che questo PRG è completamente specificato (cioè non basato su qualche altra "funzione f f"), non è chiaro come usare l'oracolo nell'impostazione relativizzata.

— Noam,