從包絡內點到勝線高階點：圍棋天元劣勢與五子棋中央必勝的幾何分歧

英文題名：From Interior Envelope Point to High-Degree Winning-Line Vertex: The Geometric Divergence Between Tengen in Go and Central Openings in Gomoku

作者：Neo.K（許筌崴）
機構：一言諾科技有限公司（EVEMISSLAB）
日期：2026年7月15日
版本：Geometric Game Divergence 1.0

摘要

圍棋與五子棋都在有限方格點陣上輪流落子，棋子落下後通常不移動；然而，天元或中央區域在兩種遊戲中的開局價值卻呈現近乎相反的結果。圍棋中，第一手天元通常不是高效率主流選擇；在傳統十五路五子棋的若干常見規則中，以中央首手為初始條件的黑棋必勝策略則已由電腦搜尋建立。

本文提出一個統一但不混同的幾何解釋：兩種遊戲雖共享棋盤載體，卻具有不同維度的致勝幾何對象。圍棋主要最大化二維控制區域與有效包絡；五子棋則要求完成至少一條一維連續勝線。對二維包絡博弈而言，中央是嚴格內點：若留在最大包絡內部，其外包絡增益為零；若被納入外部邊界，則造成內凹損失。對一維連線博弈而言，中央不是多餘內點，而是大量候選勝線的高階交點；棋盤邊界在圍棋中可作為免費封閉邊界，在五子棋中卻會截斷勝線的雙向延伸。

本文進一步將五子棋形式化為勝線超圖，定義點的勝線度數、威脅超圖、最小防守擊中數與單回合防守預算。當攻方生成的致勝威脅之最小防守覆蓋數大於守方一回合能下的棋子數時，守方即無法兼防。既有的威脅空間搜尋與證明數搜尋所建立的必勝樹，可被理解為一份以中央首手為根的有限構造性證明證書。它直接證明中央首手「可以」展開為不可阻止的五連策略，但不單獨證明中央是唯一必勝點或所有其他首手都不勝。

本文的主要理論貢獻，是區分「博弈值已被求解」與「幾何原因已被抽象」：既有必勝樹提供結果層的存在證明，本文則提出由勝線容量、交叉結構、威脅重疊與防守預算失配所構成的結構解釋。最終得到一項一般性原理：同一個中心點的價值，不由其座標本身決定，而由遊戲所要求完成的幾何對象維度、邊界作用與勝利證書型態共同決定。

關鍵詞： 五子棋、圍棋、天元、勝線超圖、威脅空間搜尋、證明數搜尋、構造性證明、邊界截斷、包絡幾何、防守擊中數

一、問題的提出

在圍棋與五子棋中，玩家都在一個有限的二維點陣上輪流放置黑白棋子。若只觀察表面形式，兩者似乎高度相似：

棋盤都是有限矩陣；
棋子落在格點交叉處；
雙方輪流行動；
一手只能占據一個空點；
棋子一旦落下，通常不會自由移動。

然而，兩種遊戲對中央點的評價卻不同。

在圍棋中，第一手天元缺乏直接利用棋盤邊界的能力，通常不能像角部與邊部落子一樣，迅速建立低成本的圍地包絡。前文提出的「天元內點損失原理」將其表述為：

\boxed{ \text{天元若留在包絡內部，則外包絡增益為零； 若成為包絡邊界，則產生內凹損失。} }

但在十五路五子棋的歷史電腦求解中，黑棋通常由中央開始，且對兩種常見規則變體，研究者建立了黑棋必勝樹。這似乎提出了一個反例：

若中央作為第一手具有幾何內點損失，為什麼五子棋卻可以從中央展開必勝法？

答案是：「中心點」沒有固定的跨遊戲價值。真正決定價值的是勝利目標的幾何維度。

圍棋主要爭奪二維控制域；五子棋主要構造一維勝利線段。二維包絡中的內點，可能恰好是一維線段族中的高階交點。

二、必須先區分的規則與證明範圍

2.1 五子棋不是單一規則

「五子棋」包含多種規則：

自由五子棋：連成五子或更長連線即可勝；
恰五規則：只有恰好五子連線才勝，長連不計勝；
連珠：黑方受到三三、四四、長連等禁手限制；
交換規則或其他開局平衡規則；
不同棋盤尺寸與首手限制。

因此，任何「五子棋已被證明先手必勝」的表述，都必須附帶規則條件。

本文所引用的歷史求解，是 Allis、van den Herik 與 Huntjens 對十五路棋盤所研究的兩種變體：

