【專欄﹒靈機一動】 【作者﹒萬精油】

介 紹 HEX 游 戲

萬精油


    有 讀 者 來 信 說 我 們 這 個 專 欄 最 近 几 期 的 文 章 都 與 專 欄 欄 目 不 符 。 說 是 文 章 與 題 目 沒 有 直 接 聯 系 。 其 實 , 我 的 理 解 是 , 靈 機 一 動 并 不 一 定 非 要 做 題 目 。 許 多 事 情 和 觀 點 寫 出 來 , 不 管 正 確 與 否 , 如 果 能 引 起 大 家 的 思 考 , 就 算 達 到 了 我 們 的 目 的 。 如 果 真 要 往 題 目 上 拉 的 話 , 現 實 生 活 的 許 許 多 多 問 題 都 可 以 算 成 是 題 目 。 所 以 , 以 后 這 個 專 欄 里 的 文 章 以 雜 論 為 主 , 不 以 題 目 為 主 。 當 然 , 我 們 每 期 的 題 目 盡 可 能 接 近 當 期 文 章 的 主 題 。

    話 交 代 完 了 , 但 我 們 也 不 能 完 全 不 理 采 讀 者 的 意 見 。 所 以 本 期 就 來 一 次 以 題 目 為 主 , 就 題 目 做 文 章 。 下 不 為 例 。 本 期 的 題 目 是 關 于 H E X 的 , 所 以 我 們 就 來 介 紹 一 下 H E X 這 個 游 戲 。

    下 圍 棋 累 了 就 連 五 子 , 打 橋 牌 困 了 就 敲 三 先 , 愛 玩 的 人 常 常 是 逮 什 么 玩 什 么 。 五 年 前 一 個 圍 棋 棋 友 教 我 一 種 新 棋 , 英 文 名 叫 H E X 。 此 棋 看 似 簡 單 ( 大 約 是 人 類 發 明 的 棋 類 游 戲 中 規 則 最 簡 單 的 了 ) , 個 中 卻 奧 妙 無 窮 。 象 圍 棋 一 樣 , 它 也 有 定 式 , 手 筋 , 引 征 等 等 等 等 。 我 想 讀 者 中 一 定 有 不 少 人 會 對 它 感 興 趣 ( 尤 其 是 喜 歡 下 圍 棋 的 網 友 ) , 所 以 在 這 里 給 大 家 介 紹 介 紹 :

HEX游戲     一 個 菱 形 被 分 為 N 乘 N 個 小 六 邊 形 ( 見 附 圖 ) 。 通 常 N = 1 1 , 也 可 以 到 1 5 。 黑 白 雙 方 輪 流 下 子 占 據 這 些 小 六 邊 形 。 誰 先 使 自 己 所 下 的 棋 子 連 通 對 邊 誰 贏 ( 黑 方 連 上 下 邊 , 白 方 連 左 右 邊 ) 。

    這 個 游 戲 是 由 丹 麥 人 P I E T   H E I N 在 1 9 4 2 年 發 明 的 。 通 常 的 看 法 是 , 有 趣 而 又 規 則 簡 單 的 游 戲 早 已 被 人 發 明 完 了 ( 比 如 圍 棋 , 象 棋 之 類 的 ) , 新 游 戲 不 是 規 則 麻 煩 就 是 沒 意 思 。 但 H E X 卻 是 既 新 , 又 簡 單 , 又 有 趣 。 發 明 以 后 很 快 在 世 面 上 流 行 起 來 。 尤 其 是 在 數 學 家 中 間 。 P I E T   H E I N 是 一 個 很 神 奇 的 人 。 他 是 一 個 著 名 詩 人 , 同 時 又 是 一 個 政 治 活 動 家 。 而 他 本 行 卻 是 理 論 物 理 學 家 , H E X 就 是 他 在 波 爾 理 論 物 理 研 究 所 發 明 的 。 據 說 他 當 時 在 思 考 四 色 定 理 。

    這 個 游 戲 后 來 又 在 P R I N C E T O N 被 J O H N   N A S H ( 著 名 游 戲 論 專 家 , M I T 教 授 ) 發 明 。 所 以 H E X 在 P R I N C E T O N 與 M I T 也 很 流 行 。

    這 H E X 的 棋 盤 制 做 比 較 麻 煩 , 所 以 很 多 人 聽 說 此 棋 也 沒 機 會 下 。 五 年 前 我 聽 說 這 個 游 戲 后 寫 了 一 個 在 D O S 下 供 人 下 此 棋 的 程 序 , 有 興 趣 的 讀 者 可 去程 序 和 說 明 。 這 個 程 序 主 要 是 用 來 供 兩 人 互 下 , 也 有 一 點 人 工 智 能 , 使 人 可 以 跟 機 器 下 。 但 我 沒 找 出 太 好 的 思 路 , 所 以 這 部 分 很 差 。 本 來 准 備 有 時 間 重 新 寫 一 寫 這 一 部 分 , 但 一 直 沒 有 動 力 。 五 年 過 去 了 , 它 還 是 老 樣 子 。 在 網 上 搜 索 一 下 , 可 以 找 到 一 兩 個 寫 得 還 不 錯 的 程 序 。

