464 我能赢吗（博弈论-二进制思想、记忆化搜索）

1. 问题描述：

在"100 game" 这个游戏中，两名玩家轮流选择从 1 到 10 的任意整数，累计整数和，先使得累计整数和达到或超过 100 的玩家，即为胜者。如果我们将游戏规则改为"玩家不能重复使用整数"呢？例如，两个玩家可以轮流从公共整数池中抽取从 1 到 15 的整数（不放回），直到累计整数和 >= 100。给定一个整数 maxChoosableInteger （整数池中可选择的最大数）和另一个整数 desiredTotal（累计和），判断先出手的玩家是否能稳赢（假设两位玩家游戏时都表现最佳）你可以假设 maxChoosableInteger 不会大于 20， desiredTotal 不会大于 300。

示例：
输入：
maxChoosableInteger = 10
desiredTotal = 11
输出：
false

解释：
无论第一个玩家选择哪个整数，他都会失败。
第一个玩家可以选择从 1 到 10 的整数。
如果第一个玩家选择 1，那么第二个玩家只能选择从 2 到 10 的整数。
第二个玩家可以通过选择整数 10（那么累积和为 11 >= desiredTotal），从而取得胜利.
同样地，第一个玩家选择任意其他整数，第二个玩家都会赢。
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/can-i-win

2. 思路分析：

首先我们可以判断出当1 + 2 +  ... n < m（n表示可以选择的最大数字，m表示累计和）那么两个玩家都无法赢得比赛，所以直接返回False，剩下的情况无非是两种，第一种是第一个玩家胜，第二种是第二个玩家胜，因为玩家在轮流选择整数的时候不能够重复选择数字，所以每次当玩家选择一个可以选的数字的时候那么对应着一种状态，我们其实可以使用n位的二进制来表示当前的状态，第k位的二进制位1表示当前这一位之前已经选择过了，所以在当前的状态下对应的第k个数字是不能选择的，并且第一个玩家能够赢得局面主要有两个：第一个局面是在当前的状态下选择可以选择的某一个数字如果总和大于等于m说明就赢了；第二个局面是当前的状态下转移到对方选择的时候如果出现对方有一种选择的方案是失败的那么也赢了，如果转移到对方选择数字的时候无论选择哪一个数字都是赢的说明第一个玩家就输了。我们在状态转移的时候可以使用记忆化搜索，这样就可以搜索出所有第一个玩家可能赢的状态，可以使用一个长度为1 << n的数组或者列表来记录已经求解过的状态值，在递归前判断当前状态之前是否求解过如果求解过那么返回对应的值即可否则继续递归下去。

3. 代码如下：

from typing import List


class Solution:
    def dfs(self, dp: List[int], x: int, n: int, m: int):
        # dp列表来记录已经求解过的状态
        if dp[x] != -1: return dp[x]
        s = 0
        # 枚举当前的状态的和
        for i in range(n):
            if (x >> i) & 1:
                s += i + 1
        for i in range(n):
            # 当前的数字i之前已经使用过了continue
            if (x >> i) & 1: continue
            # 当前状态下拿取第i个数字总和大于等于m说明赢了
            if s + i + 1 >= m:
                dp[x] = 1
                return True
            # 只要是对手存在输的局面肯定是我赢
            if not self.dfs(dp, x + (1 << i), n, m):
                dp[x] = 1
                return True
        # 对手无论选什么都赢那么我肯定输
        dp[x] = 0
        return False

    def canIWin(self, n: int, m: int) -> bool:
        # 如果所有的总和加起来都小于m那么两个都赢不了
        if (1 + n) * n // 2 < m: return False
        # 使用n位的二进制来表示状态
        dp = [-1] * (1 << n)
        return self.dfs(dp, 0, n, m)