Considere uma máquina (ou seja, um algoritmo probabilístico que usa espaço de log e polinomialmente muitos bits aleatórios). Sabe-se (Saks-Zhou) que .
Minha pergunta é sobre uma máquina que usa apenas polilog muitos bits de aleatoriedade. Em um dos artigos de Goldreich, é mencionado de passagem que uma linguagem decidida por tal máquina está realmente em determinista logspace . Mas não consigo encontrar explicações para essa observação em nenhum lugar.
Por que ele pode ser des randomizado completamente no espaço de registro?