私はRandom Oracles with(out)Programmabilityというタイトルの論文を読んでいました。セクション2.3の最後の段落は次のとおりです。
[私たちの新しいアプローチを使用して] Borel-Cantelli補題に 基づく、よく知られている古典的な漸近(および均一)デランダム化手法を適用する必要はありません。私たちの知る限りでは、このアプローチはこのペーパーでは斬新です。
WikipediaのBorel–Cantelli補題のエントリを見て、その考えをほぼ把握しました。ただし、それがどのようにランダム化解除に関係するのか、まだわかりませんでした。さらに、前述の段落の「漸近的」と「均一」の意味がわかりません。
PS:Borel-Cantelliのグーグルとランダム化解除にはいくつかの興味深い結果が表示されますが、それらを十分に理解するのに十分な背景がありません。
2
小さなコメント:複雑性理論におけるBorel-Cantelli補題の使用法は、Lutzによって導入されたリソース限定メジャー理論、およびここ、ここ、ここでのいくつかのフォローアップに関連しているようです。私もこの質問に興味があります。いい答えが得られることを願っています!
—
Hsien-Chih Chang張顯之
@ Hsien-Chih:ありがとう。また、私はルッツの作品を見ましたが、彼らはあまりにも、私は誰かが「普通の言葉」でそれを説明願っています:(私のために複雑ました;)
—
MS Dousti
ランダムなイベントがタイムステップ実行されたコード行のようなもので、Borel-Cantelliを適用できる場合、プログラムは常に終了すると思います。
—
ラファエル