组合数学（一）.pptVIP

组 合 数 学 ( 一 ) 李 子 星内 容 提 要组 合 游 戏 ? 巴什博弈 ? 威佐夫博弈 ? 尼姆博弈 ? 有向图游戏与有向图游戏的和与SG 函数 ? 反尼姆博弈与反组合游戏 ? 继续探讨ICG 的和组 合 游 戏 组合游戏 (Combinatorial Games),又称为 “Impartial Combinatorial Games” (以下简称ICG )。 满足以下条件的游戏是ICG : (1 )有两人参与游戏,轮流做出决策,两人都最理 性得追求胜利 (2 )两名选手交替做出决策,无法做出决策的人失 败,然后游戏结束。 (3 )游戏总能在有限次决策后结束 (4 )游戏的同一个状态不会多次抵达 (5 )任意一个游戏者在某一确定状态可以作出的决 策集合只与当前的状态有关,而与游戏者无关组 合 游 戏 定 义“ 先 手 必 败” 状 态 ( 必 败 态 ) , 和“ 先 手 必 胜” 状 态 ( 必 胜 态 ) : (1 ) 无 法 进 行 任 何 移 动 的 局 面 是 必 败 态 ; (2 ) 可 以 移 动 到 必 败 态 的 局 面 是 必 胜 态 ; (3 ) 所 有 移 动 都 导 致 必 胜 态 的 局 面 是 必 败 态 。 按 照 这 个 定 义 , 如 果 局 面 不 可 能 重 现 , 那 么 每 个 状 态 或 者 是 必 胜 态 或 者 是 必 败 态 , 而 且 可 以 通 过 定 义 计 算 出 来 。巴 什 博 弈 【 问 题 一 】 有 一 堆n 个 物 品 , 两 个 人 轮 流 从 这 堆 物 品 中 取 物 , 规 定 每 次 至 少 取 一 个 , 最 多 取m 个 。 取 走 最 后 一 个 物 品 的 人 获 得 胜 利 。 问 先 手 是 否 必 胜 。巴 什 博 弈 这 显 然 是 一 个 组 合 游 戏 问 题 对 于 一 个 状 态 , 可 以 用 当 前 的 物 品 数x 来 唯 一 描 述 。 容 易 知 道 , 对 于 一 个 状 态x , 如 果x%m+10 , 那 么 这 个 状 态 肯 定 是 必 败 态 , 否 则 是 必 胜 态 。巴 什 博 弈 设 当 前 状 态 是x : 1. 如 果x0 , 那 么 显 然 这 是 一 个 必 败 态 2. 如 果x%m+10 , 即0x%m+1m , 那 么 取 走x%m+1 件 物 品 后 得 到 的 状 态 就 是 一 个 模m+1 等 于0 的 状 态 3. 如 果x%m+10 , 那 么 不 管 怎 么 取 , 都 一 定 是 移 动 到 一 个 模m+1 不 等 于0 的 状 态 这 三 条 分 别 对 应 了 必 败 必 胜 态 定 义 的 三 条 所 以 状 态x 是 必 败 态 当 且 仅 当 若x%m+10威 佐 夫 博 弈 【 问 题 二 】 有 两 堆 各 若 干 个 物 品 , 两 个 人 轮 流 从 某 一 堆 或 同 时 从 两 堆 中 取 同 样 多 的 物 品 , 规 定 每 次 至 少 取 一 个 , 多 者 不 限 , 取 走 最 后 一 颗 石 子 的 人 获 得 胜 利 。 问 先 手 是 否 必 胜 。威 佐 夫 博 弈 从 性 质 入 手 : 令 必 败 二 元 组 为a, b 形 式 (ab ) , 并 由 必 胜 必 败 态 性 质 , 有 这 样 两 个 推 论 : 推 论 一 : 对 于 任 意 两 个 的 必 败 二 元 组a ,b 和 1 1 a ,b , 有a a ,b b ,a b ,a b 。 2 2 1 2 1 2 1 2 2 1 推 论 二 : 对 于 任 意 两 个 的 必 败 二 元 组a ,b , 1 1 a ,b , 有b -a b -a 。 即 , 所 有 必 败 二 元 2 2 1 1 2 2 组 的 两 元 之 差 的 绝 对 值 必 定 各 不 相 同 。威 佐 夫 博 弈 利 用 性 质 和 推 论 , 可 以 证 明 如 下 结 论 : 将 必 败 二 元 组 按 首 元 为 关 键 字 排 序 , 每 个 必 败 二 元 组 中 首 元 为 未 在 前 面 的 必 败 二 元 组 中 出 现 的 最 小 正 整 数 , 并 且 第 N 组 中 两 个 数 差 为 N 。威 佐 夫 博 弈 可以利用数学归纳法证明:前两组为0, 0 和1, 2 ,显然符合前述的结论若第0 组到第N 组都与前述的结论相符,则:设未在第0 到第N 组中出现的最小正整数为M ,考察二元组M,M+N+1 ? 如 果 选 择 从 数 量 为M 的 堆 中 取 石 子 , 不 妨 设 变 成 了M-X,M+N+1 , 而 M+N+1-M-XN+