【LeetCode】除数博弈

题目：

1025. 除数博弈

爱丽丝和鲍勃一起玩游戏，他们轮流行动。爱丽丝先手开局。

最初，黑板上有一个数字 n 。在每个玩家的回合，玩家需要执行以下操作：

• 选出任一 x，满足 0 < x < n 且 n % x == 0 。
• 用 n - x 替换黑板上的数字 n 。

如果玩家无法执行这些操作，就会输掉游戏。

只有在爱丽丝在游戏中取得胜利时才返回 true 。假设两个玩家都以最佳状态参与游戏。

示例 1：

输入：n = 2
输出：true
解释：爱丽丝选择 1，鲍勃无法进行操作。

示例 2：

输入：n = 3
输出：false
解释：爱丽丝选择 1，鲍勃也选择 1，然后爱丽丝无法进行操作。

说明：

因为是博弈的问题，这里相当于零和博弈；每个游戏玩家一定会选择对自己最有利的行为，也就是做出对对方最不利的行为；

我们的视角是爱丽丝的视角，爱丽丝赢则输出true；鲍勃赢则输出false;

规律：

当n=1时，爱丽丝先手，找不到任何大于0且小于n的整数，所以false；

结果：鲍勃赢；

当n=2时，爱丽丝先手，只能取1；n变为1，鲍勃找不到任何大于0且小于1的整数，所以true；

结果：爱丽丝赢；

当n=3时，爱丽丝先手，只能取1；n变为2，鲍勃取1；n变为1，爱丽丝找不到任何大于0且小于1的整数所以false；

结果：鲍勃赢；

当n=4时，分为两种情况：

1.爱丽丝先手，取2；n变为2，鲍勃取1；false；

2.爱丽丝先手，取1；n变为3，鲍勃取1；n变为2，爱丽丝取1；n变为1，鲍勃找不到任何大于0且小于1的整数；true；因为两人都是最优状态可以说是脑力巅峰了，所以爱丽丝一定会选择这种情况；爱丽丝赢

结果：爱丽丝赢；

当n=5时，爱丽丝先手，只能取1；n变为4，分为两种情况：

1.鲍勃先手，取1；n变为3，爱丽丝取1；n变为2，鲍勃取1；n变为1，爱丽丝找不到任何大于0且小于1的整数；false；因为两人都是最优状态可以说是脑力巅峰了，所以鲍勃一定会选择这种情况；鲍勃赢

2.鲍勃先手，取2；n变为2，爱丽丝取1；n变为1，鲍勃找不到任何大于0且小于1的整数；true；爱丽丝会赢；但是鲍勃又不是傻子，作为先手他肯定不会选择这种情况啊；还是我鲍勃赢！

结果：鲍勃赢；

当n=6时，分为三种情况：

1.爱丽丝先手，取1；n变为5，鲍勃只能取1；n变为4，所以相当于上面n=4那种情况，相当于爱丽丝先手，爱丽丝赢

2.爱丽丝先手，取2；n变为4，所以相当于上面n=4那种情况，不过有区别的是，变为鲍勃先手；鲍勃赢

3.爱丽丝先手，取3；n变为3，相当于上面n=3那种情况，不过有区别的是，变为鲍勃先手；鲍勃赢

所以你觉得聪明的爱丽丝会选择哪种情况呢？

结果：爱丽丝赢；

结论：

<1>当n为奇数时，谁先手谁输；

因为奇数的因子只能是奇数，奇数减去奇数，一定是偶数；而后手方为了赢，一定会一直选择选择偶数的奇数因子x(偶数-奇数=奇数)，所以一直这样下去先手的人一直会遇到奇数n，最后一定会遇到n=1，后手的人会一直遇到偶数n，最后一定会遇到n=2；然后，后手选择2的奇数因子(1)，n就会变成1；先手的人就输了，后手者赢；也就是说当n为奇数，鲍勃赢；

<2>当n为偶数时，谁先手谁赢；

因为n为偶数，先手的人一定会一直选择偶数的奇数因子x，n变为奇数；后手方只能选择奇数因子（因为奇数只有奇数因子），而奇数-奇数=偶数；所以先手方一直都碰到的是偶数n，而且最后一定会遇到n=2的情况，所以先手者会赢；也就是说当n为偶数，爱丽丝赢；

代码：

当我们发现这个规律后，有两种方法；数学规律法和动态规划法；

一丶数学规律

//数学规律法
class Solution {
public:
    bool divisorGame(int n) 
    {
          //直接利用规律； 
        return n%2==0;

    }
};

二丶动态规划

class Solution {
public:
    bool divisorGame(int n) 
{
        vector<int> dp(n+2, false);//开辟n+2个空间，虽然只需要n+1个就够了；不过防止n<=2,多开一个也没事，反正只需要返回dp[n]；

        dp[1] = false;
        dp[2] = true;
        for (int i = 3; i <= n; ++i) 
          {
            for (int j = 1; j < i; ++j) 
              {
                if (i % j == 0 && !dp[i - j]) 
                  {
                        dp[i] = true;
                        break;
                  }
              }
          }

         return dp[n];
    }
};