2004-03-19 空気味 etc 某院の数学の過去問を貰う。 一回流し読みしてその後触っていなかったO.ゴールドライヒ『現代暗号・確率的証明・擬似乱数』*1の二章確率的証明をもう一度流し読み。対話証明・ゼロ知識証明は面白いな。ランダム性が関わってくる辺りとか。 IP = PSPACEの証明はCNF論理式を有限体上に移動してやるのね。Goldreich推薦のA.Shamir「IP = PSPACE」を読もう。 付録C.2がハードコア属性の話だった。ちゃんと読んでみよう。 *1:シュプリンガー・フェアラーク東京 ISBN:4431708642