蒙特卡洛求解01复杂约束方程的方法