五子棋 AlphaBeta 迭代加深算法異常調試實戰指南

實作五子棋 AI 時，AlphaBeta 剪枝配合迭代加深搜索出現崩潰或邏輯異常，如何高效定位問題？本文提供系統性調試方法論，從工具使用到代碼級常見錯誤模式。

調試核心原則：靠自己單步追蹤，不靠猜測

「再牛×的老師也無法代替學生自己領悟和上廁所！」—— 單步調試是程序員必修基本功。

Visual Studio 調試三板斧

1. 崩潰定位：彈出對話框選 「偵錯」，或 Debug > Attach to Process。
2. 調用堆疊：Alt+7 開啟 Call Stack，從上到下對應內層到外層呼叫。雙擊幀定位原始碼。
3. 單步/斷點：
   • F9 設斷點
   • F5 執行至斷點
   • F10 逐過
   • F11 逐入
   • Shift+F11 跳出函式

代碼級常見錯誤模式檢查清單

1. AlphaBeta 遞迴邏輯錯誤

// 原代碼片段
for (int i = 1; i <= count; i++) {
    MakeMove(...);
    val = -AlphaBeta(depth - 1, -beta, -alpha);
    DelMove();
    if (val >= beta) { ABcut++; return val; }
    if (val > alpha) { alpha = val; }
    return alpha; // ❌ 錯誤：return 在 for 迴圈內部！導致只搜尋第一個走法
}

修正：return alpha; 應移至 for 迴圈外部，完成所有走法搜尋後再回傳。

2. 迭代加深層次控制

for (int i = 2; i <= SearchDepth; i += 2) { // 步長 2？需確認棋盤對稱性
    int depth = i;
    // ... 搜尋邏輯
    if (BestVal == 10000) break; // 提前終止條件
}

確認步長邏輯：五子棋雙方輪流下棋，深度通常以 半步 為單位遞增，或直接 i++ 配合 depth 語意。

3. 邊界條件與陣列越界

• s[depth][i].p 索引是否超出配置大小？
• GetMove(depth) 回傳值是否可能為 0 或負數？
• MakeMove/DelMove 配對是否嚴格對應？

4. 評估函式副作用

evaluate() 應為純函式，不修改全域狀態。若包含隨機數、靜態變數，導致確定性搜索失效。

除錯實戰步驟

1. 最小化復現：固定隨機種子 srand(12345)，構造特定局面觸發崩潰。
2. 加入斷言：assert(depth >= 0); assert(count > 0); 捕捉前置條件違規。
3. 日誌追蹤：關鍵節點輸出 depth, alpha, beta, val, BestMove 至檔案/控制台。
4. 單元測試：獨立測試 AlphaBeta、GetMove、MakeMove/DelMove、evaluate。

進階優化方向

• 置換表：儲存已搜尋局面 (zobrist_key -> {depth, score, flag, best_move}) 避免重複計算。
• 走法排序：歷史啟發、殺手走法、PVS (Principal Variation Search) 提升剪枝效率。
• 時間控制：依 ThinkTime 動態調整 SearchDepth，避免超時。

調試 AI 搜索算法，核心在於「可觀測性」：讓每一步決策、每一次剪枝、每一層遞迴的輸入輸出都在掌控中。掌握單步調試，建構可驗證的測試用例，才是攻克複雜算法 Bug 的王道。