化）将每个formula_15的实例映射到一个formula_16问题。具体而言，去随机化过程formula_17将每个formula_7问题的实例formula_19映射到另一个布尔表达式formula_20，其真赋值个数（用formula_21表示）模一个大数formula_22余formula_23；另一方面，每个不属于formula_7的布尔表达式formula_25则被映射到一个表达式formula_26，其真赋值个数formula_27模同一个大数formula_22余formula_29。