亚瑟和梅林是一对球员(比如爱丽丝和鲍勃)已使用作者:LászlóBabai交易群随机性理论[1](1985)他介绍亚瑟vs.梅林游戏以便定义新的Arthur-Merlin复杂性类与…有关交互式证明系统.