證明整整花了三堂 90 分鐘的課, 所以其實是從兩個半禮拜前復習起 orz

擬砍刊擬砍刊, 連變態 MIT 都在 Advanced Complexity Theory lecture 13 才講!!

Joan 專門教她很有愛的東西 xD BPP 很快帶過來到 IP=PSPACE 因為 arithmetization 她有參一腳, 然後她在 Bell Lab 聽過 Toda 親自推導這個證明...