《组合游戏略述——浅谈sg游戏的若干拓展及变形》由会员分享，可在线阅读，更多相关《组合游戏略述——浅谈sg游戏的若干拓展及变形（24页珍藏版）》请在金锄头文库上搜索。
1、IOI2009 中国国家集训队论文 贾志豪 石家庄二中 第 1 页 共 24 页 组合游戏略述组合游戏略述 浅谈浅谈 SGSG 游戏的若干拓展及变形游戏的若干拓展及变形 石家庄二中 贾志豪 前言前言 组合游戏是近几年新兴起的博弈游戏， 随着张一飞学长关于组合游戏的论文 的面世，组合游戏问题开始在国内信息学竞赛这片沃土上生根发芽，与大家一起 成长、成熟、成才。最为马上要离开高中信息学舞台的高三学生，我一直希望能 为学弟学妹们留下一些我自己的心得，于是这篇论文应运而生！ ！ ！ 这篇论文的一些思想是我早在一年前节开始构思的， 感谢计算机学会为我提 供这样一个舞台，能让我的论文为更多的人所知道；同时
2、感谢在我写论文时无私 帮助过我的所有人，谢谢你们！ ！ ！ 先介绍一下论文的主要内容：第一章作为论文的理论基础，主要从欣赏的角 度引入了 SG 函数、游戏图、NIM 游戏等概念，重点谈我对组合游戏尤其是 SG 函 数的体会、理解；第二章主要介绍了几种不同规则的组合游戏以及相应的应对策 略，旨在告诉读者，游戏规则变化之后，我们应该如何去分析新的规则、解决新 的模型；第三章主要介绍了几种竞赛中常见的组合模型，并将“她”们成功的转 化成了 NIM 模型。 鉴于这篇论文的内容较多，在这里给读者提供一些阅读建议：第一章由于篇 幅原因，并没有给出 SG 函数、NIM 游戏解法的详细证明过程，对于刚刚接触组
3、 合游戏的读者，建议先阅读一些关于 SG 函数的资料（张一飞关于博弈游戏的论 文1、王晓柯关于组合游戏的论文2就很不错） ，然后再从论文的第一章看起，相信你一定会很有收获；第二、三章是论文的重头戏，如题目所言，分别谈 SG 游戏 的拓展和变形，对于钟情于组合游戏的读者，可以重点看一看第三章，相信一定 不会让你失望！ ！ ！ 这篇论文主要有两个特点： 基本没有例题但处处是例子。为了让读者更好的理解论文中的思想，笔 者在选题目的时候刻意将题目的背景剥掉，只剩下一个“光溜溜”的数 学模型，这样读者在阅读论文时，就不必花精力去考虑背景向模型的转 化，可以全身心去理解笔者想要传达的思想。但读者不必去担心
4、没有地 方练习，笔者将这几年的自己做过的组合游戏题收录在了论文的附录 里。 1由感性认识到理性认识透析一类搏弈游戏的解答过程 ，张一飞，国家集训队 2002 论文 2解析一类组合游戏 ，.王晓珂，国家集训队 2007 论文 IOI2009 中国国家集训队论文 贾志豪 石家庄二中 第 2 页 共 24 页 每一个模型都有详细的证明。大多数人在学习信息学时存在的问题是 “知其然，不知其所以然” ，因为大多数的比赛模式是只要求结果而不 要求过程。但这会使我们对一个事物“只知表皮，不知深髓” ，如果将 一个我们知道的问题稍加变形的话，我们可能就不会了。这个问题在组 合游戏中体现得尤其突出。因此笔者对于
5、文中的每一个定理都给出了证 明，希望读者对文中的思想“知其然，知其所以然” 。 为了方便大家阅读，我将论文中所有的定理表述做成了“HELLO WORLD”将 所有的定义表述做成了“HELLO WORLD” ，希望这样的改动能引起大家的注意和兴 趣。IOI2009 中国国家集训队论文 贾志豪 石家庄二中 第 3 页 共 24 页 目录目录 感谢4 Chapter 1 5 1.1 本论文讨论的范围 5 1.2 组合游戏中状态空间向图的转化 6 1.3简介 SG函数6 1.4定义NIM-模型 7 Chapter 2 9 2.1 走完最后一步者输Anti-SG 游戏和 SJ 定理9 2.2可以将一堆石
6、子分成多堆Multi-SG游戏 14 2.3每一个可以移动的棋子都要移动Every-SG游戏 14 Chapter 318 3.1 翻硬币游戏 18 3.2 无向图删边游戏 19 3.2.1 树的删边游戏 19 3.2.2 Christmas Game(PKU3710) 21 3.2.3 无向图的删边游戏 23 参考资料 24 附录 24 关键字关键字 SG 函数 NIM 模型 Anti 游戏 Multi 游戏 Every 游戏 翻硬币游戏 删边游戏 证明 拓展 IOI2009 中国国家集训队论文 贾志豪 石家庄二中 第 4 页 共 24 页 感谢感谢 谨以此论文献给： 我的初中同班同学，集训
7、队队员，对 ppt 内容提出宝贵意见的李骥扬同学 我的高中同班同学，集训队队员，给论文指出多处缺点的武森同学 我的学长，北京大学学生，认真修改过我论文 ppt 的周先达同学 我的学长，复旦大学学生，认真阅读过论文修订版的杨敏达同学 在我生病时送我去医院，认真辅导我信息学的韩日旺老师 在我上高一时及时指出我的缺点，辛勤辅导我信息学的李晶老师 与我交流论文内容的唐文斌、胡伟栋教练 向以上所有人表示我最诚挚的谢意！ ！ ！向以上所有人表示我最诚挚的谢意！ ！ ！ 谢谢所有在我信息学道路上对我有帮助的人！ ！ ！谢谢所有在我信息学道路上对我有帮助的人！ ！ ！ IOI2009 中国国家集训队论文 贾志
8、豪 石家庄二中 第 5 页 共 24 页 Chapter 1 1.11.1 本论文讨论的范围本论文讨论的范围 本论文主要讨论一类组合游戏问题的解法，这列问题具有如下特征： 游戏有两个人参与，二者轮流做出决策。且这两个人的决策都对 自己最有利。 当有一人无法做出决策时游戏结束，无法做出决策的人输。无论 二者如何做出决策，游戏可以在有限步内结束。 游戏中的同一个状态不可能多次抵达。且游戏不会有平局出现。 任意一个游戏者在某一确定状态可以作出的决策集合只与当前 的状态有关，而与游戏者无关。 这样一类游戏可以用 SG 函数解决，我们将其称之为 SG-组合游戏。 对“最有利”的解释：本文所说的最有利，是
9、指对于当前要做出决 策的游戏者，如果他存在一种决策，使得后手进入到一个无论怎样做出 决策都一定会输的的状态，那么结局一定是当前的游戏者胜！ 中国有句古话“智者千虑，必有一失” ，而组合游戏中的游戏者 却可以做到“运筹帷幄，决胜千里” 。不得不说，正是组合游戏中的“智 者”吸引着我们去探索、发觉组合游戏中的魅力！ 1.2 组合游戏中状态空间向图的转化组合游戏中状态空间向图的转化 我们可以将组合游戏中的每一个状态抽象成图中的一个点，将每一步决策抽象成图中的一条边。我们将这个图称为该组合游戏的游戏图。 这样，对于组合游戏中的每一次对弈，我们都可以将其抽象成游戏 图中的一条从某一顶点到出度为 0 的点
10、的路径。 组合游戏向图的转化，并不单单只是为了寻找一种对应关系，它可IOI2009 中国国家集训队论文 贾志豪 石家庄二中 第 6 页 共 24 页 以帮助我们淡化游戏的实际背景，强化游戏的数学模型，更加突出游戏 的数学本质！ 1.3 简介简介 SG 函数函数 SG 函数是对游戏图中每一个节点的评估函数。它的定义如下： | )()(的边到图中有一条从uvufmexvf 其中，mex（minimal excludant）是定义在整数集合上的操作。它的 自变量是任意整数集合，函数值是不属于该集合的最小自然数。 |minNkAkkmex 事实上，所有的 SG-组合游戏都存在相应的游戏图，我们完全可以
11、 根据游戏图的拓扑关系来逐一算出每一个状态点的 SG 函数（事实上我 们只需要知道该状态点的 SG 函数值是否为 0） 。这样，我们就可以知道 对于某一个状态，是先手必胜局还是先手必败局。这是不是说明我们已 经将 SG-组合游戏完满解决了呢？ 显然不是！ ！ ！ 因为我们不光要考虑算法的正确性，还要考虑算法的时空开销，而 上述方法显然没有考虑算法的时空开销，上述方法的瓶颈在于没有充分 利用 SG-组合游戏问题的特殊性质。 我们先引出游戏的和的概念。 定义定义 游戏的和：考虑任意多个同时进行的 SG-组合游戏，这些 SG-组合游 戏的和是这样一个 SG-组合游戏，在它进行的过程中，游戏者可以任意
12、 挑选其中的一个单一游戏进行决策，最终，没有办法进行决策的人输。 上述方法在计算 K 个单一 SG-组合游戏的和时，所消耗的时间、空 间复杂度是分别计算这 K 个单一 SG-组合游戏所消耗的时间、空间复杂 度的乘积。 IOI2009 中国国家集训队论文 贾志豪 石家庄二中 第 7 页 共 24 页 但如果我们能更好的利用 SG-组合游戏的性质的话，我们可以将上 一段的最后一字“积”改成“和” 。这就是我们继续研究 SG- 函数的意义，也是这篇论文的意义所在。 最后我们直接给出 SG 函数的性质： （1）对于任意的局面，如果它的 SG 值为 0，那么它的任何一个后 继局面的 SG 值不为 0；
13、（2）对于任意的局面，如果它的 SG 值不为 0，那么它一定有一个 后继局面的 SG 值为 0。 1.4 定义定义 NIM-模型模型 为了不使读者对本篇论文失去兴趣，我特意将介绍取石子游戏的内 容换成小字，对这部分内容已经很熟悉的读者可以直接略过。 取石子游戏即著名的 nim 游戏，游戏规则如下： 桌子上有 N 堆石子，游戏者轮流取石子。 每次只能从一堆中取出任意数目的石子，但不能不取。 取走最后一个石子者胜。 这道题每一堆石子的 SG 函数值很显然为该堆石子的数目，根据 SG 函数的特点，最后所有堆石子的 SG 函数的和 nSGSGSGtotSG_.2_1_ 最后，先手胜当且仅当该值为 0。
14、证明从略。 取石子游戏虽然是组合游戏中一道最基础的题目，但是它却代表了 一类经典的组合模型。 事实上，每一个简单 SG-组合游戏都可以完全等效成一堆数目为 K 的石子，其中 K 为该简单游戏的 SG 函数值。这样的等效是充要的。 定理定理 在我们每次只能进行一步操作的情况下，对于任何的游戏的和，我 们若将其中的任一单一 SG-组合游戏换成数目为它的 SG 值的一堆石子， 该单一 SG-组合游戏的规则变成取石子游戏的规则（可以任意取，甚至 取完） ，则游戏的和的胜负情况不变。 IOI2009 中国国家集训队论文 贾志豪 石家庄二中 第 8 页 共 24 页 这是 SG 函数的基本性质，证明可参阅相关资料。 定理的一个变形是：若只考虑游戏的和，我们可以将其中的任一游 戏换成 SG 值相等的其他游戏，游戏的和的 SG 函数值不变。 定理告诉我们，在考虑游戏的和时，每一个单一游戏的具体细节是 可以被忽略的，我们所关心的只是 SG 函数值。所以我们可以将组成它 的所有子游戏换成相应数目的一堆石子。这样，所有的游戏的和都等价 成 nim 游戏。 为了以后论文的方便，我们将以后的所有例题都抽象成 NIM-模型。 抽象成 NIM-模型后，剩下的问题就是我们所熟悉的
