达式可做任何输出）有一个多项式的随机化算法，则formula_6（参见：RP (复杂度)）。事实上，该定理给出了这样一个判定USAT问题的随机算法。虽然我们尚不知如何提高Unique-SAT问题的随机算法的准确性，但对于USAT问题的Parity（奇偶性）版本formula_7（亦即，将前述问题中的“唯一赋值”改为“奇数个赋值”），我们可以通过重复执行随机算法以提高算法准确性。由此，我们可以通过对多项式谱系的深度採用数学归纳法，得到一个formula_3的证明（参见：BPP）。注意这个证明实际上给出一个