2021牛客多校1——A：Alice and Bob（博弈，sg函数）

题面

题意：

• 给你两堆石子，Alice和Bob两个进行博弈，博弈规则如下
• 每次其中一个人从一堆中拿出来k（k>=1)个，同时从另外一堆中拿出来k*s(s>=0)个，Alice先手，问谁先不能拿石子。

思路:

• 结论1：如果每堆石子数量是i，另一堆石子最多只有一种数量满足后手胜。

• 推导过程：反证法：假设 (i, p) 和 (i, q) 都是后手必胜，且 q > p。那么在状态 (i, q) 时，先手可以在第二堆选 q-p 个，第一堆选 0 个，转移到后手胜的 (i, p)，说明 (i, q) 是先手胜，矛盾。

• 因此我们可以枚举每个i和j，已知dp0][0]为必败态，那么对其进行状态转移，其dp[k][s*k]则为必胜态，对其进行k和s进行一一枚举，便可以得到其对应的必胜态和必败状。

• 注：这里的dp只标记为0或1，所以最好用bitset或者bool类型来存储，使用int类型可以会导致代码超时

代码:

#include <bits/stdc++.h>
using namespace std;
const int MAXN = 6e3 + 10;
bitset<MAXN> dp[MAXN];
int main() {
    for (int i = 0; i <= 5000; i++) {
        for (int j = 0; j <= 5000; j++) {
            if (dp[i][j] == 0) {
                for (int k = 1; k + i <= 5000; k++) {
                    for (int s = 0; s * k + j <= 5000; s++) {
                        dp[i + k][j + s * k] = 1;
                    }
                }
                for (int k = 1; k + j <= 5000; k++) {
                    for (int s = 0; s * k + i <= 5000; s++) {
                        dp[i + s * k][j + k] = 1;
                    }
                }
            }
        }
    }
    int t;
    scanf("%d", &t);
    while (t--) {
        int n, m;
        scanf("%d %d", &n, &m);
        if (dp[n][m]) {
            puts("Alice");
        } else {
            puts("Bob");
        }
    }
    return 0;
}