）版本formula_7（亦即，将前述问题中的“唯一赋值”改为“奇数个赋值”），我们可以通过重复执行随机算法以提高算法准确性。由此，我们可以通过对多项式谱系的深度採用数学归纳法，得到一个formula_3的证明（参见：BPP）。注意这个证明实际上给出一个映射formula_9（对于每个随机数取值formula_10，存在一个映射formula_9），将每个值为真的多项式谱系实例formula_12映射到一个formula_7的实例formula_14（亦即，一个有着奇数个真赋值的布尔表达式），而将每个非真的