QBXT 2023 五一集训学习笔记

Day 1

都听得不是很懂啊.

Part 1 数论

剩余类环 Z/nZ\Z / n\Z

简单定义:元素集合 {0,1,,n1}\{\overline{0}, \overline{1}, \dots, \overline{n - 1}\},其中 a={xx=a+kn,kZ}\overline{a} = \{x \mid x = a + kn, k \in \Z\}

运算:++×\times.由环的性质存在交换律, 结合律, 分配律.

Fermat 小定理

对于任意的质数 pp 和整数 0<a<p0 < a < p,有 ap11(modp)a^{p - 1} \equiv 1 \pmod p

记集合 S={1,2,,n1}S = \{\overline{1}, \overline{2}, \dots, \overline{n - 1}\},则函数 f:SS,f(x)=axf: S \rightarrow S, f(\overline{x}) = \overline{ax} 是一个双射.

证明是容易的.首先 ff 显然是一个满射.考虑 d=axay=a(xy)\overline{d} = \overline{ax} - \overline{ay} = \overline{a(x - y)},由于 aaxyx - y 均与 pp 互质(在剩余系中),那么 dd 也与 pp 互质,也就是说 ff 值域中的元素两两不同,这样就证明了 ff 同时是一个单射.

于是我们有:

i=1p1ix=1p1ai(modp)\prod\limits_{i = 1}^{p - 1} i \equiv \prod\limits_{x = 1}^{p - 1} ai \pmod p

整理可得 (p1)!ap1×(p1)!(modp)(p - 1)! \equiv a^{p - 1} \times (p - 1)! \pmod p,即 ap11(modp)a^{p - 1} \equiv 1 \pmod p

Euler ϕ\phi 函数

定义 ϕ(n)=i=1n[gcd(i,n)=1]\phi(n) = \sum\limits_{i = 1}^n [\gcd(i, n) = 1]

即小于等于 nn 的正整数中与 nn 互质的数的个数.

Euler 定理

对于任意正整数 p,p2p,p \ge 2a,gcd(a,p)=1a, \gcd(a, p) = 1,有 aϕ(p)1(modp)a^{\phi(p)} \equiv 1 \pmod p

证明与 Fermat 小定理类似,此处略去.

Euler ϕ\phi 函数的性质

ϕ(pk)=pkpk1\phi(p^k) = p^k - p^{k - 1},其中 pp 是一质数,kk 是一正整数.

考虑 1pk1 \sim p^kpkp^k 个数,其中显然只有 pp 的倍数与 pkp^k 不互质.去掉即得 ϕ(n)\phi(n)

gcd(a,b)=1\gcd(a, b) = 1,那么有 ϕ(ab)=ϕ(a)ϕ(b)\phi(ab) = \phi(a)\phi(b)(即 ϕ\phi 函数是积性函数).

证明没讲,故略去.

n=ipiain = \prod\limits_i {p_i}^{a_i},有 ϕ(n)=ni(11/pi)\phi(n) = n\prod\limits_i (1 - 1 / p_i),其中 pip_i 代表第 ii 个质数.

ϕ\phi 函数的积性可得:

ϕ(n)=ϕ(ipiai)=iϕ(piai)=ipiai(11/pi)=ni(11/pi)\begin{aligned} \phi(n) &= \phi\left(\prod\limits_i {p_i}^{a_i}\right) \\ &= \prod\limits_i \phi\left({p_i}^{a_i}\right) \\ &= \prod\limits_i {p_i}^{a_i}(1 - 1 / p_i) \\ &= n\prod\limits_i (1 - 1 / p_i) \end{aligned}

原根

对于正整数 nn,集合 G={xgcd(x,n)=1}G = \{\overline{x} \mid \gcd(x,n) = 1\} 若和乘法构成循环群,且 G=gG = \braket{\overline{g}},则称 gg 为模 nn 意义下的一个原根.