長連也可獲勝的非限制規則；
僅恰好五連獲勝的變體。

研究使用威脅空間搜尋與證明數搜尋，建立並檢查黑棋必勝樹。這不等於所有連珠規則、交換規則與現代競技開局規則都已由同一結果解決。

2.2 求解層次

對有限雙人零和完全資訊遊戲，可區分：

超弱求解：只知道初始局面的博弈值；
弱求解：知道初始局面的博弈值，並取得保證達成該結果的策略；
強求解：對所有可達局面都能給出博弈值與最優策略。

歷史五子棋結果的核心，是從指定初始局面建立黑棋必勝策略樹。形式上可寫為：

\exists \pi_B^{*}\; \forall \pi_W,\qquad \operatorname{Outcome} \left( s_0,\pi_B^{*},\pi_W \right) = \operatorname{BlackWin}

其中：

$s_0$ 是規則所指定的初始局面，包括中央首手；
$\pi_B^{*}$ 是黑棋策略；
$\pi_W$ 是白棋任意合法策略。

這是一個強於單一棋譜的結果，因為白棋不需要配合某條預設變化。黑棋策略必須涵蓋白棋所有相關反駁。

2.3 它沒有直接證明什麼

由中央首手必勝，不能直接推出：

\forall p\neq c,\qquad V(p)\neq\operatorname{Win}

也不能直接推出：

c= \operatorname*{arg\,max}_{p\in B} V(p)

其中 $V(p)$ 是第一手為 $p$ 時的博弈值。

因此，既有求解直接證明的是：

V(c)=\operatorname{BlackWin}

它不是中央唯一性的證明，也不是所有首手的完整排序。

這個邏輯限制非常重要。本文不把既有必勝樹誇大為「天元唯一最優」的證明，而是將其視為：

中央首手可展開為必勝策略的構造性存在證書。

三、兩種遊戲的幾何目標不同

3.1 圍棋：二維控制測度

將圍棋抽象為有限矩陣：

B_n=\{1,\ldots,n\}\times\{1,\ldots,n\}

某一方落子集合為：

S\subseteq B_n

其幾何目標可近似寫為：

J_{\mathrm{Go}}(S) = \mu\bigl(R(S)\bigr) -\lambda C_{\mathrm{closure}}(S) -\mu_1 C_{\mathrm{fragment}}(S) -\mu_2 C_{\mathrm{exposure}}(S)

其中：

$R(S)$ 是可實現控制域；
$\mu(R)$ 是面積或離散控制測度；
$C_{\mathrm{closure}}$ 是完成封閉邊界的成本；
$C_{\mathrm{fragment}}$ 是棋塊分裂與連接義務；
$C_{\mathrm{exposure}}$ 是被侵入、切斷與攻擊的暴露成本。

圍棋的核心幾何對象主要是二維區域：

d_{\mathrm{Go}}=2

3.2 五子棋：一維存在證書

五子棋的勝利條件不是取得最大面積，而是存在一條合法方向上的連續五子線段。

設四個基本方向為：

D= \left\{ (1,0),(0,1),(1,1),(1,-1) \right\}

長度為五的線段可寫為：

L(a,\mathbf d) = \left\{ a+i\mathbf d: i=0,1,2,3,4 \right\}

其中所有點都必須位於棋盤內。

黑棋勝利條件為：

\exists L\in\mathcal L_5, \qquad L\subseteq S_B

其中 $\mathcal L_5$ 是所有合法五連線段集合。

這是一個存在性命題，而不是面積最大化：

d_{\mathrm{Gomoku}}=1

3.3 維度分歧

兩種遊戲的幾何目標可概括為：

\boxed{ \begin{aligned} \text{圍棋：}&\quad \max \mu_2(R),\\ \text{五子棋：}&\quad \exists L,\ \mu_1(L)=5. \end{aligned} }

圍棋最大化二維控制測度；五子棋尋找一條完整的一維勝利證書。

因此，不能從「圍棋中央是內點」直接推出「所有格點博弈的中央都低效」。

四、邊界在兩種遊戲中的作用相反

4.1 圍棋的免費邊界

圍棋的棋盤邊界可以協助封閉區域。若某個控制區域 $R$ 的邊界為：

\partial R = \Gamma_{\mathrm{stone}} \cup \Gamma_{\mathrm{board}}

其中：

\Gamma_{\mathrm{board}} \subseteq\partial B_n

則棋盤邊界替棋手提供一部分不必用棋子建造的封閉線。

因此通常有：

