「Interactive Proof 入門」 第三部「確率と証明」

2020/12/01* マルゼミ

資料一覧

  1. 非決定性チューリングマシンとNPクラス ( pdf video )
  2. 非決定性チューリングマシンと 決定性チューリングマシン ( pdf video )
  3. NP完全と数学的証明 ( pdf video )
  4. 確率的チューリングマシンと BPPクラス ( pdf video )
  5. Interactive Proofと証明概念の変化 ( pdf video )

ショートムービー

  1. 非決定性チューリングマシンとNPクラス
  2. 非決定性チューリングマシンと 決定性チューリングマシン
  3. NP完全と数学的証明          
  4. 確率的チューリングマシンと BPPクラス
  5. Interactive Proofと証明概念の変化