更严谨地,我们称满足 an1(modm)a^n \equiv 1 \pmod m 的最小正整数 nn 为元素 aamm 的阶.若 gcd(a,m)=1\gcd(a, m) = 1,且 aamm 的阶为 ϕ(m)\phi(m),则称 aa 为模 mm 意义下的一个原根.

原根的性质

  1. nn 意义下存在原根当且仅当 n=2,4,pk,2pkn = 2, 4, p^k, 2p^k

  2. nn 意义下原根的个数为 ϕ(ϕ(n))\phi(\phi(n))

没听懂.证明见 OI Wiki

求最小原根

由于模 nn 意义下原根的个数为 ϕ(ϕ(n))\phi(\phi(n)),我们不妨断言,原根是均匀分布的.这启发我们枚举答案然后检验.在这里,我们不加证明地抛出原根判定定理:对于一个数 xx,我们枚举 ϕ(n)\phi(n) 的质因数 pp,判定 xϕ(n)/p≢1(modm)x^{\phi(n) / p} \not\equiv 1 \pmod m,若对于 ϕ(n)\phi(n) 的所有质因数均有上式成立,那么 xxnn 的一个原根.由于不同质因数的个数是 log\log 级别的,而尝试次数期望为 nϕ(ϕ(n))\dfrac{n}{\phi(\phi(n))},所以期望时间复杂度为 O(nϕ(ϕ(n))×log2(ϕ(n)))O\left(\dfrac{n}{\phi(\phi(n))} \times \log^2(\phi(n))\right)

指标

gg 为模 mm 意义下的原根,对 gcd(a,m)=1\gcd(a, m) = 1aa,若 a=gua = g^u,则记 I(a)=uI(a) = uaa 的指标.

发现这玩意和对数很像,类比对数的运算,我们得到 I(ab)=I(a)+I(b)I(ab) = I(a) + I(b)I(ak)=kI(a)I(a^k) = kI(a)

BSGS 算法

北上广深算法.

给定 mm 和原根 gg,求解 aa 的指标.

B=ϕ(m)B = \sqrt{\phi(m)},我们预处理 X={gL,g2L,,gL2}X = \left\{g^L, g^{2L}, \dots, g^{L^2}\right\}Y={g,g2,,gL}Y = \left\{g, g^2, \dots, g^L\right\}.由于 gk=gk/BB+kmodB=(gB)k/B×gkmodbg^k = g^{\lfloor k / B\rfloor B + k \bmod B} = \left(g^B\right)^{\lfloor k / B\rfloor} \times g^{k \bmod b},容易发现一定存在 xX,yYx \in X, y \in Y,使得 a=xya = xy.于是我们枚举 xx,查找是否存在 yYy \in Y,使得 y=x1ay = x^{-1}a 即可.

采用 BSGS 算法可以解决底数和模数互质的离散对数问题.

二次剩余

求同余方程 x2n(modp)x^2 \equiv n \pmod p 的解.只讨论 pp 为奇质数时的情况.

gg 为模 pp 下的一个原根,设 n=gun = g^u,若 uu 是偶数则 x=gu/2x = g^{u / 2},若 uu 为奇数则无解.

Mobius 函数

定义:

