这是系列中的第8篇，我们主要讨论计算中交互作用的用处和IP类问题是什么.

什么是证明

经典的证明

交互式证明系统

[1] http://dl.acm.org/citation.cfm?id=63434

[2] http://www.amazon.co.uk/Introduction-Theory-Computation-Michael-Sipser/dp/0619217642

[3] http://dl.acm.org/citation.cfm?doid=146585.146609

[4] http://en.wikipedia.org/wiki/Arthur–Merlin_protocol
原文链接：http://bristolcrypto.blogspot.com/2014/12/52-things-number-8-how-does-interaction.html
转载链接：https://www.cnblogs.com/zhuowangy2k/p/11892599.html