ポリログランダムビットを持つ

検討マシン（つまり、用途がLOGSPACEこと確率的アルゴリズムと多項式多くのランダムビット）。ことが知られています（Saks-Zhou。$BPL$$BPL \subseteq DSPACE(log^{1.5}(n))$

私の質問は、ポリログのランダム性のビットのみを使用するマシンについてです。ゴールドライヒの論文の1 つでは、そのようなマシンによって決定された言語が実際には決定論的ログスペースにあることが言及されています。しかし、私はこの発言の説明をどこにも見つけることができません。$BPL$$BPL$$L$

ログスペースで完全にランダム化解除できるのはなぜですか？

これは、ニサンとザッカーマンのこのPRGに基づいています。このペーパーでは、スペースとp o l y（S ）のランダムビットのみを使用するアルゴリズムがある場合、ランダムビットの数をO （S ）に減らすことができることを示しています。$S$$\mathrm{poly}(S)$$O(S)$

$S = O(\log n)$$O(\log n)$