肯・湯普森：精確的殘局答案需要明確邊界

博物館將湯普森與喬・康登的Belle硬體工作記於1977年。^[3] 里奇把硬體輔助搜尋與後來的殘局資料庫專案當作不同進展介紹。^[2] 本文討論的詳細方法來自湯普森1986年的論文，不能據此宣稱所有結果在1977年就已完成。^[1]

湯普森產生合法前驅局面，並傳播已知結果。勝方只需存在一步制勝選擇，必敗判斷卻要檢查所有合法應對。吃子等特殊情形須明確處理。^[1] 簡稱西洋棋「可逆」，會掩蓋確保模型可靠的關鍵工作。 終止規則同樣重要：沒有合法走法，不自動等於將死。

論文處理指定的小規模殘局，並區分到將死的距離與進入更簡單必勝殘局的距離。^[1] 兩種指標不可互換。這也不表示能為每種和局指定強制步數、解出全部西洋棋，或證明1977年一次展示獨自改變了競賽規則。

分析與借鑑

對產品流程，先選取一組可驗證的終止條件，而非籠統承諾成功。畫出允許的狀態轉換，區分系統能控制的選擇與其他參與者能控制的回應。逆向推理可以揭露缺少的前提，卻不能消除模型外的使用者偏好或未來市場的不確定性。

分析與借鑑

1. 定義狀態、允許的轉換及每步由誰選擇。
2. 列出實際可驗證的終止結果。
3. 區分存在一條可行路徑與所有回應皆須滿足的條件。
4. 記錄循環、非法狀態、例外與衡量目標。
5. 用小例子測試模型，並公開適用邊界。這是我們提出的轉用方法，不是湯普森已證明的商業成果。