【 本 期 題 目 】

A . 証 明 H E X 無 活 棋 。 也 就 是 說 即 使 兩 個 瞎 子 在 棋 盤 上 亂 下 , 最 終 必 然 有 一 方 會 贏 。 這 個 題 目 看 似 簡 單 , 但 要 說 清 楚 還 是 要 費 一 些 口 舌 的 。

B . 証 明 H E X 先 走 必 贏 。 有 人 要 說 , 既 然 先 走 必 贏 這 棋 還 有 什 么 意 思 。 所 謂 先 走 必 贏 只 是 說 存 在 一 種 方 法 使 得 先 走 的 一 方 必 贏 。 但 這 種 方 法 是 什 么 我 們 并 不 一 定 知 道 。 好 比 說 誰 都 知 道 存 在 一 種 方 法 使 得 射 擊 選 手 命 中 十 環 。 但 這 方 法 如 何 實 現 卻 不 是 很 明 顯 的 。 所 以 許 海 峰 拿 冠 軍 仍 然 是 很 不 簡 單 的 事 。

    答 案 和 討 論 可 以 貼 到 我 們 的 討 論 區


【 上 期 題 目 討 論 】

    上 期 的 問 題 正 如 我 在 原 題 中 所 說 , 沒 有 什 么 標 准 答 案 。 因 為 “ 公 平 ” 這 個 概 念 在 實 際 中 沒 有 准 確 定 義 。 從 理 論 上 講 , N 個 人 分 一 個 蛋 糕 , 每 人 N 分 之 一 就 是 公 平 。 但 N 分 之 一 只 是 一 個 理 論 數 字 , 實 際 上 是 不 可 能 嚴 格 做 到 的 , 因 為 沒 有 人 能 准 確 的 切 出 一 個 N 分 之 一 出 來 。 所 以 , 要 做 到 實 際 上 的 公 平 , 不 能 用 N 分 之 一 這 樣 的 抽 象 數 字 。 什 么 叫 實 際 上 的 公 平 呢 ? 每 個 人 的 定 義 不 一 樣 , 所 以 會 有 不 同 的 解 。

    一 個 我 認 為 可 以 接 受 的 “ 公 平 ” 定 義 是 : 如 果 每 個 人 都 認 為 自 己 沒 有 吃 虧 , 那 么 就 應 該 可 以 算 是 公 平 的 了 。 許 多 讀 者 也 認 為 這 種 定 義 比 較 合 理 , 所 以 按 照 這 個 定 義 給 出 了 一 些 解 。 其 中 的 一 個 解 說 : 由 一 個 人 拿 刀 從 小 往 大 慢 慢 移 動 , 大 家 認 為 有 N 分 之 一 的 時 候 就 可 以 停 下 來 。 如 果 移 動 太 快 , 超 過 N 分 之 一 , 還 可 以 往 回 移 。 最 后 停 下 的 位 置 就 可 以 下 刀 , 這 一 部 分 就 歸 他 , 剩 下 的 再 接 著 來 。 這 個 解 算 是 比 較 公 平 的 了 。 但 切 的 人 卻 不 能 控 制 自 己 這 一 塊 的 大 小 , 得 由 別 的 N - 1 個 人 來 決 定 , 也 不 能 算 絕 對 公 平 。 還 有 , 如 果 這 一 刀 斜 著 切 下 去 怎 么 辦 ?

    我 還 收 到 其 它 几 個 解 法 , 都 與 此 類 似 。

    有 一 個 我 從 前 見 過 的 解 法 , 雖 不 能 算 是 標 准 答 案 , 但 我 認 為 基 本 上 沒 有 什 么 漏 洞 。 任 意 找 一 個 人 切 出 他 認 為 是 N 分 之 一 的 一 塊 出 來 。 如 果 沒 人 反 對 , 那 么 他 就 得 到 這 一 塊 。 沒 人 反 對 說 明 別 人 認 為 合 理 , 因 為 是 他 自 己 切 的 , 他 自 己 也 不 應 該 不 滿 。 剩 下 的 N - 1 個 人 繼 續 以 此 方 法 分 。 如 果 有 人 認 為 切 出 的 這 塊 大 于 N 分 之 一 , 那 么 它 可 以 從 切 出 的 這 一 塊 中 切 掉 一 點 , 如 果 沒 人 反 對 , 則 他 就 得 剩 下 的 這 一 塊 。 如 果 有 人 反 對 , 則 反 對 的 人 可 以 再 切 掉 一 些 。 唯 一 的 要 求 是 , 誰 最 后 動 刀 , 誰 就 得 剩 下 的 這 一 塊 。 這 樣 一 來 , 每 一 個 人 對 每 一 塊 都 有 表 決 權 和 否 決 權 , 最 后 的 結 果 就 不 應 該 有 任 何 人 有 意 見 。

〔完〕

Please write your answer or discussion at our Discussion Board or using the following form or regular E-mail if you prefer.

Your E-mail Address:



(Posted on 98-11-25)

Column List | Issue Table | Front Page