C_{\mathrm{closure}}(\text{角}) < C_{\mathrm{closure}}(\text{邊}) < C_{\mathrm{closure}}(\text{中央})

在圍棋中，靠近邊界意味著可以借用世界的外框。

4.2 五子棋的邊界截斷

五子棋的棋盤邊界不會替玩家完成五連。它只會讓原本可以向兩側延伸的直線提前終止。

設點 $p$ 在方向 $\mathbf d$ 上，所有包含 $p$ 的合法五連線段數量為：

N_{5,\mathbf d}(p) = \left| \left\{ L\in\mathcal L_5: p\in L, L\parallel\mathbf d \right\} \right|

總勝線度數為：

d_5(p) = \sum_{\mathbf d\in D} N_{5,\mathbf d}(p)

當 $p$ 靠近邊界時，部分起點會使線段超出棋盤，因此：

N_{5,\mathbf d}(p)\downarrow

在充分遠離邊界的內部點，每一個方向最多有五條不同的長度五線段經過該點：

N_{5,\mathbf d}(p)=5

故最大總度數為：

d_5^{\max}=4\times5=20

十五路棋盤的天元達到此最大值：

d_5(c)=20

但天元不是唯一達到最大值的點；中央一片充分遠離邊界的區域都可能達到同樣的局部度數。這表示勝線度數是必要的結構資訊，卻不足以單獨證明天元唯一最優。

4.3 邊界作用反轉原理

由此得到：

\boxed{ \begin{aligned} \text{圍棋：}&\quad \text{邊界提供免費封閉；}\\ \text{五子棋：}&\quad \text{邊界截斷勝線延伸。} \end{aligned} }

這是兩種開局幾何差異的第一個根本原因。

五、五子棋的勝線超圖

5.1 超圖定義

將五子棋表示為超圖：

\mathcal H_5=(V,\mathcal E_5)

其中：

V=B_n

而：

\mathcal E_5=\mathcal L_5

每一條超邊 $e\in\mathcal E_5$ 都是一份潛在勝利證書。

黑棋的目標是完整占有某條超邊：

\exists e\in\mathcal E_5, \qquad e\subseteq S_B

白棋則嘗試在黑棋完成超邊前，占據其中至少一點，或建立更快的自身勝線。

5.2 點的超圖度數

定義：

\deg_{\mathcal H_5}(p) = \left| \left\{ e\in\mathcal E_5:p\in e \right\} \right|

這與前述 $d_5(p)$ 相同。

中央點的優勢不是「靠近所有地方」這種模糊中心性，而是：

屬於較多候選勝線；
具有較完整的雙向延伸空間；
可以成為多個方向威脅的共享節點；
較不容易被棋盤邊界預先消除分支。

5.3 高度數不等於必勝

即使：

\deg_{\mathcal H_5}(c) = \max_{p\in V} \deg_{\mathcal H_5}(p)

仍不能直接推出：

V(c)=\operatorname{Win}

原因是白棋會占據節點，破壞超邊；不同勝線之間也可能高度重疊，使其能被同一防守手同時阻斷。

所以需要從「勝線數量」進一步提升到：

勝線交叉結構；
威脅生成次序；
防守點是否重合；
強制手能否連續；
最終是否形成不可兼防。

六、從勝線數到威脅超圖

6.1 威脅不是尚未完成的任意線

對局面 $s$ ，定義攻方威脅 $T$ 為一個使守方必須立即回應，否則攻方將在有限且很短的步數內完成五連的結構。

可抽象為：

T=(G_T,C_T)

其中：

$G_T$ 是攻方的增益點或下一個威脅落點；
$C_T$ 是守方為阻止該威脅所需考慮的防守點集合。

例如，若攻方已形成四子並只差一點，則：

|C_T|=1

若形成兩端皆可完成的活四，則守方一手無法同時占據兩端。

6.2 威脅集合

設當前攻方能同時維持的致勝威脅集合為：

\mathcal T(s)=\{T_1,T_2,\ldots,T_r\}

每個威脅 $T_i$ 需要守方在防守集合 $C_i$ 中選擇至少一點。

守方需要找到一個防守點集合 $D$ ，使：

D\cap C_i\neq\varnothing, \qquad \forall i

6.3 最小防守擊中數

定義威脅系統的擊中數：

\tau(\mathcal T) = \min \left\{ |D|: D\cap C_i\neq\varnothing, \ \forall C_i\in\mathcal T \right\}

它表示若不考慮回合限制，至少需要多少個不同防守點才能覆蓋全部威脅。

守方每回合只能下一手，因此單回合防守預算為：

b_D=1

