一個(gè)7×6的棋盤(pán)，42個(gè)格子，4531985219092種合法局面。這是四子棋（Connect 4）的復(fù)雜度——比國(guó)際象棋開(kāi)局多幾個(gè)數(shù)量級(jí)。但有人證明：你不需要記住萬(wàn)億種變化，只要8張決策圖就能保證先手必勝。

這不是強(qiáng)解，是"弱解"。區(qū)別很微妙，卻改變了我們對(duì)"完美游戲"的理解。

強(qiáng)解 vs 弱解：兩種"完美"的代價(jià)

強(qiáng)解意味著你知道每一個(gè)局面的理論結(jié)果。四子棋早在1988年就被Victor Allis強(qiáng)解，后來(lái)John Tromp在2012年壓縮到8GB數(shù)據(jù)庫(kù)。但8GB是什么概念？你背不下來(lái)，比賽時(shí)也沒(méi)法查。

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

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

兩種策略的"數(shù)據(jù)產(chǎn)品"相同（都完美），但生產(chǎn)邏輯截然相反。一個(gè)依賴算力，一個(gè)依賴知識(shí)。

WeakC4的核心設(shè)計(jì)：給必勝路徑造一門(mén)"語(yǔ)言"

這套方案叫WeakC4，關(guān)鍵創(chuàng)新是"語(yǔ)言"——不是自然語(yǔ)言，是一套能描述必勝節(jié)點(diǎn)的符號(hào)系統(tǒng)。作者發(fā)現(xiàn)：四子棋的必勝路徑有結(jié)構(gòu)性重復(fù)，可以用少量模式覆蓋。

具體怎么做？先鎖定一小部分節(jié)點(diǎn)（必勝關(guān)鍵位置），給它們?cè)O(shè)計(jì)描述語(yǔ)法；再構(gòu)建一個(gè)極小的開(kāi)局樹(shù)，確保所有葉子節(jié)點(diǎn)都落在那套語(yǔ)法能描述的范圍內(nèi)。

結(jié)果是：先手第一步必須走中間列（第4列）。這是唯一被證明的必勝起點(diǎn)。走其他列？弱解不回答，因?yàn)?那些分支對(duì)Red不是好選擇"。

這種"選擇性失明"是刻意的設(shè)計(jì)，不是缺陷。

為什么弱解可能比強(qiáng)解更有價(jià)值

作者提出一個(gè)反直覺(jué)觀點(diǎn)：強(qiáng)解是"通用的、樸素的方法"，不需要理解游戲結(jié)構(gòu)；弱解反而留出"創(chuàng)造性選擇的空間"，能表達(dá)人對(duì)游戲的洞察。

想想實(shí)際場(chǎng)景。你去參加四子棋比賽，帶8GB數(shù)據(jù)庫(kù)不現(xiàn)實(shí)，但帶8張打印好的決策圖完全可行。WeakC4的目標(biāo)就是可執(zhí)行性——讓完美策略從"理論存在"變成"人類可用"。

這觸及一個(gè)深層問(wèn)題：我們對(duì)"解決游戲"的定義是否太偏理論？如果一種解法無(wú)法被人類在實(shí)戰(zhàn)中調(diào)用，它的"完美"有多少意義？

作者用圖論語(yǔ)言區(qū)分兩者：強(qiáng)解是整個(gè)游戲樹(shù)，弱解是一個(gè)子圖，且滿足"閉包"約束——從任意包含節(jié)點(diǎn)出發(fā)，按弱解走法不會(huì)走到子圖外面。這個(gè)數(shù)學(xué)保證讓弱解雖不完整，卻絕對(duì)可靠。

從四子棋到更復(fù)雜的游戲

四子棋已被強(qiáng)解，WeakC4的價(jià)值在于方法論。對(duì)于圍棋、象棋等尚未強(qiáng)解或強(qiáng)解數(shù)據(jù)量爆炸的游戲，弱解可能是更務(wù)實(shí)的目標(biāo)。

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

WeakC4的代碼和決策圖已開(kāi)源。8張圖的具體內(nèi)容？原文沒(méi)展開(kāi)，但邏輯很清楚：中間列開(kāi)局，然后按圖索驥。沒(méi)有搜索，沒(méi)有估值函數(shù)，純記憶驅(qū)動(dòng)。

這種極端方案能工作，恰恰因?yàn)樗淖悠宓谋貏俳Y(jié)構(gòu)比想象中"窄"——先手優(yōu)勢(shì)足夠大，大到可以用有限模式覆蓋所有關(guān)鍵變化。

最后一個(gè)細(xì)節(jié)：作者在描述兩種策略時(shí)，數(shù)據(jù)產(chǎn)品"identical"的句子被截?cái)嗔?。但意圖很明顯——無(wú)論A還是B，最終都輸出完美著法。路徑不同，終點(diǎn)相同。你會(huì)選哪條路？