标签：总结 xor 游戏 必败 博弈论 cdots SG operatorname
SG 定理
设游戏可以表示为有向无环图 \(G=(V,E)\)，规定其中不存在平局，必胜态为其可以转移到一个必败态
那么对于其中某一状态 \(X\in V\)，定义其 \(SG\) 函数值为：
据此，状态 \(X\) 是先手必败当且仅当 \(SG(X)=0\)
归纳证明：假设定理对于当前的 \(G\) 成立，那么新加入一个状态 \(X\)，若 \(SG(X)>0\)，则必然存在一个 \(Y\) 使得 \(SG(Y)=0,(X,Y)\in E\)，转移到一个必败态符合定义
若 \(SG(X)=0\)，则无出边或任意的 \((X,Y)\in E\) 都有 \(SG(Y)>0\)，则为必败态
游戏的复合
定义游戏 \(X,Y\) 的复合是 \(X+Y\)，其中 \(X,Y\) 互相不影响且都在游戏 \(X+Y\) 中
对于游戏 \(X=X_1+\cdots+X_n\)有 \(SG(X)=\operatorname{XOR}SG(X_i)\)
证明：设 \(b=\operatorname{XOR}SG(X_i)\)，则只需证 \(\forall a<b,\exist X'=X_1+\cdots+X_i'+\cdots+X_n,SG(X')=a\) 和 \(\forall X',SG(X')\neq b\)
其中，\(X'\) 表示某一由 \(X\) 转移到的状态
对于第一个式子，设 \(d=b\operatorname{xor} a\)，由于 \(a<b\)，\(d\) 的二进制下最高位是最高的一个 \(b\) 是 \(1\) 但 \(a\) 不是 \(1\) 的位
由于 \(b\) 由所有 \(SG(X_i)\) 异或而来，必然存在某一 \(X_i\) 是的 \(SG(X_i)\) 的那一位也是 \(1\)，因此 \(SG(X_i)\operatorname{xor} d<SG(X_i)\)
那么也存在 \(SG(X_i')=SG(X_i)\operatorname{xor} d\)
于是对于 \(X'=X_1+\cdots + X_i' +\cdots X_n\)，有 \(SG(X')=b\operatorname{xor} d=a\)
对于第二个式子，设 \(\exist X',SG(X')=b\)
那么设 \(X'=X_1+\cdots + X_i'+\cdots X_n\)，则可得 \(SG(X_i')=SG(X_i)\)，矛盾
Nim
\(n\) 堆石子，每堆 \(a_i\) 个，每次选取一堆取任意个，恰好取完的胜
若只有一堆石子，那么有 \(SG(a_i)=a_i\)
\(n\) 堆符合以下，就是 \(\operatorname{XOR}a_i\)
Nim-k
标签：总结,xor,游戏,必败,博弈论,cdots,SG,operatorname 来源： https://www.cnblogs.com/suxxsfe/p/15423188.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。