「Interactive Proof 入門」 第三部「確率と証明」
2020/12/01* マルゼミ
資料一覧
- 非決定性チューリングマシンとNPクラス ( pdf video )
- 非決定性チューリングマシンと決定性チューリングマシン ( pdf video )
- NP完全と数学的証明 ( pdf video )
- 確率的チューリングマシンとBPPクラス ( pdf video )
- Interactive Proofと証明概念の変化 ( pdf video )
ショートムービー
- 非決定性チューリングマシンとNPクラス
- 非決定性チューリングマシンと決定性チューリングマシン
- NP完全と数学的証明
- 確率的チューリングマシンとBPPクラス
- Interactive Proofと証明概念の変化