博弈論：Anti-SG 遊戲勝利條件推導與解析

Anti-SG 遊戲定義

• **正常 SG 遊戲**：無法移動者輸 (Normal play)。
• **Anti-SG (Misère Nim 型)**：無法移動者**贏** (Misère play)，但僅在特定條件下反轉。

勝利條件公式

給定局面 s，其 SG 值為 g(s)，後繼局面集合為 S(s)：

Win(s) = ( g(s) != 0 AND ∃t∈S(s): g(t) > 1 )
      OR ( g(s) == 0 AND ∀t∈S(s): g(t) <= 1 )

直觀理解

推導關鍵

1. 終局狀態 (無後繼) g = 0，但在 Misère 規則下**先手贏** (對手無法移動)。
2. 將 SG 值分為三類：0、1、>1。
3. 遞迴分析：若能移動到 >1，可控制遊戲節奏；若只能移動到 0/1，則被動。
4. 最終歸結為上述布林邏輯組合。

參考資源

詳細證明與範例請見：Anti-SG 博弈完整推導 (含 Nim、Wythoff 遊戲應用)