先定义mex(minimal excludant)运算,这是施加于一个集合的运算,表最小的不属于这个集合的非负整数。例如mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。
对于任意状态 x , 定义 SG(x) = mex(S),其中 SS是 xx 后继状态的SGSG函数值的集合。如 x 有三个后继状态分别为 SG(a),SG(b),SG(c)SG(a),SG(b),SG(c),那么SG(x)=mexSG(x)=mex{SG(aSG(a,SG(b)SG(b),SG(c)SG