有一种力量叫乐观

首先定义mex(minimal excludant)运算，这是施加于一个集合的运算，表示最小的不属于这个集合的非负整数。例如mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。 对于一个给定的有向无环图，定义关于图的每个顶点的Sprague-Grundy函数g如下：g(x)=mex{ g(y) | y是x的后继 },这里的g（x）即sg[x] 例如：取石子问题，有1堆n

1.扩展的欧几里德定理 [cpp] view plaincopyprint? //拓展欧几里得定理，求ax+by=gcd(a,b)的一组解(x,y),d=gcd(a,b) void gcd(int a,int b,int &d,int &x,int &y) { if(!b){d=a;x=1;y=0;} else{gcd(b,a%b,d,y,x);y-=x*(a/b