QBF问题也是如此，完全可以通过枚举去掉逻辑语句中的“任意”，将他们全部改成存在。

徐林事先声明自己将在120手内取胜，看似提高围棋残局的难度，可实际上却简化了QBF求解，将搜索范围极大的缩小。

至多只有黑方60手，白方60手的相互交替。那么就可以通过枚举白方60手的对策，将QBF问题转化成低阶的SAT问题。

说起来简单，可是因为SAT与QBF间横隔一个大境界差距，此过程无法在多项式时间内处理。

小主，这个章节后面还有哦，请点击下一页继续阅读，后面更精彩！