確率と証明

2020/12/01* マルゼミ「確率と証明」

「確率と証明」解説資料

非決定性チューリングマシンとNPクラス (pdf)

非決定性チューリングマシンと決定性チューリングマシン (pdf)

NP完全と数学的証明 (pdf) 

確率的チューリングマシンとBPPクラス (pdf)

Interactive Proofと証明概念の変化 (pdf)