若某一攻方落子後：

\tau(\mathcal T)>b_D

即：

\tau(\mathcal T)\geq2

則守方一手不能覆蓋所有威脅。

这就是雙四、四三與其他不可兼防結構的統一表達。

七、防守預算失配定理

定理 1：單回合防守失配定理

設攻方在局面 $s$ 落子後形成致勝威脅集合 $\mathcal T(s)$ 。若：

\tau(\mathcal T(s))>1

且每一個未被覆蓋的威脅都能在攻方下一回合完成合法五連，則守方無法避免攻方獲勝。

證明

守方單回合只能占據一個空點，因此任何防守集合 $D$ 滿足：

|D|\leq1

但：

\tau(\mathcal T(s))>1

表示不存在大小不超過一的集合可與每一個威脅防守集合相交。因此，至少有一個威脅未被阻斷。

依假設，任何未被阻斷的威脅都允許攻方下一回合完成五連。故攻方必勝。證畢。

\Box

推論 1：雙重威脅必勝

若兩個下一手致勝威脅的唯一防守點不同：

C_1=\{x\}, \qquad C_2=\{y\}, \qquad x\neq y

則：

\tau(\{C_1,C_2\})=2

因此守方不能兼防。

推論 2：活四必勝

若一條四連線段的兩端都可完成五連，且守方只能下一手，則兩端形成兩個獨立完成點，攻方下一回合至少能在其中一端獲勝。

八、強制威脅序列與拓撲坍塌

8.1 從自由選擇到被迫回應

在五子棋開局初期，守方有大量合法落點：

|A_{\mathrm{legal}}(s)|\gg1

但一旦攻方生成必須立即應對的威脅，守方的有效選擇域會急劇收縮：

A_{\mathrm{eff}}^D(s) \subset A_{\mathrm{legal}}^D(s)

在單一四威脅下，守方可能只剩一個有效防守點：

|A_{\mathrm{eff}}^D(s)|=1

若攻方能連續生成威脅，则對局從高分支狀態坍塌為近線性狀態：

s_0\to s_1\to s_2\to\cdots\to s_t

其中每一個守方節點的有效分支很小。

8.2 威脅空間的規則約束坍塌

這與規則約束收斂框架高度一致。傳統搜尋會考慮棋盤上大量合法但與當前威脅無關的點；威脅空間搜尋則優先保留：

攻方能延續強制威脅的點；
守方能真正中斷威脅的點；
能生成複合威脅的交叉點；
能導向最終雙重威脅的依賴節點。

因此：

\mathcal G_{\mathrm{full}} \longrightarrow \mathcal G_{\mathrm{threat}}

其本質是把博弈樹從「所有合法手」限制到「與必勝證書相關的有效域」。

8.3 強制路徑的方向

圍棋中的拓撲坍塌通常透過厚薄、包圍、死活與大尺度控制逐步形成；五子棋中的坍塌則可由短期威脅直接觸發。

可以寫成：

\boxed{ \text{威脅} \to \text{防守域縮小} \to \text{下一威脅} \to \text{防守域再次縮小} \to \text{不可兼防} }

這也是五子棋必勝法的核心形態：不是一次性找到最終五連，而是建立一條讓對手無法退出的強制通道。

九、必勝樹作為構造性證明證書

9.1 單一路線不是證明

一盤黑棋獲勝棋譜只能證明：

\exists \pi_W, \qquad \operatorname{Outcome} (s_0,\pi_B,\pi_W) = \operatorname{BlackWin}

也就是至少存在一種白棋走法會輸。

但先手必勝要求：

\forall \pi_W

因此必須處理白棋所有合法且可能有效的反駁。

9.2 AND–OR 證明樹

五子棋必勝樹可表示為 AND–OR 樹。

在黑棋節點，黑棋只需找到至少一手可以保證勝利：

\operatorname{Win}_B(s) \iff \exists m\in A_B(s): \operatorname{Win}_B(T(s,m))

因此黑棋節點是 OR 節點。

在白棋節點，黑棋策略必須對白棋每一個相關回應都能繼續獲勝：

\operatorname{Win}_B(s) \iff \forall m\in A_W(s): \operatorname{Win}_B(T(s,m))

因此白棋節點是 AND 節點。

9.3 有限證明證書

令證明樹為：

\mathcal P=(N,E,r)

其中根節點 $r=s_0$ 是中央首手後的初始局面。若滿足：

