java---博弈论---集合Nim游戏---SG函数（每日一道算法2022.10.2）

注意事项：
本题需要先理解基础Nim游戏：java—博弈论—基础Nim游戏

题目：

输入:
2
2 5
3
2 4 7

输出：
Yes

public class 博弈论_集合Nim游戏_SG函数 {
    //s存储的是可供选择的石子数量，f存储的是所有可能情况的SG值
    public static int N = 110, M = 10010, n, m;
    public static int[] s = new int[N], f = new int[M];

    public static void main(String[] args) {
        //先将每次能选择的石子数量存入s
        Scanner in = new Scanner(System.in);
        n = in.nextInt();
        for (int i = 0; i<n; i++) s[i] = in.nextInt();

        //记忆化搜索来找SG值,然后就直接通过判断SG值之间的异或关系就能得到先手必胜或者先手必败
        //相当于通过SG值将多图/表游戏转变为基础Nim游戏
        m = in.nextInt();
        int res = 0;
        Arrays.fill(f, -1);         //切记要初始化f为-1
        for (int i = 0; i<m; i++) {
            int x = in.nextInt();
            res ^= SG(x);
        }

        if (res != 0) System.out.println("Yes");
        else System.out.println("No");
    }
    public static int SG(int x) {
        //如果某个数x在之前的枚举中已经算过SG，那么就无需再计算了，因为结果肯定相同，直接返回
        if (f[x] != -1) return f[x];

        Set<Integer> set = new HashSet<>();  //在函数内部定义,所以下一次递归中的S不与本次相同

        //这里就是用当前这堆石子的数量对每一种拿石子的方法进行对比，如果是合法拿取(也就是从堆拿完之后>=0)
        //那么就计算其SG值，相当于枚举每种拿取的情况
        for (int i = 0; i<n; i++) {
            if(x >= s[i]) set.add(SG(x - s[i]));
        }

        //Mex计算，找到当前S中不包含的最小非负整数值，也就是>=0的整数
        for (int i = 0; ;i++) {
            if (!set.contains(i)) return f[x] = i;
        }
    }
}

思路（借用E.lena大佬的解释）：

1.Mex运算:
设S表示一个非负整数集合.定义mex(S)为求出不属于集合S的最小非负整数运算
即:mes(S)=min{x};
例如:S={0,1,2,4},那么mes(S)=3;

2.SG函数
在有向图游戏中,对于每个节点x,设从x出发共有k条有向边,分别到达节点y1,y2,····yk,定义SG(x)的后记节点y1,y2,····
yk的SG函数值构成的集合在执行mex运算的结果
即:SG(x)=mex({SG(y1),SG(y2)····SG(yk)})
特别地,整个有向图游戏G的SG函数值被定义为有向图游戏起点s的SG函数值,即 SG(G)=SG(s).

3.有向图游戏的和
设G1，G2,····,Gm是m个有向图游戏.定义有向图游戏G,他的行动规则是任选某个有向图游戏Gi,并在Gi上行动一步.G被称为有向图游戏G1,G2,·····,Gm的和.
有向图游戏的和的SG函数值等于它包含的各个子游戏SG函数的异或和,
即:SG(G)=SG(G1) ^ SG(G2) ^ ··· ^ SG(Gm)

声明：
算法思路来源为y总，详细请见https://www.acwing.com/
本文仅用作学习记录和交流