Overview
整体思路是用强 AI 引擎找最佳点 dfs 形成必胜树,当局面能 VCT (Victory of Continuous Three) 求解的时候用 VCT 求解器求解,即叶子都能 VCT 求解。这样形成的必胜树总共 $111552$ 个结点,$34005$ 个叶子。
具体过程为:
- 把开局分裂(分裂到第三步)并行求解。
- 合并分裂的开局为一颗必胜树。
- 剪枝1:可以发现必胜树若某一个叶子是该黑走,那么我们可以直接删掉这个叶子(因为这个叶子的父亲是该白走,该白走的结点必定所有的可走点都是它的儿子,这个叶子不会再扩展下去,所以不用记录)
- 剪枝2:根据置换表,有相同局面的点可以直接用指针指过去,其子树不用记录。
- 扩展:这样得到的叶子有可能 VCT 计算时间长,因此把 VCT 计算时间长的叶子扩展出去记录下来。