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