每個黑棋 OR 節點至少有一個已證勝子節點；
每個白棋 AND 節點的所有相關合法子節點皆已證勝；
每個葉節點都是黑棋已完成五連；
搜尋中使用的分支過濾不會刪除真正反駁；
樹的合併、資料庫與結果已通過一致性檢查；

則：

\mathcal P \vdash \operatorname{Win}_B(s_0)

定理 2：必勝樹證書定理

若存在有限 AND–OR 樹 $\mathcal P$ ，其根為 $s_0$ ，所有黑棋節點至少有一個子節點在樹中，所有白棋合法有效回應都在樹中，且所有葉節點均為黑棋勝局，則黑棋從 $s_0$ 有必勝策略。

證明

對樹高作歸納。

若節點為葉節點，按定義黑棋已勝。

假設所有高度小於 $h$ 的節點結論成立。對高度為 $h$ 的黑棋節點，樹中至少存在一個子節點為黑棋可選行動，依歸納假設該子節點可保證勝利，故黑棋節點可勝。

對高度為 $h$ 的白棋節點，所有合法有效白棋回應均被列入，且每一子節點依歸納假設都仍是黑棋可勝，故不論白棋選擇何手，黑棋都能獲勝。

因此根節點 $s_0$ 為黑棋必勝。證畢。

\Box

十、既有五子棋求解究竟提供了什麼證明

10.1 結果層

歷史求解建立了兩種十五路五子棋變體的黑棋必勝樹。研究報告指出：

使用威脅空間搜尋尋找深層強制勝線；
當威脅空間搜尋不能完成證明時，啟動證明數搜尋；
從初始局面建立搜尋樹；
對白棋可能具有防守價值的回應進行檢查；
將子樹結果合併為最終解答；
檢查解答樹的一致性與完備性；
對兩種變體都找到並保存黑棋必勝樹。

因此，其結果不是「程式大多數時候能贏」，而是：

\exists \mathcal P_c, \qquad \mathcal P_c \vdash \operatorname{BlackWin}

其中 $\mathcal P_c$ 是以中央首手為初始條件的證明樹。

10.2 它是變相的幾何證明嗎？

是，但需要分層表述。

它直接證明：

\boxed{ \text{中央首手可以被嵌入一個完整先手必勝策略。} }

它間接顯示：

\boxed{ \text{中央的幾何位置沒有造成圍棋式的包絡內點障礙。} }

而且，必勝樹中的威脅序列具體實現了：

\text{多方向線性潛力} \to \text{威脅生成} \to \text{防守分支壓縮} \to \text{雙重威脅} \to \text{五連}

所以既有結果可以視為本文幾何理論的構造性實例。

但它不能單獨證明：

中央是唯一必勝首手；
最大勝線度數足以推出必勝；
所有中央高階點都必勝；
所有棋盤尺寸與五子棋規則都具有相同結果；
任意一維連線遊戲都由中心先手必勝。

10.3 結果證明與原因證明

可區分：

結果證明

V(c)=\operatorname{Win}

原因解釋

V(c)= f\left( d_5(c), \kappa(c), \tau_{\max}(c), D_{\mathrm{force}}(c), R_{\mathrm{boundary}}(c) \right)

其中：

$d_5(c)$ ：通過中央的候選勝線度數；
$\kappa(c)$ ：勝線的交叉與獨立結構；
$\tau_{\max}(c)$ ：可達威脅系統的最大防守擊中數；
$D_{\mathrm{force}}(c)$ ：達成不可兼防的最短強制深度；
$R_{\mathrm{boundary}}(c)$ ：邊界對延伸路徑的截斷程度。

既有求解主要完成第一部分；本文提出第二部分的形式化方向。

十一、中心不是單純的距離中心，而是證書生成中心

11.1 幾何中心性不足

歐氏距離中心可定義為：

C_{\mathrm{metric}}(p) = -\sum_{q\in B_n} d(p,q)

但五子棋並不依賴到所有棋盤點的距離，因此距離中心不是最直接的價值量。

更重要的是勝線中心性：

C_{\mathrm{line}}(p) = \deg_{\mathcal H_5}(p)

以及威脅中心性：

C_{\mathrm{threat}}(p) = \mathbb E \left[ \tau_{\max} \mid p_1=p \right]

11.2 共享節點與多向分叉

中央棋子可以同時參與：

水平線；
垂直線；
主對角線；
副對角線。

形式上：

c\in L_h\cap L_v\cap L_{d_1}\cap L_{d_2}

這使同一枚棋子可以被多個後續威脅重用。

如果每個威脅都完全需要不同棋子，攻方建設成本很高；若多條勝線共享既有棋子，則每新增一手可能同時提高多個方向的威脅階數。

