29、攻克跳棋：一场跨越十八年的科学征程

攻克跳棋：一场跨越十八年的科学征程

1. 新年伊始的展望与挑战

2007 年 1 月 1 日，本应帮 Steph 为新年派对准备房子，我却忍不住先查看跳棋计算的状态。当时七个开局已完成，一个接近完成，三个正在进行，两个尚未开始。估算完成计算所需时间并非易事，有些开局几个月就能解决，而臭名昭著的“黑寡妇”开局已耗时三年多仍未结束。令人意外的是，平稳的平局开局进展比更具挑战性的不平衡开局快得多，这与我的直觉相反。经过一番粗略计算，我预测跳棋将在八月中旬解决，但这只是个猜测，而且八月我已和家人预订了假期，这让我有些发愁。

2. 印度之行与开局难题

1 月 8 日，又一个开局被证明不是胜局，此时八个开局已完成，还剩五个。月初我前往印度参加 IJCAI 会议，期间与 Neil 远程推进计算。1 月 9 日，我在邮件中向 Neil 表达了对一个开局（h6 - g5 e3 - f4 g5×e3）的担忧。人类认为此开局对白方不利，若要证明白方可以平局，否则就得处理七个开局。我不愿放弃，用 CHINOOK 分析该开局，尝试了各种走法，最终还是失败了。这意味着原本的十三个开局任务变成了十九个，还剩十一个待解决，我开始怀疑这个项目何时才能结束。

不过，我想到换个应对方式，尝试 g3 - f4。结果发现七个回应中有五个明显是输局，只有两个是可行的平局开局，且平局开局可能较容易解决。1 月 11 日，我让 Neil 开始计算这七个回应，此时八月完成所有任务已不太可能。之后我抽空游览了 Hyderabad，也意识到应该再次回到印度，最好是在没有研究干扰的时候。

3. 开局验证的进展与新预测

2 月开始，好消息不断。那些明显会输的开局陆续被证