μ(n)={1n=10n 存在平方质因子(1)rn=i=1rpi\mu(n) = \begin{cases} 1 & n = 1 \\ 0 & n \text{ 存在平方质因子} \\ (-1)^r & n = \prod\limits_{i = 1}^r p_i \end{cases}

μ\mu 函数是积性函数.

考虑两个数 a,ba,b 使得 gcd(a,b)=1\gcd(a, b) = 1,我们要证明的就是 μ(ab)=μ(a)μ(b)\mu(ab) = \mu(a)\mu(b)

a,ba,b 中有一个数存在平方质因子时,abab 中也存在平方质因子,此时上式显然成立.

gcd(a,b)=1\gcd(a,b) = 1,若 a,ba,b 中都不存在平方质因子,则 abab 中也不存在平方质因子,此时 μ(a)μ(b)=(1)x(1)y=(1)x+y=μ(ab)\mu(a)\mu(b) = (-1)^{x}(-1)^{y} = (-1)^{x + y} = \mu(ab)

Dirichlet 卷积

定义:令 f,gf,g 是两个数论函数,定义

(fg)(n)=dnf(d)g(nd)(f * g)(n) = \sum\limits_{d | n} f(d)g\left(\frac{n}{d}\right)

fgf * gffgg 的 Dirichlet 卷积.

性质:容易验证 Dirichlet 卷积存在以下性质

  1. 交换律:fg=gff * g = g * f

  2. 结合律:f(gh)=(fg)hf * (g * h) = (f * g) * h

  3. 分配律:f(g+h)=fg+hgf * (g + h) = f * g + h * g

  4. ffgg 是积性函数,则 fgf * g 也是积性函数.

Mobius 反演

定义数论函数 I0(n)=1I_0(n) = 1,若 g=fI0g = f * I_0,那么 f=gμf = g * \mu

设数论函数 Δ(n)=[n=1]\Delta(n) = [n = 1],显然有 fΔ=ff * \Delta = f(即 Δ\Delta 是 Dirichlet 卷积的单位元).

注意到 (μI0)(n)=dnμ(d)=dnμ(d)=i=0k(ki)(1)i=(1+(1))k=[n=1]=Δ(n)(\mu * I_0)(n) = \sum\limits_{d | n} \mu(d) = \sum\limits_{d | n^\prime} \mu(d) = \sum\limits_{i = 0}^k \binom{k}{i}(-1)^i = (1 + (-1))^k = [n = 1] = \Delta(n)

那么对于 g=fI0g = f * I_0,两边同时卷上 μ\mu,得到 f=gμf = g * \mu

Part 2 组合数学

生成函数

定义:对于无穷数列 {a0,a1,}\{a_0, a_1, \dots\},定义 A(x)=i=0aixiA(x) = \sum\limits_{i=0}^\infty a_i x^i 为这个数列的生成函数.

虽然我们一般不研究这个级数的敛散性,但为了让其收敛,我们一般认为 x(0,1)x \in (0, 1)

[xn]F(x)[x^n]F(x) 代表 F(x)F(x)xnx^n 项前面的系数.

生成函数解决组合问题

共有 mm 种物品, 每种物品有任意多个,求取 nn 个物品的方案数.

从组合角度来说,这个问题等价于 nn 个相同小球放在 mm 个不同盒子中,使用插板法,答案为 (n+m1m1)\binom{n + m - 1}{m - 1}

考虑单个物品选 ii 个的方案数的生成函数,显然为 i=0xi=11x\sum\limits_{i = 0}^\infty x^i = \dfrac{1}{1 - x}

然后把每个物品的生成函数乘起来,答案为 [xn]1(1x)m[x^n]\dfrac{1}{(1 - x)^m}

由广义二项式定理可得:

[xn]1(1x)m=[xn](1x)m=[xn]i=0(mi)(x)i=[xn]i=0(m+i1m1)xi=(m+n1m1)[x^n]\frac{1}{(1 - x)^m} = [x^n](1 - x)^{-m} = [x^n]\sum\limits_{i = 0}^\infty \binom{-m}{i}(-x)^i = [x^n]\sum\limits_{i = 0}^\infty \binom{m + i - 1}{m - 1} x^i = \binom{m + n - 1}{m - 1}

和我们采用组合方法得到的答案一致.

生成函数求解数列通项

有点麻烦,先咕着.

Catalan 数

求长度为 2n2n 的括号序列的个数.

有一个组合做法,在一个 n×nn \times n 的网格图上走路,从 (0,0)(0, 0)(n,n)(n, n),每一步只能向上或者向右,向上代表左括号,向右代表右括号.

显然在任意时刻左括号数大于等于右括号数,所以我们的路径不能越过 y=xy = x.如果不考虑限制的话,走法有 (2nn)\binom{2n}{n} 种.对于任意一条不合法的路径,我们找到第一次到达 y=x+1y = x + 1 的地方,将之前的路径沿 y=x+1y = x + 1 翻折.显然一定会把起点翻折到 (1,1)(-1, 1).也就是说,(1,1)(-1, 1)(n,n)(n, n) 的任意一条路径都和一条不合法路径一一对应.那么最终方案数为:(2nn)(2nn1)=(2nn)/(n+1)\binom{2n}{n} - \binom{2n}{n - 1} = \binom{2n}{n} / (n + 1)

我们考虑使用生成函数去求解 Catalan 数的通项.记 hnh_n 表示第 nn 个 Catalan 数,H(x)=i=0HixiH(x) = \sum\limits_{i = 0}^\infty H_i x^i 是它的生成函数.

考虑 Catalan 数的递推,我们括号序列中的第一个字符肯定是左括号,枚举右括号的位置,问题就变成了括号内和括号外两个子问题.不难得到递推式:

h0=h1=1,hn=i+j=n1bibjh_0 = h_1 = 1, h_n = \sum\limits_{i + j = n - 1} b_i b_j

显然右边是个卷积的形式,于是我们有:H(x)=1+xH(x)×H(x)=1+xH2(x)H(x) = 1 + xH(x) \times H(x) = 1 + xH^2(x)

解得 H(x)=1±14x2xH(x) = \dfrac{1 \pm \sqrt{1 - 4x}}{2x}

考虑 x0+x \rightarrow 0^+,我们需要让级数收敛以求得 h0h_0,显然取 ++ 号时不符合需求,那么我们就得到了 Catalan 数生成函数的封闭形式:

H(x)=114x2xH(x) = \frac{1 - \sqrt{1 - 4x}}{2x}

为求得 Catalan 数的通项,我们有:

hn=[xn]H(x)=[xn]114x2x=[xn]1(14x)1/22x\begin{aligned} h_n &= [x^n]H(x) \\ &= [x^n]\frac{1 - \sqrt{1 - 4x}}{2x} \\ &= [x^n]\frac{1 - (1 - 4x)^{1 / 2}}{2x} \\ \end{aligned}

由广义二项式定理可得:

hn=[xn]12x(1i=0(1/2i)(4x)i)=[xn]12x(i=1(1/2i)(4x)i)=[xn]2i=1(1/2i)(4x)i1=[xn]2i=1(4x)i1i!j=0i1(12j)=[xn]i=1(4x)i1i!j=1i1(j12)=[xn]i=1(2x)i1i!j=1i1(2j1)=[xn]i=1xi1i!j=1i12(2j1)=[xn]i=1xi1i!j=1i12j2j1(2j1)=[xn]i=1(2i2)!i!(i1)!xn1=[xn]i=0(2i)!i!(i+1)!xn=[xn]i=01i+1(2ii)xn=1n+1(2nn)\begin{aligned} h_n &= [x^n]\frac{1}{2x}\left(1 - \sum\limits_{i = 0}^\infty \binom{1 / 2}{i}(-4x)^i\right) \\ &= [x^n]\frac{1}{2x}\left(-\sum\limits_{i = 1}^\infty \binom{1 / 2}{i}(-4x)^i\right) \\ &= [x^n]2\sum\limits_{i = 1}^\infty \binom{1 / 2}{i}(-4x)^{i - 1} \\ &= [x^n]2\sum\limits_{i = 1}^\infty \frac{(-4x)^{i - 1}}{i!} \prod\limits_{j = 0}^{i - 1} \left(\frac{1}{2} - j\right) \\ &= [x^n]\sum\limits_{i = 1}^\infty \frac{(4x)^{i - 1}}{i!} \prod\limits_{j = 1}^{i - 1} \left(j - \frac{1}{2}\right) \\ &= [x^n]\sum\limits_{i = 1}^\infty \frac{(2x)^{i - 1}}{i!} \prod\limits_{j = 1}^{i - 1} \left(2j - 1\right) \\ &= [x^n]\sum\limits_{i = 1}^\infty \frac{x^{i - 1}}{i!} \prod\limits_{j = 1}^{i - 1} 2(2j - 1) \\ &= [x^n]\sum\limits_{i = 1}^\infty \frac{x^{i - 1}}{i!} \prod\limits_{j = 1}^{i - 1} \frac{2j - 2}{j - 1} (2j - 1) \\ &= [x^n]\sum\limits_{i = 1}^\infty \frac{(2i - 2)!}{i!(i - 1)!} x^{n - 1} \\ &= [x^n]\sum\limits_{i = 0}^\infty \frac{(2i)!}{i!(i + 1)!} x^n \\ &= [x^n]\sum\limits_{i = 0}^\infty \frac{1}{i + 1} \binom{2i}{i} x^n \\ &= \frac{1}{n + 1} \binom{2n}{n} \end{aligned}

与组合方法得到的式子一致.

第一类 Stirling 数

[nk]n \brack k 为第一类 Stirling 数,表示将 nn 个不同的元素分成 kk 个互不区分的圆排列的方案数.

递推公式:[nk]=[n1k1]+(n1)[n1k]{n \brack k} = {n - 1 \brack k - 1} + (n - 1){n - 1 \brack k}

考虑加入一个元素时的情况:

  • 如果加入的元素自己构成一个新的圆排列,方案数为 [nk]n \brack k
  • 如果加入的元素插入到已有的一个圆排列中,方案数为 (n1)[n1k](n - 1){n - 1 \brack k}

上升幂转普通幂:[xk]xn=[nk][x^k]x^{\overline{n}} = {n \brack k}

考虑第 nn 行 Stirling 数的生成函数 fn(x)=i=0[ni]xif_n(x) = \sum\limits_{i = 0}^\infty {n \brack i} x^i

由递推公式可得,fn(x)=xfn1(x)+(n1)fn1(x)=(x+n1)fn1(x)f_n(x) = xf_{n - 1}(x) + (n - 1)f_{n - 1}(x) = (x + n - 1)f_{n - 1}(x),又有边界条件 f1(x)=xf_1(x) = x,所以 fn(x)=xnf_n(x) = x^{\overline{n}},即 [xk]xn=[nk][x^k]x^{\overline{n}} = {n \brack k}

第二类 Stirling 数

{nk}n \brace k 为第二类 Stirling 数,表示将 nn 个不同的元素分成 kk 个互不区分的集合的方案数.

递推公式:{nk}={n1k1}+k{n1k}{n \brace k} = {n - 1 \brace k - 1} + k{n - 1 \brace k}

考虑加入一个数的情况:

  • 如果加入的元素自己构成一个新的集合,方案数为 {n1k1}n - 1 \brace k - 1
  • 如果加入的元素插入到一个已有的集合中,方案数为 k{n1k}k{n - 1 \brace k}

普通幂转下降幂:xn=i=0n{ni}xix^n = \sum\limits_{i = 0}^n {n \brace i}x^{\underline{i}}

左侧相当于将 nn 个数分成 xx 个不同的集合的方案数,而右边相当于枚举集合数并逐一计算贡献.

Part 3 群论

只听懂了 1/31 / 3,记点结论好了.

陪集定理

(G,×)(G, \times) 构成一个群,HGH \le GGG 的一个子群,那么 HH 的所有不同左 / 右陪集构成了 GG 上的一个划分.

轨道稳定集定理

对于一个群 GG 和一个集合 AA

Ea={bb=ga,gG}E_a = \{b \mid b = g \circ a, g \in G\},称 EaE_aaa 的轨道.

Za={gGga=a}Z_a = \{g \in G \mid g \circ a = a\},称 ZaZ_aaa 的稳定集.

有:EaZa=G|E_a||Z_a| = |G|

Burnside 引理

对于一个群 GG 和一个集合 AA,有 GGAA 上的一个群作用 \circ,Burnside 引理指出,轨道的个数 CC 满足下面的式子:

C=1GgGaA[ga=a]C = \frac{1}{|G|} \sum\limits_{g \in G} \sum\limits_{a \in A} [g \circ a = a]

Day 2

终于来点我会的了!

Part 1 线性代数

前面之前就会,故略过.

Cauchy–Binet 定理

AAm×nm \times n 矩阵,BBn×mn \times m 矩阵.

对于一个大小为 mm 的指标集合 SS,设 ASA_S 表示 AA 中列指标位于 SS 中的列构成的矩阵,BSB_S 表示 BB 中行指标在 SS 中的行构成的矩阵,Cauchy–Binet 定理告诉我们:

det(AB)=Sdet(AS)det(BS)\det(AB) = \sum\limits_{S} \det(A_S)\det(B_S)

证明参考 Wikipedia

矩阵树定理

上课没听懂,本节内容主要抄自《数学天书中的证明》.

设有一无向图 G=(V,E)G = (V, E).考虑 GG 的关联矩阵 B=(bi,e)B = (b_{i, e}),其行的指标集为 VV,列的指标集为 EE,有 bi,e=[ie]b_{i, e} = [i \in e]

BB 每一列中的两个 11 中的任意一个换成 1-1(相当于给 GG 定向),记得到的矩阵为 CC.则 M=CCTM = CC^T 是对称的 n×nn \times n 矩阵,且主对角线上是顶点的度数.

矩阵树定理:去掉 MM 中的第 ii 行和第 ii 列(i=1,,ni = 1, \dots, n),记得到的矩阵为 MM^\primedet(M)\det(M^\prime) 为图 GG 的生成树个数.

MM^\prime 应用 Cauchy-Binet 定理,我们得到:

det(M)=Ndet(N)det(NT)=N(det(N))2\det(M^\prime) = \sum\limits_N \det(N)\det(N^T) = \sum\limits_N (\det(N))^2

其中 NN 取遍 CC 去掉第 ii 行后的所有 (n1)×(n1)(n - 1) \times (n - 1) 子矩阵.显然 NN 对应图 GGn1n - 1 条边构成的一个子图,故只需证明

det(N)={±1当这些边生成树0Otherwise\det(N) = \begin{cases} \pm 1 & \text{当这些边生成树} \\ 0 & \text{Otherwise} \end{cases}

若这 n1n - 1 条边不生成树,那么 NN 可以通过初等行变换使得某一列全部为 00,故此时 det(N)=0\det(N) = 0

当这 n1n - 1 条边生成树时,我们考虑一个删点序列 j1,,jn1j_1, \dots, j_{n - 1},使得每次按顺序删除点 jkj_k 时均有 jkj_k 的度数为 11,且对于任意的 kkjkij_k \not = i.记删除点 jkj_k 时移除的那条边为 eke_k.现在置换行使得 jij_i 在第 ii 行,eie_i 在第 ii 列,由构造可知对于 a<ba < b,有 ja∉ebj_a \not\in e_b,所以新的矩阵 NN^\prime 是下三角的,且对角线元素为 ±1\pm 1,即 det(N)=±det(N)=±1\det(N) = \pm\det(N^\prime) = \pm 1.得证.

Part 2 多项式科技基础

FFT

先咕着.

分治 FFT

先咕着.

Day 3

Part 1 概率论

略过.

Part 2 博弈论

它 来 了.

组合博弈

组合博弈一般来说分为两种:平等博弈和不平等博弈.

  • 平等博弈指可允许的操作只和当前局面的状态有关而和操作的玩家无关的博弈.
  • 不平等博弈中可允许的操作则还和当前操作玩家相关.

一般我们研究的游戏都是平等博弈游戏.

NP\text{NP}

我们按照如下方式定义 N\text{N} 态和 P\text{P} 态:

  1. 结束状态(即无法进行移动的状态)是 P\text{P} 态.
  2. 可以移动到 P\text{P} 态的状态都是 N\text{N} 态.
  3. 只能移动到 N\text{N} 态的状态是 P\text{P} 态.

N\text{N} 态为必胜态,P\text{P} 态为必败态.

将游戏的一个状态向它能移动到的所有状态连边,那么构成的图我们称作 NP\text{NP} 图.

Bash 博弈

nn 个石子,玩家轮流取 1x1 \sim x 个石子,取走最后一枚石子的玩家获胜.求先手何时必胜.

观察 Bash 博弈的 NP\text{NP} 图,我们可以发现,其所有 P\text{P} 态为:n0(modx+1)n \equiv 0 \pmod {x + 1}

那么 n≢0(modx+1)n \not\equiv 0 \pmod {x + 1} 时,有先手必胜.

Nim 博弈

nn 堆石子,第 ii 堆石头有 aia_i 个,玩家轮流从任意一堆石子中取出至少一个,取走最后一枚石子的玩家获胜.求先手何时必胜.

经典结论:aia_i 异或和为 00 时,先手必败.其他状态先手必胜.

如何证明?考虑证明 NP\text{NP} 图的性质:

  1. 显然结束状态有 a1==an=0a_1 = \cdots = a_n = 0,此时有异或和为 00,是 P\text{P} 态.
  2. 如果当前状态异或和不为 00,不妨假设 i=1n=k0\bigoplus\limits_{i = 1}^n = k \not= 0,且我们将 aia_i 变为 ai{a_i}^\prime 后,原式异或和为 00.那么有 ai=aik{a_i}^\prime = a_i \oplus k.假设 kk 的二进制最高位为 tt,一定存在奇数个 axa_x,使得 axa_x 的第 tt 位为 11.我们任选一个作为 aia_i,都有 ai>aia_i > {a_i}^\prime.这样就证明了 N\text{N} 态能够移动到 P\text{P} 态.
  3. 如果当前状态有异或和为 00,那么无论玩家如何选取,异或和都不会为 00.这样就证明了 P\text{P} 态只能移动到 N\text{N} 态.

Moore’s Nim

nn 堆石子,第 ii 堆石头有 aia_i 个,玩家轮流从不超过 kk 堆石子中取出至少一个,取走最后一枚石子的玩家获胜.求先手何时必胜.

结论:将每一个数写成二进制形式,如果每一位上 11 的个数都是 k+1k + 1 的倍数,则先手必败,否则先手必胜.

还是考虑证明 NP\text{NP} 图的性质:

  1. 与 Nim 博弈中关于结束状态的证明一致.
  2. 如果当前状态不满足结论,则玩家一定可以通过一次移动使状态满足结论.略过直接但繁琐的证明过程,我们说明了 N\text{N} 态能够移动到 P\text{P} 态.
  3. 如果当前状态满足结论,则不存在一个合法移动使得移动后的状态也满足结论.假设我们对一个满足结论的状态操作后,其仍然满足结论,如果我们是通过操作某一位得到的,那么必定需要操作 k+1k + 1 堆石子才能得到这样的状态,而这是不合法的.这样我们就证明了 P\text{P} 态只能移动到 N\text{N} 状态.

Sprague-Grundy 游戏

给定 nn 个 DAG,每个 DAG 上有且仅有一个起点,起点上有一枚棋子,有若干个终止节点.两个玩家进行游戏,每次每个人选择一个 DAG,并将其上的棋子移动一条边.不能移动的人输.

定义一张图上一个节点 uuSG\operatorname{SG} 值为:

SG(u)=mex(SG(v))\operatorname{SG}(u) = \text{mex}\left(\operatorname{SG}(v)\right)

其中 vv 取遍所有 uu 的后继节点.对于终止节点 ttSG(t)=0\operatorname{SG}(t) = 0

一组游戏先手必胜当且仅当所有 DAG 的初始节点的 SG\operatorname{SG} 值的异或和不为 00

证明与 Nim 博弈结论的证明类似.故略去.