四子棋被"弱解"了：人類用8張圖記住必勝套路

一個7×6的棋盤，42個格子，4531985219092種合法局面。這是四子棋（Connect 4）的復雜度——比國際象棋開局多幾個數量級。但有人證明：你不需要記住萬億種變化，只要8張決策圖就能保證先手必勝。

這不是強解，是"弱解"。區別很微妙，卻改變了我們對"完美游戲"的理解。

強解 vs 弱解：兩種"完美"的代價

強解意味著你知道每一個局面的理論結果。四子棋早在1988年就被Victor Allis強解，后來John Tromp在2012年壓縮到8GB數據庫。但8GB是什么概念？你背不下來，比賽時也沒法查。

弱解則走另一條路：它只保證你贏，不告訴你其他路怎么走。用作者的話說，"Red（先手）只學對自己有利的分支，冗余信息一概丟棄"。

類比一下：強解像背下整本《牛津英語詞典》，弱解像只背雅思高頻詞表——目標明確，效率極高。作者把強解比作"策略A"：現場算所有變化；弱解是"策略B"：賽前背完，上場零搜索。

兩種策略的"數據產品"相同（都完美），但生產邏輯截然相反。一個依賴算力，一個依賴知識。

WeakC4的核心設計：給必勝路徑造一門"語言"

這套方案叫WeakC4，關鍵創新是"語言"——不是自然語言，是一套能描述必勝節點的符號系統。作者發現：四子棋的必勝路徑有結構性重復，可以用少量模式覆蓋。

具體怎么做？先鎖定一小部分節點（必勝關鍵位置），給它們設計描述語法；再構建一個極小的開局樹，確保所有葉子節點都落在那套語法能描述的范圍內。

結果是：先手第一步必須走中間列（第4列）。這是唯一被證明的必勝起點。走其他列？弱解不回答，因為"那些分支對Red不是好選擇"。

這種"選擇性失明"是刻意的設計，不是缺陷。

為什么弱解可能比強解更有價值

作者提出一個反直覺觀點：強解是"通用的、樸素的方法"，不需要理解游戲結構；弱解反而留出"創造性選擇的空間"，能表達人對游戲的洞察。

想想實際場景。你去參加四子棋比賽，帶8GB數據庫不現實，但帶8張打印好的決策圖完全可行。WeakC4的目標就是可執行性——讓完美策略從"理論存在"變成"人類可用"。

這觸及一個深層問題：我們對"解決游戲"的定義是否太偏理論？如果一種解法無法被人類在實戰中調用，它的"完美"有多少意義？

作者用圖論語言區分兩者：強解是整個游戲樹，弱解是一個子圖，且滿足"閉包"約束——從任意包含節點出發，按弱解走法不會走到子圖外面。這個數學保證讓弱解雖不完整，卻絕對可靠。

從四子棋到更復雜的游戲

四子棋已被強解，WeakC4的價值在于方法論。對于圍棋、象棋等尚未強解或強解數據量爆炸的游戲，弱解可能是更務實的目標。

作者暗示的方向是：不必追求"全知"，而是識別"足夠贏"的知識邊界。這類似于機器學習里的"蒸餾"——把大模型的能力壓縮到小模型，損失一些泛化性，換取部署可行性。

WeakC4的代碼和決策圖已開源。8張圖的具體內容？原文沒展開，但邏輯很清楚：中間列開局，然后按圖索驥。沒有搜索，沒有估值函數，純記憶驅動。

這種極端方案能工作，恰恰因為四子棋的必勝結構比想象中"窄"——先手優勢足夠大，大到可以用有限模式覆蓋所有關鍵變化。

最后一個細節：作者在描述兩種策略時，數據產品"identical"的句子被截斷了。但意圖很明顯——無論A還是B，最終都輸出完美著法。路徑不同，終點相同。你會選哪條路？