⏱️ 30 秒版（先看這裡！）
一、西洋棋這種棋，數學上一定有正解（不是白贏、就是黑贏、要嘛平手）——只是人類還沒算出來。 二、「空頭威脅」：有些嚇人的話，其實對方根本不會真的做——聰明人一眼看穿。 三、逆向歸納法能戳破空頭威脅，留下真正合理的結果。
♟️ 西洋棋一定有「正解」！
先講一個震撼的事實。像圈圈叉叉、西洋跳棋、西洋棋這類棋，只要滿足幾個條件——兩個人玩、雙方看得到全部盤面、步數有限、結果只有「贏／輸／平手」——數學家策梅洛證明：這種棋一定存在一個「正解」。
意思是：要嘛先手能保證贏、要嘛先手能保證至少平手、要嘛後手能保證贏。三者一定有一個是對的。
- 圈圈叉叉：只要雙方不犯錯，先手能保證平手。
- 西洋跳棋：電腦已經完整算出來了。
- 西洋棋：理論上也一定有正解——但棋局太複雜，人類至今還不知道是白贏、黑贏還是平手！
有趣的是，這個定理只說「有正解存在」，卻沒告訴我們正解是什麼。就像知道寶藏一定在島上，卻沒有藏寶圖。
① 策略是「完整計畫」——連走不到的路也要寫
這裡有個很細但重要的觀念：一個策略，是一份完整的行動計畫，要寫清楚「在每一個輪到我的地方，我會怎麼走」。
奇妙的是——就算某個位置這輩子根本走不到，策略還是得寫上「如果走到那裡我會怎麼做」。為什麼要管走不到的地方？因為逆向歸納法要我們思考「萬一對方走到那一步，他會怎麼反應」，這正是戳破謊言的關鍵。
② 空頭威脅：嚇人的話，他其實不會做
來看「市場進入賽局」。市場上有個老大（獨占者），還有個想進來搶生意的新店。
- 新店不進來：老大穩賺 300 萬。
- 新店進來，老大選「開戰」（削價競爭）：兩敗俱傷，老大反而虧錢。
- 新店進來，老大選「不開戰」：兩家各賺 100 萬。
老大放話：「你敢進來，我就跟你拚到底！」如果新店信了、不敢進來——這看起來是個均衡。但這是「空頭威脅」！
因為新店真的進來後，老大理性上根本不會開戰（開戰會虧，不開戰還能賺 100 萬）。所以「我就跟你拚」只是嚇唬人的空話。逆向歸納法一算就戳破它，留下真正合理的結果：新店進來、老大摸摸鼻子不開戰。
🤔 小朋友想想看： 大人說「你再不睡我就把玩具全部丟掉！」——這是真的威脅，還是空頭威脅？你怎麼分辨？
③ 那為什麼現實中，威脅有時真的有效？
奇怪，現實裡大公司（像微軟、波音）有時真的會不惜血本打價格戰，把新來的打趴。為什麼？
因為他們在建立名聲——寧可這一次虧錢「殺雞儆猴」，嚇退未來所有想進來的人。單看一場賽局，這威脅不合理；但把「未來還有很多對手在看」算進去，這一虧就變成划算的投資了。（這是後面「重複賽局」的主題。）
🎒 今天學到了什麼？
- 策梅洛定理：雙人、完全看得到、有限步、結果只有贏／輸／平的棋，一定有正解——西洋棋也有，只是還沒被算出來。
- 定理只保證「解存在」，不告訴你「怎麼下」。
- 策略是完整計畫，連永遠走不到的節點也要規定行動。
- 不可信威脅（空頭威脅）：對手實際上不會執行的嚇唬；逆向歸納能戳破它，但「建立名聲」可讓威脅變真。
Q: 策梅洛定理告訴我們西洋棋的什麼事？ - 白棋一定贏 - *一定存在一個正解（某方能保證贏或平），但沒說是哪個、也沒教怎麼下 - 西洋棋沒有解 解釋: 定理保證解存在（贏/輸/平三者必居其一），卻不提供實際下法。 Q: 獨占者說「你敢進來我就開戰」，為什麼常是空頭威脅？ - 他很善良 - *真的開戰他反而虧錢，理性上不會執行，所以威脅不可信 - 法律禁止開戰 解釋: 逆向歸納顯示進入後老大會選不開戰，故此威脅不可信、可被排除。 Q: 現實中大公司的價格戰威脅為什麼有時真有效？ - 他們不理性 - *為了建立名聲、殺雞儆猴，嚇阻未來更多對手（重複賽局） - 純粹運氣 解釋: 一次的短期損失若能嚇退未來眾多進入者，長期而言就變得划算。
15. Backward Induction: Chess, Strategies, and Credible Threats
📖 家長導讀
本講由 NIM 帶入策梅洛定理（Zermelo）與數學歸納法證明，定義完美資訊與純策略，並以市場進入賽局揭示納許均衡中的「不可信威脅」及逆向歸納如何加以排除。孩子版聚焦「西洋棋有正解、策略是完整計畫、空頭威脅、名聲」；本版補齊定理條件與證明結構。
🔍 完整概念
一、策梅洛定理。 條件：雙人、完美資訊、有限節點、結果不超過三種（玩家一勝／負／和）。結論：必存在解——玩家一能保證勝、能保證和，或玩家二能保證勝。實例：圈圈叉叉（先手可保證和）、西洋跳棋（已被電腦解出）、西洋棋（符合條件故必有解，但解未知）。定理僅保證存在性，不提供下法。
二、歸納法證明。 對賽局最大長度 N 歸納。基底 N=1：僅玩家一行動，有勝選勝、否則有和選和、僅餘負則負——必有解。假設 ≤N 皆有解；長度 N+1 賽局在玩家一首步後進入長度 ≤N 的子賽局，各已有解，玩家一擇最有利者即得 N+1 的解。課堂另示 Chomp 型陣列取子（取子連同其東北方全移除、取到最後一顆者輸）——由策梅洛必有解，但具體必勝策略難尋。
三、完美資訊與純策略。 完美資訊：每一節點行動者皆知身處何節點（隱含知曉完整歷史）。純策略＝完整行動計畫，須指定每一個己方決策節點的行動，即使該節點在執行時永不觸及——因逆向歸納須考量「若走到該節點對手如何反應」，故出現看似冗餘的策略（如 D/u 與 D/d）。
四、不可信威脅。 市場進入賽局：不進入→獨占者 300 萬、進入者 0；進入後獨占者「戰鬥」→(−1, 0)、「不戰」→(100 萬, 100 萬)。兩個納許均衡：(進入, 不戰) 與 (不進入, 戰鬥)。後者依賴「你進來我就戰」的不可信威脅（進入後戰鬥使獨占者得 0<100 萬）。逆向歸納排除依賴不可信威脅的均衡。現實中（微軟、波音）威脅有時有效，因建立聲譽——承受一次短期損失以「殺雞儆猴」嚇阻未來進入者；單次賽局模型無法捕捉，須擴展為重複賽局。
✅ 查核筆記（依本模型知識庫）
- 課程來源：屬實，Yale ECON 159 第十五講，Ben Polak，Open Yale Courses。
- 策梅洛定理：屬實，Zermelo（1913）；西洋跳棋於 2007 年由 Schaeffer 團隊證明為和局（跳棋「已解」屬實）。
- 西洋棋未解：屬實，西洋棋的博弈論解至今未知（狀態空間過大）。
- 不可信威脅與子賽局完美：屬實，逆向歸納即子賽局完美均衡（Selten）的精神，用以精煉掉不可信威脅。
📚 原始出處
- Yale ECON 159 第十五講（YouTube）｜Ben Polak，Open Yale Courses
🧭 接下來讀這篇
- 👉 下一關：決鬥時，該先開槍還是先等待？
- 🚀 想挑戰：為什麼分錢時，「太急」的人會吃虧？
📋 AI 共學與免責聲明
本教材為 SparkSoul 智慧實驗室家庭共學的實驗紀錄，由 AI 協作萃取整理自公開課程或文獻，家長一起參與閱讀。我們不保證學術上的絕對無誤，鼓勵讀者點擊原始連結進行深度探索；若發現錯誤，歡迎透過 Facebook 粉專 告訴我們。涉及醫療、投資或法律等專業判斷，請另行諮詢專業人士。
原始來源
- 📺 點此觀看原始來源