定義單手威脅增益：

\Delta \Theta(p\mid s) = \left| \mathcal T(s\oplus p) \right| - \left| \mathcal T(s) \right|

中央附近的交叉點可能使：

\Delta\Theta(p\mid s)>1

即一手同時生成多個方向的威脅。

11.3 一手多用原理

原理：一手多線重用

若棋子 $p$ 同時屬於多條尚未被阻斷的候選勝線，则该棋子的建設成本可被多條線共同分攤。

可定義重用率：

\rho(p\mid s) = \left| \left\{ L\in\mathcal L_5: p\in L, L\text{ 尚可完成} \right\} \right|

中央的高 $\rho$ 值，使其更容易作為威脅網絡的共同基底。

十二、圍棋天元與五子棋中央的形式對偶

12.1 圍棋天元：包絡內點

在圍棋幾何模型中，若天元 $c$ 被後續外圍點包在凸包內：

c\in\operatorname{conv}(S)

則：

\operatorname{conv}(S\cup\{c\}) = \operatorname{conv}(S)

因此：

\Delta A_{\mathrm{envelope}}(c)=0

若強迫有效邊界經過 $c$ ，可能產生：

L_{\mathrm{indent}}(c)>0

12.2 五子棋中央：勝線高階點

在五子棋勝線超圖中：

\deg_{\mathcal H_5}(c) = d_5^{\max}

中央不是被外包絡吞沒的冗餘點，而是可以同時參與多條超邊的高階節點。

12.3 對偶表

幾何性質	圍棋	五子棋
主要勝利對象	二維控制區域	一維連續勝線
中央的角色	包絡內點	勝線高階點
邊界作用	免費封閉資源	延伸截斷限制
主要效率量	面積增益／閉合成本	勝線度數／威脅交疊
強制機制	包圍、死活、厚薄	四、活四、雙重威脅
證明形式	全局控制與終局比較	有限勝利證書樹

12.4 幾何維度反轉原理

原理：致勝維度反轉

設遊戲 $G$ 的主要致勝幾何對象維度為 $d_G$ 。同一棋盤內點 $c$ 的價值，取決於它是否能增加該維度下的有效結構。

對圍棋：

d_G=2

且中央內點不增加外包絡面積。

對五子棋：

d_G=1

且中央內點提高候選線與交叉威脅容量。

因此：

\boxed{ \text{對高維包絡為冗餘的內點， 可以對低維證書族成為高階交點。} }

十三、從既有證明樹反推幾何不變量

13.1 為什麼還需要新理論？

既有必勝樹回答：

黑棋如何從指定初始局面必勝？

但它未必直接回答：

哪些幾何量使這套必勝法成立？

若要把特定求解提升為一般理論，需要從證明樹抽取可比較的不變量。

13.2 建議抽取的量

1. 首手勝線度數

d_5(p)

2. 有效勝線度數

扣除已被對方占據而永久失效的線：

d_5^{\mathrm{eff}}(p\mid s) = \left| \left\{ L\ni p: L\cap S_W=\varnothing \right\} \right|

3. 勝線獨立度

衡量候選線的防守點是否高度重合：

I_{\mathrm{line}}(\mathcal L)

若不同線可被同一防守點同時破壞，獨立度低；若需要不同防守點，獨立度高。

4. 威脅擊中數

\tau(\mathcal T(s))

5. 強制深度

從局面 $s$ 到不可兼防狀態的最短強制步數：

D_{\mathrm{force}}(s) = \min \left\{ t: \tau(\mathcal T(s_t))>1 \right\}

6. 防守分支熵

H_D(s) = -\sum_{m\in A_{\mathrm{eff}}^D(s)} P(m)\log P(m)

強制威脅會使：

H_D(s)\downarrow

7. 威脅重用率

\rho_{\mathrm{reuse}}(s) = \frac{ \text{參與兩條以上威脅的攻方棋子數} }{ |S_A| }

13.3 結構解釋模型

可提出：

V(p) = F\left( d_5(p), I_{\mathrm{line}}(p), D_{\mathrm{force}}(p), \tau_{\max}(p), H_D(p), \rho_{\mathrm{reuse}}(p) \right)

這不是簡單線性模型，而是一個由局面演化與對抗反應共同決定的函數。

十四、可驗證的研究方案

14.1 證明樹資料化

將既有或重新求解的必勝樹轉換為資料集。每個節點記錄：

棋盤狀態；
輪到哪一方；
候選勝線數；
有效勝線數；
威脅類型；
防守點集合；
最小擊中數；
到終局的證明深度；
是否為 AND 或 OR 節點；
使用的規則變體。

