rmula_3: The second condition can alternatively be written as
IP.在计算复杂性理论内，IP是由以下特定交互式证明系统所能解决的一类问题：验证者是一个在概率多项式时间的图灵机，双方可以交换多项式formula_7次信息，最后验证者必须在1/3的错误率以内决定"n"是否在这个语言之内。（所以在BPP内的语言一定在IP之内，因为我们可以让验证者直接忽略证明者然后自己对这问题作决定。）更正式的说：对任何语言"L",