说到自己，就是个笑话。思考问题从不清晰，sg函数的问题证明方法就在眼前可却要弃掉。不过自己理解的也并不透彻，做题也不太行。耳边时不时会想起alf的：“行不行！”

基本的小概念

  • 这里我们讨论的是公平游戏（ICG游戏：Impartial Combinatorial Games），满足：
    1.双方每步的限制相同（轮流）
    2.游戏有尽头
  • 对于当前局面的玩家如果能有必胜策略，那就是N局面（反之，P局面）

SG函数

  • 每一种决策以及后面的所有可能可以抽象成有向无环图，而sg函数的计算就类似图上dp的过程。
  • 若当前的局面是now,下一步的局面为to
    \(SG[now]=Mex(SG[to])\)
    \(Mex(S)\)表示，最小的没有在\(S\)集合里的非负整数
    这就是SG的定义了，这很迷糊，因为它就是一个当前局面的估价，很难说它具体是什么意义（甚至后面还会用它来运算就离谱）
  • 显然的性质
    1.SG[now]后面存在了sg为0的局面，now就为N局面，你接下来你的操作也会move到\(sg[to]=0\)这种局面。
    2.1的反之。
    3.SG为0表示当前局面P，否则为N。（ps.三个点就是一个结论，3总结1，2）
  • Muiti-SG的性质（见nim游戏后）

nim游戏

  • 这是最基本最重要的游戏，理解它后，你将入门博弈。
  • 规则：两个人玩nim游戏，有n堆石子，每堆有\(a_i\)个，每次可从一堆中取走任意多个石子。如果一个人无石子可取就输。
  • 结论：\(xorsum\ =\ a_1\ xor\ a_2\ xor\ a_3\ xor\ ...\ xor\ a_n\)是0就为P局面，否则N局面。
  • 证明：如果xorsum=0，取后xorsum!=0; 如果xorsum!=0,一定存在从一堆（堆i)取走\(a_i-xorsum\ xor\ a_i\)个石子，使取后\(xorsum=0\)
    然后最终输的状态为全0，这是xorsum=0的。而如果一开始为xorsum=0一定被拿捏，一直xorsum=0直到输掉（对面就一直使你xorsum=0)
  • 这时，你肯定会想：用sg暴力做呢？状态存不下啊。当然就引出了后面有关sg的重要推论……
    不过对于只有一堆（或者想成n堆每堆独立）\(sg[i]=i\)的。（i为还剩的石子个数）

重要推论

  • 从上面，或许我们能猜想：
    S局面被拆分成\(n\)个相互独立的小局面，（我们这里叫S为\(s_1->s_n\)的游戏和，满足：
    \(SG[S]\ =\ SG[s_1]\ xor\ SG[s_2]\ ....\ xor\ SG[s_n]\)
    这个对于公平游戏来讲，居然是正确的。证明?->
  • 证明：
    我们通常遇到博弈想最终态（P态为多，因为sg=0)
    当然是所有sg值全为0的时候。
    你每次只能转移一个小局面(一堆石子），它能转移到0~sg[i]-1以及sg[i]+k,k是不确定的。
    你发现如果没有sg[i]+k我们可以用nim游戏来证明。
    如果有，相当于加石子，实质上还是符合nim游戏证明中的异或和总是=0和!=0相交替。
    加和减因此也没有实质区别，就得证。
  • ps.老板告诉我们可以把任何ICG问题转化为相同sg值（=石子个数）的nim游戏。

小结：

nim类，或者ICG类都感觉核心就用到以上几个结论。不过我太菜了，还是做不来题。博弈论还有很多值得探索，不过现实中人也没有那么理性，很多时候也用不到。

有趣题目：

1.字符游戏

  • 思路：首先01串+构造长度为L+前缀关系，很容易想到trie树。
    因为“互异”，所以每次更新trie树从根开始的一条链，链叶的子树里的点下次就不可以被选择了。
    然后我们通过画图找规律，然后每个点的SG值为lowbit（子树深度），画一下就知道了
  • 代码：
#include<bits/stdc++.h>
using namespace std;
const int N=1e5+5;
typedef long long ll;
int go[N][2],nd;
ll lowbit(ll u) {return u&(-u);}
ll ans=0;
char s[N];
void Insert() {
	int u=0,len=strlen(s);
	for(int i=0;i<len;i++) {
		int x=s[i]-'0';
		if(!go[u][x]) go[u][x]=++nd;
		u=go[u][x];
	}
}
void dfs(int u,ll dep) {
	if(go[u][0]) dfs(go[u][0],dep-1);
	else ans^=lowbit(dep);
	if(go[u][1]) dfs(go[u][1],dep-1);
	else ans^=lowbit(dep);
}
int main() {
	int n;ll l;
	scanf("%d%lld",&n,&l);
	for(int i=1;i<=n;i++) {
		scanf("%s",s);
		Insert();
	}
	dfs(0,l);
	if(ans)printf("Alice");
	else printf("Bob");
	return 0;
}