Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Received 24 June 1986, Revised 3 August 1987, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(88)90028-1
