Checkers Is Solved

发表时间：2007（science）
文章要点：这篇文章主要说checkers已经被解决了，得出的结论是如果两边都不犯错的话，这个游戏的最终结果是平局（Perfect play by both sides leads to a draw）。Solve其实有三种含义，ultraweakly solved指最后的结果知道，但是不知道什么策略可以做到那个结果；weakly solved指最后的结果知道，并且有某种策略可以做到；strongly solved是指对所有的情形都可以计出策略达到理论上的结果。然后这里的Solved指的是weakly solved。具体思路包含三个部分，Endgame databases，Proof-tree manager和Proof solver。Endgame databases就是反解某些残局，这些残局的最后结果是确定的，那么下棋的时候只要走到这些残局了，就一定知道胜负结果了，所以这个Endgame databases也可以看做是backward search，就是从终局往前推的过程。Proof-tree manager就是找到一些需要探索的位置，在这个位置还不知道怎么走是最好的。Proof solver就是从Proof-tree manager给出来的位置开始求解，来计算这个位置该怎么走以及最后结果如何。Proof-tree manager和Proof solver都是forward search的过程，这里面用到很多搜索算法，比如文中提到的Proof Number search algorithm，alpha-beta search，Df-pn algorithm等等。通过这个两边往中间靠拢的过程，最终用计算机搜索的方式把这个问题给求解出来。
总结：很老的一篇文章了，虽然很多细节没有讲，但是思路还是很清晰的。看得出来这个过程经过了很长的时间很多人的努力啊。
疑问：搜索算法很多都不懂，还要找资料看看。