博弈论
博弈论记录。
经典问题
阶梯 \(\mathrm{Nim}\)
有一个从左到右编号为 \(1\sim n\) 的序列,每个位置上有一些石头。每次可以选择将一个位置上的若干石头移到左边相邻的一格。不能动的人输。
结论:偶数位置的 \(\mathrm{Nim}\)。
证明:把偶数位置的移入奇数位置相当于取走;把奇数位置的移入偶数位置,下一个人可以把它又重新移到奇数位置。
\(\mathrm{Anti-Nim}\)
规则同普通 \(\mathrm{Nim}\),但是谁拿了最后的谁输。
结论:
如果每堆石子都只有一个,则 \(n\) 为偶数时先手必胜。
否则,若石子数的异或和不为 \(0\),先手必胜。
证明:
全为 \(1\) 的情形显然。
如果现在至少存在 \(1\) 堆 \(>1\) 的,且异或和 \(\neq 0\),那么:
- 恰好只有 \(1\) 堆 石子数 \(>1\) 的,可以直接考虑操作成全 \(1\) 的,且剩下的 \(1\) 的奇偶性可以任意操作;
- 石子数 \(>1\) 的多于 \(1\) 堆,一定有一种方式使得拿完后至少存在 \(1\) 堆 \(>1\),且异或和为 \(0\)。
这样说明了必胜态可达必败态。
如果现在至少存在 \(1\) 堆 \(>1\) 的,且异或和 \(=0\),那么显然石子数量 \(>1\) 的多于 \(1\) 堆,一定不存在拿完后石子数全为 \(1\),且不存在拿完后异或和为 \(0\) 的情况。
这样说明了必败态不可达必败态。
结论得证。
由此引出 \(\mathrm{Anti-SG}\)(\(SJ\)?):\(SG\) 值和原来一样,但是先手必胜条件变为:
如果每个游戏的 \(SG\) 值都是 \(1\) ,则 \(n\) 为偶数时先手必胜。
否则,若 \(SG\) 的异或和不为 \(0\),先手必胜。
不知道是叫 \(\mathrm{Nim-K}\) 还是叫 \(\mathrm{K-Nim}\) 的东西
巴什博弈的拓展。
有 \(n\) 堆石子,每次可以选不超过 \(k\) 堆,从每堆拿走若干个。不能动的人输。
结论:对于每个二进制位,如果每一位都满足有 \(x\) 个在这位是 \(1\) 且 \((k+1)\mid x\),则先手必败,否则先手必胜。
证明:见拓展。
拓展:
有若干个 可能不同 的公平组合游戏(其实平凡的 \(\mathrm{Nim}\) 和也适用于不同游戏,但我们接下来要说明 \(\mathrm{Nim}\) 和是这个拓展的子情况 ),每次可以在最多 \(k\) 个游戏中同时操作一步,率先动不了了的人输。
结论:总 \(SG\) 值计算方法如下:
将每个子游戏的 \(SG\) 值用二进制表示,然后把这些二进制数当成 \(k+1\) 进制数。对这些 \(k+1\) 进制数做 \(k+1\) 进制不进位加法,得到的值即为总的 \(SG\)。
证明:
\(SG\) 值的 \(\mathrm{mex}\) 性质可以让我们把子游戏看成拿石头。
首先,总状态的 \(SG\) 是没办法转移到我们得到的这个答案的。因为每次最多选 \(k\) 个游戏。
同时,\(0\sim SG-1\) 这段数都是可以选出的,下面给出构造:
首先找到需要变的最高位。选择若干这一位为 \(1\) 的数,把这些数的这一位变成 \(0\)。
然后每选完一位,设当前总共选了 \(p\) 个位置,首先可以把这些位置的下一位强制设为 \(1\),接下来考虑下一位在模 \(k+1\) 意义下变成所需值需要减的 \(1\) 的个数为 \(d\)。显然有 \(d\le k\)。此时有 \(2\) 种情况:
-
\(p < d\),说明选的还不够。在下一位选 \(d-p\) 个为 \(1\) 的位置变成 \(0\) 即可。
-
\(p \ge d\),选部分已选的位置把这些位置的当前位变为 \(1\) 即可。
每做完一位,就把所有已选位置的下一位设为 \(1\),这样就能保证每次都是能选的。
所以我们一定能构造出 \(0\sim SG-1\) 这些,这也说明了 \(SG\) 值是对的。
Every-SG
有 \(n\) 个游戏同时进行,轮流玩,每次玩所有没结束的游戏。
最后一个结束的游戏的胜负就是总的胜负。
这个问题不好直接说结论,接下来进行一些说明。
考虑一个人在一个游戏里必胜,那么他一定得赢,且拖得越久越好;
如果他必输,那就要尽可能速战速决。
如此我们可以算出一个步数函数 \(step\)。若这个状态为必胜状态,则 \(step=\max\{\) 这个状态的所有必败后继的 \(step\}+1\),如果这个状态是必败态,则 \(step=\min\{\) 这个状态的所有后继的 \(step\}+1\)。当然已经失败的状态 \(step=0\)。
这样的话,先手必胜的条件就是所有子游戏中最大的 \(step\) 是奇数。
Multi-SG
\(n\) 堆石子,每次可以选一堆,拿走一些或分成两个非空堆。谁不能操作谁输。
结论:
谁爱证谁证。
一些套路
简单套路
总状态数(总转移数)很小,直接暴力有向图博弈。 (CF919F)
SG 函数
就是按照定义大力算 \(SG\) 啊,最套路的一个东西了。
CF138D World of Darkraft
由于人类一般喜欢横平竖直,所以我们把这个棋盘转个 \(45^°\)。由于原棋盘的黑色和白色部分是相互独立的,且这两个问题完全相同,所以这里只考虑其中一个。
设 \(sg[x1][y1][x2][y2]\) 表示左上角为 \((x1,y1)\),右下角为 \((x2,y2)\) 的 \(SG\) 值,计算就是枚举选其中的哪个,然后把这个矩形切成若干个部分,把这些部分的 \(SG\) 异或,再对所有取个 \(\mathrm{mex}\) 即可。
CF1585G Poachers
考虑对于每个子树,维护出它所有后继状态的 \(SG\) 值。就是对于每个深度求 \(SG\) 值。
然后对于一个节点,有以下 \(3\) 种情况:
- 没有儿子,此时它的后继只有空节点。
- 一个儿子,直接继承儿子的状态数组,再加上一个新的。求 \(mex\) 就是继承儿子的指针,暴力向后扫,因为 \(\mathrm{mex}\) 是有单调性的,所以可以这样均摊 \(O(1)\) 地做。
- 两个儿子,直接对所有有用的数组暴力计算 \(\mathrm{xor}\) 再取 \(\mathrm{mex}\),复杂度同启发式合并复杂度。
于是就做到了 \(O(n\log n)\)。
当然还有一些简单的小技巧。
比如 CF273E、CF1312F 这种,观察到后继状态少得离谱时可以(打表)找循环节。
转化到经典问题
CF1498F Christmas Game
容易看出,每个棋子的行动轨迹是固定的,于是可以联想到阶梯 \(\mathrm{Nim}\)。 \(k=1\) 的情形与阶梯 \(\mathrm{Nim}\) 是等价的吗?多个子树会不会影响这个问题?
考虑阶梯 \(\mathrm{Nim}\)(向左移动,从 \(1\sim n\) 标号):在奇数位置的数是没用的,把多少移到偶数位置就可以又把它们重新移到奇数位置。所以相当于对偶数位置玩 \(\mathrm{Nim}\)。
而在本题呢?设根节点深度为 \(0\),当 \(k=1\) 时,不难发现子树合并这种问题是完全没事的:如果合并偶数,相当于丢掉,而移动到奇数,就可以再次把它移到偶数。所以这也是在对深度为奇数的点玩 \(\mathrm{Nim}\)。
\(k>1\) 的情况,把深度设为 \(\lfloor\displaystyle\frac{deep}{k}\rfloor\) 即可。
以每个点为根,自然就是换根喽。先以 \(1\) 为根,设 \(dp[u][i]\) 表示假设节点 \(u\) 的深度模 \(k\) 余 \(i\),子树里深度为奇数的节点权值的异或和就可以换根啦!
CF142D Help Shrek and Donkey 2
首先判掉存在一行只有 \(1\) 个棋子的情况。然后发现就是 \(\mathrm{K-Nim}\) 模板了。因为若朝远离对方棋子的方向移动,则对方可以同样移动来保证棋子间距不变,所以只能靠近对方棋子,就相当于一个关于间距的 \(\mathrm{K-Nim}\) 了。
HDU3595 GG and MM
考虑 \(a\le b\) 的情况。令 \(k=\lfloor\frac{b}{a}\rfloor\)。 若 \(k=1\),说明操作方案唯一, \(SG\) 可以直接转移;否则 \(k\neq 1\),此时先手可以考虑把 \(k\) 变成 \(1\) 或 \(0\),这两种状态的 \(SG\) 不同,所以其中一定有一种是必败态,所以此时先手必胜。
顺便维护一下 \(step\) 即可。
没那么套路的题
其实是还没更完。。。
CF930D Game with Tokens
题意:有一个无限大的棋盘,上面有一些黑棋。你需要放一个白棋,接着进行若干回合如下游戏:
-
白棋向上下左右任意一个方向移动一格。如果移动到了与某个黑旗同样的位置,黑方胜。
-
所有黑棋 分别独立 地向上下左右任意一个方向移动一格。这期间黑棋可以重叠,且若某个黑棋与白棋处于同一位置,游戏继续。
如果黑棋不能在有限个回合内获胜,则白方胜。
求有多少个坐标,使得在该坐标放下白棋能使黑方胜(保证双方足够聪明)。
做法:
考虑黑棋要怎么包围白棋。
如图,这样的一个黑棋能使它上下左右的这些位置的白棋只能朝相对于黑棋的方向(下上右左)移动有限步。
方法是:如果白棋向黑棋走,那么黑棋向白棋方向逼近一格,否则与白棋朝同一个方向移动。
然后又要转 \(45°\)……一个黑棋的限制变成四个 \(2-side\) 矩形。现在就要求有多少个点同时在四种方向的 \(2-side\) 矩形的交里。
这个只要按横坐标排个序,维护一下前缀最靠上的“右下矩形”和最靠下的“右上矩形”,后缀前缀最靠上的“左下矩形”和最靠下的“左上矩形”即可。
CF1221E Game With String
这个 \(a>b\) 就很魔性。找性质吧。。。
- 存在一个长度为 \([b,a)\) 的区间,先手必败。
因为后手可以留一手!
- 若先手无论如何操作,总会有长度 \(\ge 2b\) 的区间,先手必败。
后手可以操作出一个长度恰好为 \(b\) 的。
那么如果存在大于一个“长度 \(\ge 2b\) 的区间”,说明先手输了。
否则若不存在“长度 \(\ge 2b\) 的区间”,就看长度 \(\in[a,2b)\) 的区间的奇偶性。
若存在 \(1\) 个,就看先手能操作出什么。
当然以上情况默认了 \(a>2b\),如果 \(a\ge 2b\) 的话判断更简单,略。
CF1368F Lamps on a Circle
最终答案应该是,选择一个 \(x\),然后 \(x-1\) 个亮, \(1\) 个不亮这样,最后会有一小段连续的不亮段。然后对面灭掉 \(x-1\) 个。
此时的收益为 \(W(x)=\displaystyle\left(\lfloor\frac{n}{x}\rfloor-1\right)(x-1),x\in [1,n]\cap\Z\)
求个导。
我不会这个向下取整啊。算了,设 \(f(x)=\displaystyle\left(\frac{n}{x}-1\right)(x-1)\),那么 \(\displaystyle f'(x)=-\frac{n(x-1)}{x^2}+\frac{n}{x}-1=\frac{n}{x^2}-1\)。这玩意在 \(\sqrt n\) 时等于 \(0\),所以原题的 \(x\) 取 \(\sqrt n\) 和 \(\sqrt n \pm 1\) 试一下取最大值即可。