14.2 比較不同首手

對每個首手 $p$ ，定義：

\mathcal G_p

為以 $p$ 為根的博弈樹。

比較：

d_5(p),\quad D_{\mathrm{force}}(p),\quad \tau_{\max}(p),\quad |\mathcal P_p|

其中 $|\mathcal P_p|$ 是最小必勝證明樹規模。

如果多個首手皆必勝，仍可比較其證明複雜度：

C_{\mathrm{proof}}(p) = \min_{\mathcal P_p} |\mathcal P_p|

天元可能不是唯一必勝點，卻可能具有較小證明樹或較短強制深度。

14.3 對照實驗

可設計：

中央首手；
中央高勝線度平台內的非天元點；
靠近邊界的中度點；
邊線點；
角附近點。

控制相同規則與搜尋資源，測量：

\operatorname{Outcome}(p)

以及：

C_{\mathrm{proof}}(p)

這可以區分：

是否必勝；
是否容易證明；
是否具有較高威脅效率；
是否只是因規則指定中央首手而被歷史求解優先研究。

14.4 形式化驗證

必勝證書可以輸出為：

AND–OR 樹；
可重播棋譜與分支資料庫；
SAT／SMT 證書；
Lean 4 或 Coq 可檢查的遞迴策略證明；
雜湊鏈與節點內容指紋。

理想驗證器只需確認：

每手合法；
黑棋節點所選手存在；
白棋所有合法有效反駁均被覆蓋；
葉節點符合五連勝利條件；
無循環或遺漏分支；
規則版本固定且可追溯。

十五、與規則約束計算框架的統合

15.1 合法域不等於有效域

五子棋任一時刻的合法落點可能很多：

A_{\mathrm{legal}}(s) = B_n\setminus(S_B\cup S_W)

但在威脅序列中，真正能改變證明結果的有效手遠少於合法手：

A_{\mathrm{proof}}(s) \subseteq A_{\mathrm{legal}}(s)

15.2 證明域過濾器

定義：

C_{\mathrm{proof}}(m,s) = \begin{cases} 1, & m\text{ 能延續攻方證書或反駁其證書},\\ 0, & \text{其他情況}. \end{cases}

則：

A_{\mathrm{proof}}(s) = \left\{ m\in A_{\mathrm{legal}}(s): C_{\mathrm{proof}}(m,s)=1 \right\}

威脅空間搜尋所做的工作，就是找出高可信的：

A_{\mathrm{proof}}(s)

證明數搜尋則在 AND–OR 樹上優先擴展最接近被證明或反證的節點。

15.3 從統計勝率到形式證書

一般棋力 AI 估計：

P(\operatorname{Win}\mid s)

但求解器的目標是判定：

V(s)\in \{ \operatorname{Win}, \operatorname{Draw}, \operatorname{Loss} \}

並提供證書：

\mathcal P_s \vdash V(s)

所以，五子棋的歷史求解也是「從統計評估到規則約束證明域」的典型案例。

十六、理論限制

16.1 中央度數不是充分條件

最大勝線度數只表示候選線多，不保證能突破對手的最佳封堵。

因此：

d_5(c)=d_5^{\max} \nRightarrow V(c)=\operatorname{Win}

必勝仍需完整策略證明。

16.2 中央不是唯一最大度數點

在十五路棋盤中，若一點在每個基本方向的兩側都保有至少四格延伸空间，它同樣可以在每一方向屬於五條五連線段。

所以：

\exists p\neq c: d_5(p)=d_5(c)

本文不以局部度數宣稱天元唯一性。

16.3 歷史規則不等於所有現代規則

禁手、交換規則與不同開局限制會改變：

合法動作集合；
黑白對稱性；
威脅類型；
超邊合法性；
博弈值。

任何新求解都應明確標示規則版本。

16.4 圍棋模型也是抽象

圍棋不只是凸包與面積；五子棋也不只是線段數。兩種模型都是提取最主要幾何結構，而非取代完整規則。

16.5 必勝證書不等於人類可理解原因

一棵大型證明樹可以正確，卻仍難以提供簡潔理論。本文的任務正是把大量分支壓縮為少數結構不變量。

十七、主要命題總結

命題一：邊界作用反轉

\boxed{ \text{圍棋邊界降低封閉成本； 五子棋邊界降低勝線容量。} }

命題二：致勝維度反轉

\boxed{ \text{二維包絡的內點， 可以是一維勝線族的高階交點。} }

