的，即便将轮数扩展成多项式轮，所得到的交互证明仍然与NP是等价的。这样就需要将验证者扩展成随机性图灵机，此时我们就有了下面的有趣的复杂性类。
梅林-亚瑟协议（MA）.我们保持轮数为1轮，由证明者发起，而将上面的PTM换作概率多项式时间图灵机，那么我们得到了复杂性类MA:验证者是一个在概率多项式时间的图灵机(亚瑟)，证明者（梅林）给出对于问题的解之后验证者必须在1/3的错误率以内决定"n"是否在这个语言之内。更正式的说：对任何语言"L", formula_1若formula_2