確率と証明 2020年12月3日 最終更新日時 : 2022年11月9日 MaruyamaFujio 目次 2020/12/01* マルゼミ「確率と証明」「確率と証明」解説資料非決定性チューリングマシンとNPクラス (pdf)非決定性チューリングマシンと決定性チューリングマシン (pdf)NP完全と数学的証明 (pdf) 確率的チューリングマシンとBPPクラス (pdf)Interactive Proofと証明概念の変化 (pdf) 2020/12/01* マルゼミ「確率と証明」 「確率と証明」解説資料 非決定性チューリングマシンとNPクラス (pdf) 非決定性チューリングマシンと決定性チューリングマシン (pdf) NP完全と数学的証明 (pdf) 確率的チューリングマシンとBPPクラス (pdf) Interactive Proofと証明概念の変化 (pdf)
