后自己对这问题作决定。）更正式的说：对任何语言"L", formula_8若formula_9: 和AM不同之处在于，它的交换信息次数是被常数次数而非被一个多项式次数所限定。
IP = PSPACE.要证明IP与PSPACE相等，我们先证明出IP是PSPACE的子集，然后证明PSPACE也是IP的子集，因此之故两个集合相等。要证明出formula_12，我们展现出一个用多项式空间的机器可以怎样模拟一个交互式证明系统。要证明formula_13这一件事，我们推导一个PSP