博弈论进阶之Anti-SG游戏与SJ定理
2018-02-25 17:10
330 查看
前言
在上一节中,我们初步了解了一下SG函数与SG定理。今天我们来分析一下SG游戏的变式——Anti-SG游戏以及它所对应的SG定理
首先从最基本的Anti-Nim游戏开始
Anti-Nim游戏是这样的
有两个顶尖聪明的人在玩游戏,游戏规则是这样的:
有\(n\)堆石子,两个人可以从任意一堆石子中拿任意多个石子(不能不拿),
拿走最后一个石子的人失败。问谁会胜利
博弈分析
Anti-Nim游戏与Nim游戏唯一的不同就是两人的胜利条件发生了改变,不过这并不影响我们对结论的推导对于这个游戏,先手必胜有两种情况
当
每堆石子都只有一个,且游戏的SG值
为\(0\)
至少一堆石子多于一个,且游戏的SG值
不为\(0\)
粗略的证明一下
游戏大概可以被分为\(3\)种情况
每堆只有一个石子
当异或值为\(0\)时,先手必胜
当异或值不为\(0\)时,先手必败
只有一堆石子数大于1,先手必胜
经过分析不难发现,先手可以对数量大于1的那堆石子下手脚,从而构造出后手必败的状态
存在至少两堆石子数大于1
当异或和为0时,先手必败
当异或和不为0时,先手必败
这一步的结论与Nim游戏非常相似,同时它们的证明也非常相似,大概就是从异或和为\(0\)的状态无论怎样都会变为异或和不为\(0\)的状态,反过来从异或和不为\(0\)的状态总有一步能到达异或和为\(0\)的状态
推广
按照我们学习SG函数的思路,我们是否可以把Anti-Nim游戏推广开来呢?答案是肯定的
定义Anti-SG游戏
同时我们定义SJ定理
对于Anti-SG游戏,如果我们规定当局面中所有单一游戏的SG值为0时,游戏结束,则先手必胜当且仅当
游戏的SG函数不为0且游戏中某个单一游戏的SG函数值大于1
游戏的SG函数为0且没有某个单一游戏的SG函数大于1
证明与SG函数类似,
不追求完美的可以从DAG上归纳
追求完美的可以用模仿棋证明出该游戏的等价性然后推出该游戏是可数集合然后通过计算推出在模\(2\)意义下线性空间的基可以为\(nim(0),nim(1)\)最后归纳证明一个后继是若干Anti-nim游戏的游戏等价于\(mex(S)\)
例题
按照whx老师的说法Anti-SG不怎么重要,我至今为止就做到过一道题
那道题在这儿
题解
相关文章推荐
- poj3480 John(用SJ定理解决Anti_SG游戏)
- 【HDU 3590】 PP and QQ (博弈-Anti-SG游戏,SJ定理,树上删边游戏)
- 用SJ定理解决Anti-SG游戏
- bzoj1022 [SHOI2008]小约翰的游戏(博弈论,Anti-SG)
- [HDU2509]Be the Winner(博弈Anti-SG+Multi-SG游戏)
- ZOJ2507 Let's play a game,ZOJ3113 POJ3480 HDU1907 John,Anti-SG游戏
- 博弈论进阶之Multi-SG
- HDU 1907 John(尼姆博弈之ANTI-SG游戏)
- poj3480(Anti-SG 游戏)
- BZOJ.1022.[SHOI2008]小约翰的游戏John(博弈论 Anti-Nim)
- hdu3590 PP and QQ-----删边游戏&&anti--sg
- BZOJ 1022: [SHOI2008]小约翰的游戏John【anti-SG】
- Anti-SG游戏 与 SJ定理笔记
- bzoj1022 小约翰的游戏 anti-SG游戏
- 博弈论进阶之Every-SG
- hdu 2509 Be the Winner (Anti-SG游戏+Multi-SG游戏)
- POJ.3710.Christmas Game(博弈论 树上删边游戏 Mult-SG)
- BZOJ 1022 Anti-SG游戏
- 贾志豪组合游戏论文个人总结(Anti-SG,Every-SG,翻硬币游戏,无向图删边)
- 博弈论进阶之树的删边游戏与无向图的删边游戏