SG函数的定义
SG函数用于Nim游戏中
定义mex(S)表示不在S集合中的最小整数
对于任意状态 x , 定义 SG(x) = mex(S),其中S为x的后继状态的集合
假设x状态先手必败,那么令SG(x)=0
SG定理(重要)
如果当前游戏可以看成很多个互不相关的子游戏,那么SG(x)=SG(x1) xor SG(x2) xor SG(x3)…
其中x1,x2,x3…为x可以划分成的子游戏。
我的理解:
- 因为SG(x)=mex(S),所以一定存在子状态i使得SG(i)包括0~SG(x)-1
- 也就是说从x可以将它的SG变成0~SG(x)-1,而最后如果变成0就代表先手必败了。
- 至于变成某个大于当前SG的子状态就不考虑了(似乎没有什么意义)
- 这实际上与Nim游戏十分相似,从n个石子中拿走若干个,最后拿不了就先手必败。
- 而若干个子游戏的SG函数,实际上就相当于若干个石子堆。
- Nim游戏中,若石子堆数异或和为0则先手必败。
- 所以推广到SG函数中输赢的结果还是看子游戏SG函数的异或和是否为0.
- 所以进一步得出SG(x)=SG(x1) xor SG(x2) xor SG(x3)…
至此SG函数的基本知识就整理完了,实际上并不多
一道例题
JZOJ1895
巧妙地将SG函数、树和字符串结合在了一起。不失为一道可以加深理解的模板题。
根据字符串的前缀关系即父子关系建一棵树,每一次可以删去一个节点,相对应地删去节点到根路径上的所有点,最后删不了的人输。
不难发现不管怎么删,最后一定剩下森林,所以我们可以通过树形DP计算出每个点的子树的SG(x),因为每个子树都可以看做是一个单独的子游戏。
计算SG(x),具体可以枚举删去x子树中的点y(深度<=100,所以时间复杂度O(100n)),将x到y的路径删去之后就会变成若干个子树,则当前后继状态的SG等于所有互不相关的子树的SG的异或和。
最后将所有后继状态的SG取mex就可以得到SG(x)
计算答案时,直接枚举第一个,再计算剩余子树是否异或和为0,若为0则先手必胜。
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<bitset>
#define maxn 100005
#define maxl 105
using namespace std;
int n,maxlen,i,j,k,fa[maxn],l[maxn],cnt;
char s[maxn][maxl],ch;
int em,e[maxn],nx[maxn],ls[maxn];
int SG[maxn],bz[maxn],sz[maxn],b[maxn];
void insert(int x,int y){
em++; e[em]=y; nx[em]=ls[x]; ls[x]=em;
}
void GETSG(int x,int S){
for(int i=ls[x];i;i=nx[i]) S^=SG[e[i]];
b[S]=1;
for(int i=ls[x];i;i=nx[i])
GETSG(e[i],S^SG[e[i]]);
}
void DFS(int x){
sz[x]=1;
for(int i=ls[x];i;i=nx[i])
DFS(e[i]),sz[x]+=sz[e[i]];
for(int i=0;i<=sz[x];i++) b[i]=0;
GETSG(x,0);
for(int i=0;i<=sz[x];i++) if (!b[i]){
SG[x]=i;
return;
}
}
void DFS2(int x,int S){
for(int i=ls[x];i;i=nx[i]) S^=SG[e[i]];
if (x&&!S) bz[x]=1;
for(int i=ls[x];i;i=nx[i])
DFS2(e[i],S^SG[e[i]]);
}
int main(){
scanf("%d%d",&n,&maxlen);
for(i=1;i<=n;i++){
for(ch=getchar();ch==' '||ch=='
';ch=getchar());
for(;ch!=' '&&ch!='
';ch=getchar())
s[i][++l[i]]=ch;
if (i>1) {
for(j=1;j<=min(l[i],l[i-1])&&s[i][j]==s[i-1][j];j++);
j--;
if (j==l[i-1]) fa[i]=i-1; else {
for(k=i-1;k&&l[k]>j;k=fa[k]);
fa[i]=k;
}
}
insert(fa[i],i);
}
DFS(0);
DFS2(0,0);
cnt=0;
for(i=1;i<=n;i++) if (bz[i]) {
for(j=1;j<=l[i];j++) {
cnt++;
putchar(s[i][j]);
if (cnt%50==0) printf("
");
}
}
if (!cnt) printf("Can’t win at all!!");
}