命題三：中央首手構造性存在

若存在以中央首手局面 $s_c$ 為根的有限完備必勝樹：

\mathcal P_c \vdash \operatorname{BlackWin}

則：

\exists\pi_B^* \forall\pi_W: \operatorname{Outcome} (s_c,\pi_B^*,\pi_W) = \operatorname{BlackWin}

命題四：防守預算失配

若：

\tau(\mathcal T(s))>1

且每個未防威脅均可在下一手完成五連，則守方無法兼防。

命題五：結果證明不等於唯一性證明

V(c)=\operatorname{Win}

不能推出：

\forall p\neq c,\quad V(p)\neq\operatorname{Win}

猜想：中央威脅證書效率猜想

在固定十五路非限制或恰五規則下，中央高勝線度區域相較於近邊界區域，通常具有較低的最小強制深度與較小的必勝證明複雜度：

\mathbb E \left[ D_{\mathrm{force}}(p) \mid p\in C \right] < \mathbb E \left[ D_{\mathrm{force}}(p) \mid p\in E \right]

以及：

\mathbb E \left[ C_{\mathrm{proof}}(p) \mid p\in C \right] < \mathbb E \left[ C_{\mathrm{proof}}(p) \mid p\in E \right]

其中 $C$ 是中央高勝線容量區， $E$ 是邊界截斷顯著區。

此猜想需重新求解多個不同首手後驗證。

結論

圍棋第一手天元的低效率與五子棋中央首手的必勝可行性並不矛盾。矛盾只會在我們誤以為「相同棋盤座標應具有相同跨遊戲價值」時出現。

圍棋的主要幾何目標是二維控制域。天元作為嚴格內點，若被外圍包絡包含，便不增加最大外包絡；若被迫成為外部邊界的一部分，則使邊界向內凹入。棋盤邊界在圍棋中是免費資源，因此角與邊可以降低封閉成本。

五子棋的主要幾何目標則是一維勝線。中央不需要擴張二維外包絡，而需要支撐最多且最可交叉的線性證書。棋盤邊界在此不提供免費完成條件，反而截斷線段延伸。中央因而具有高勝線度、雙向延伸與多方向威脅重用的優勢。

既有十五路五子棋求解提供了一份重要證據：研究者從中央首手的初始局面出發，以威脅空間搜尋與證明數搜尋建立黑棋必勝樹。这是一個構造性存在證明：

\boxed{ \text{中央首手可以展開成對任何合法防守都有效的必勝策略。} }

但它沒有單獨證明中央是唯一必勝首手。本文的理論工作，是將該結果重新解釋為勝線超圖與防守預算問題：

\boxed{ \text{高勝線容量} \to \text{多向威脅重用} \to \text{守方有效域收縮} \to \text{最小防守擊中數超過一} \to \text{不可兼防} }

因此，五子棋必勝法確實是一種「變相證明」，但需要精確地說：

它是中央首手可必勝的構造性結果證明；而勝線超圖、威脅交疊與防守預算失配，則是對該結果的結構原因證明。

兩者結合後，我們不只知道五子棋先手能贏，也開始知道：為什麼同樣位於世界中央的第一顆棋，在圍棋中可能切掉包絡世界，在五子棋中卻能成為多條致勝世界線共同展開的起點。

參考文獻

Allis, L. V., van den Herik, H. J., & Huntjens, M. P. H. (1993). Go-Moku Solved by New Search Techniques. AAAI Fall Symposium Technical Report FS-93-02.
Allis, L. V. (1994). Searching for Solutions in Games and Artificial Intelligence. Doctoral dissertation, Maastricht University. DOI: 10.26481/dis.19940923la.
Allis, L. V., van der Meulen, M., & van den Herik, H. J. (1994). “Proof-number search.” Artificial Intelligence, 66(1), 91–124. DOI: 10.1016/0004-3702(94)90004-3.
Allis, L. V., van den Herik, H. J., & Huntjens, M. P. H. (1996). “Go-Moku solved by new search techniques.” Computational Intelligence, 12(1), 7–24.
Neo.K（許筌崴）。（2026）。《天元內點損失原理：圍棋作為幾何矩陣圈選博弈的第一手結構性劣勢》。一言諾科技有限公司。
Neo-K。（2025）。《規則約束計算框架：從規則約束收斂到受限域統計的完整體系》。一言諾科技有限公司。
Neo.K（許筌崴）。（2026）。《圍棋AI的第三次革命：從規則過濾到拓撲坍塌》。TopoGo 1.0，一言諾科技有限公司。