愬惱乢言[300]

計算論をカルロ法→多項式時間
処理終了を乱択アルゴリズムに定義。
一例より素数判定的問題
ミラー-ラビンの判定法に頼るばかり

アルゴリズム素数 Yes
合成数 No

o喜劇的一人ロンドだけが
悲しむ終了１秒賭けて法則を産む。

計算複雑性理論
確率的チューリング→モデル化

o未解系な定義モンテが笑う
TypeはBP比重を指して形状は狂う