六貫棋(英語:Hex)是在六邊形格的棋盤上玩的圖版遊戲,亦是數學遊戲,通常使用10乘10或11乘11的菱形棋盤(約翰·納什則採用14×14的棋盤)。

Hex - The Zig-Zag Game - Parker Brothers - 1950
六貫棋的常見擺法,除了橫擺(見下圖)和這種擺法、外,六貫棋亦可 擺成矩形頁面存檔備份,存於互聯網檔案館)。

計算複雜性理論,六貫棋的複雜性已證明了是PSPACE完全的。(注意不少抽象策略遊戲國際跳棋象棋圍棋都是EXPTIME完全。)

11×11的六貫棋棋盤

歷史

六貫棋最初在丹麥數學家海恩於1942年12月26日在丹麥報紙Politiken發表的一篇文章裏出現,當時稱為Polygon。1948年,約翰·福布斯·納什重新獨立發明了它。追隨納希的玩家最初稱這個遊戲為Nash。後來1952年Parker Brothers發行了一個版本,將它稱為Hex,從此這個名字就定了下來。

規則

 
一種藍方獲勝的情況

六貫棋由兩個人一起玩,有兩種顏色,通常是紅、藍或黑、白。四個邊平行填上兩方的顏色。雙方輪流下,每次佔領一處空白格,在空白格放上自己顏色的棋子(或填上自己的顏色)。最先將棋盤屬於自己的顏色的邊連成一線的一方為勝。

由於先行的一方有極大的優勢,所以有人發明了交換(Swap,或Pie rule)這個規矩。

必勝策略

約翰·納什證明了六貫棋不可能有和局:讓對方無法取勝的充分必要條件就是己方形成了一條連接對邊的通路。可以說,六貫棋是一種確定的遊戲。

六貫棋的棋盤通常是n×n,雖然兩邊不相等的棋盤是可行的,但兩邊之間距離較小的一方必勝。

在n×n的棋盤,先手有必勝策略。證明:

1.因為這個遊戲滿足
  • 在有限次數內結束
  • 只有兩種結果(先手勝或後手勝)
  • 棋手移動時有有限的選擇,且爲完美信息博弈
根據博弈論策梅洛定理,其中一個棋手必有必勝路線。
2.若後手有必勝策略,先手可以隨便走一步,然後對後手的每一步棋使用後手必勝策略。若在某一步時的必勝走法是之前任意走的那步棋,則再隨便走一步,以此類推。考慮後手的最後一步,由於先手使用的是後手必勝策略,那麼最後一步必定只有一種走法,此即為先前任意走的那步棋。這將使先手獲勝導致矛盾,因此必存在先手必勝策略。

棋盤大小為3至5的六貫棋都可以人手找到先行一方的必勝路線。

相關遊戲

外部連結

程式