java---博弈论---拆分Nim游戏---SG函数（每日一道算法2022.10.5）

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

本题和集合Nim游戏的解法类似，都是使用了SG函数来处理局面分开的情况：
java—博弈论—集合Nim游戏—SG函数（这里包含“Mex运算/SG函数/有向图游戏的和”的定义，一定要先看一下）

题目：

输入:
2
2 3

输出：
Yes

public class 博弈论_拆分Nim游戏_SG函数 {
    //f存储的是所有可能情况的SG值
    public static int N = 110;
    public static int[] f = new int[N];

    public static void main(String[] args) {
        Scanner in = new Scanner(System.in);
        int n = in.nextInt();

        //记忆化搜索来找SG值,然后就直接通过判断SG值之间的异或关系就能得到先手必胜或者先手必败
        //相当于通过SG值将多图/表游戏转变为基础Nim游戏
        int res = 0;
        Arrays.fill(f, -1);         //切记要初始化f为-1
        for (int i = 0; i<n; 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不与本次相同

        //规定j不大于i，避免重复
        //相当于一个局面拆分成了两个局面，由SG函数理论，多个独立局面的SG值，等于这些局面SG值的异或和
        for (int i = 0; i<x; i++) {
            for (int j = 0; j<=i; j++) {
                set.add(SG(i) ^ SG(j));
            }
        }

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

思路：
基本上和集合Nim游戏差不多，唯一要注意的点就是，题目中说的取走一堆石子，然后放入两堆更小的石子其实是有歧义的，真正的意思是从一堆石子中拿走x个石子，然后新创建两堆比x小的石子堆

这两堆石子不是加起来等于x，是只要比x小就可以，比如拿走100个石子，创建一堆为99，另一堆为99这样是可以的

然后由于每次创建的堆一定比拿走的石子少，所以算法不会出现无限循环

题外话
到今天为止已经连续更新算法80天了！明天生日，请一天假不更新，哎嘿~
数学这一大章到今天刚好结束啦，明天…哦不对后天开始就是“动态规划”了，dp啊，心脏骤停

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