标签：状态 游戏 必败 博弈论 后继 SG operatorname
博弈论
本篇几乎全文摘自 OI Wiki - 公平组合游戏 及学长的 PPT（
公平组合游戏
- 公平组合游戏的定义如下：游戏有两个人参与，二者轮流做出决策，双方均知道游戏的完整信息；
- 任意一个游戏者在某一确定状态可以作出的决策集合只与当前的状态有关，而与游戏者无关；
- 游戏中的同一个状态不可能多次抵达，游戏以玩家无法行动为结束，且游戏一定会在有限步后以非平局结束。
- 公平游戏具有一个重要的性质：如果一个游戏者能够将状态A变为状态B，那么另外一个游戏者必然也能实现这样的操作。
有向图游戏
- 任何一个公平组合游戏都可以通过把每个局势堪称一个顶点，对每个局势和它的子局势连一条有向边来抽象成这个"有向图游戏"。
一些概念
-
必胜态：先手必胜的状态
必败态：先手必败的状态
-
没有后继状态的状态是必败态。
一个状态是必胜态当且仅当存在至少一个必败态为它的后继状态。
一个状态是必败态当且仅当它的所有后继状态均为必胜态。
\(\operatorname{mex}\) 函数
- 定义 \(\operatorname{mex(S)}\) 的值为不属于集合 \(S\) 中的最小非负整数，即 \(\operatorname{mex(S)}=\min\{x\} (x\not\in S,x\in \mathbb{N})\)
SG 函数
-
对于状态 \(x\) 和它的所有 \(k\) 个后继状态 \(y_1,y_2,\dots,y_k\) ，定义
\(\operatorname{SG}(x)=\operatorname{mex}\{\operatorname{SG}(y_1),\operatorname{SG}(y_2),\dots,\operatorname{SG}(y_k)\}\)
SG 定理
-
对于 \(n\) 个有向图游戏组成的组合游戏，设它们的起点分别为 \(s_1,s_2,\dots,s_n\) ，则有定理：
当且仅当 \(\operatorname{SG}(s_1)\oplus\operatorname{SG}(s_2)\oplus\dots\operatorname{SG}(s_n)\not=0\) 时，这个游戏是先手必胜的。
同时，这是这个组合游戏的游戏状态的 SG 值。
SG 定理的性质
-
所有终结点对应的顶点，其 \(\operatorname{SG}\) 值为 \(0\) ，因为它的后继状态为空集。
即：所有的终结点都是必败点。
-
对于一个 \(\operatorname{SG}(X)=0\) 的顶点 \(X\) ，它的所有后继都无法满足 \(\operatorname{SG}(y)\not=0\) 。
即：无论如何操作，从必败点都只能进入必胜点。
-
对于一个 \(\operatorname{SG}(X)\not=0\) 的顶点，必定存在一个后继点 \(y\) 满足 \(\operatorname{SG}(y)=0\)。
即：从任何必胜点出发，至少有一种方法可以进入必败点。
SG 定理的应用
SG 定理适用于 任何公平的两人游戏 , 它常被用于决定游戏的输赢结果。
计算给定状态的 Grundy 值的步骤一般包括：
- 获取从此状态所有可能的转换；
- 每个转换都可以导致 一系列独立的博弈（退化情况下只有一个）。计算每个独立博弈的 Grundy 值并对它们进行 异或求和。
- 在为每个转换计算了 Grundy 值之后，状态的值是这些数字的 \(\operatorname{mex}\) 值。
- 如果该值为零，则当前状态为输，否则为赢。
标签：状态,游戏,必败,博弈论,后继,SG,operatorname 来源： https://www.cnblogs.com/burnling/p/16533305.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。