leetcode每日一题 --- 除数博弈 07/ 24

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

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

选出任 一 x，满足 0 < x < N 且 N % x == 0 。
用 N - x 替换黑板上的数字 N 。
如果玩家无法执行这些操作，就会输掉游戏。

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

示例1：

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

示例2：

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

分析：
其实这个题目就是让你判断Alice是否能必赢，一看到博弈两个字可能很多人就懵了，也没有兴趣再做下去了。但看到博弈不妨先动手推导一下，说不定会有意外之喜。你也要理解双方都以最佳状态参与的意思，就是在当前局势下，我一定会优先选择让自己赢的步骤，即只要存在一种赢的可能，就可以直接判定为赢。

题解1：推导法

bool divisorGame(int N){ //0ms
    return N % 2 == 0; 
}

解释：
如果你动手在纸上推演了一下，你可能就会发现一个规律。在Alice先起手的情况下，当n是奇数时必输，当n是偶数时必赢，当然这只是你的一个猜测。
我们可以用归纳法证明：
1）N = 1， N = 2时结论显然成立
2）假设 N <= k 时结论都成立，讨论 N = k + 1的情况
3）k + 1 为奇数时，它的因子也必然是奇数，假设Alice选择了一个奇数a，则剩下的 k + 1 - a 就是一个小于等于k的偶数，根据我们的结论，此时Bob持有一个偶数必赢，即Alice必输，符合假设；
k + 1 为偶数时，它的因子可能是奇数也可能是偶数，假设Alice选择了一个奇数a， 则剩下的 k + 1 - a就是一个小于等于k的奇数，根据结论此时Alice必赢，符合假设；
综上可知，我们的结论是正确的的。

题解2：动态规划法

bool divisorGame(int N){ //8ms
    int flag[N + 2]; //这里空间要申请大一些，防止下标溢出
    //flag[i]表示持有数字i必赢还是必输
    memset(flag, 0, sizeof(flag));
    flag[1] = false;
    flag[2] = true;

    for (int i = 3; i <= N; i++)
    {
        for (int j = 1; j < i; j++)
        {
            if (i % j == 0 && !flag[i - j])
            {
                flag[i] = true;
            }
        }
    }
    return flag[N];
}

解释：
这里我们维护一个数组flag，其中flag[i] 表示 持有i 能否必赢。动态规划的临界点是flag[1] = false 和 flag[2] = true，其中flag[i] 取决于所取的因数j以及flag[i - j]是否能保证对方必输，只要存在一种这样的情况，flag[i]就可以设置为true。最后我们返回flag[N]即可。

还有一个要注意的点就是flag数组的大小，很多人会设置为N + 1，但是由于我们的数组下标是从1开始利用的，而且维护了两个临界点，所以数组大小至少要设置为N + 2以防止数组下标溢出。

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/divisor-game
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。