nim游戏及其进阶 [SDOI2011] 黑白棋 [SDOI2019] 移动金币

最近在做博弈题单，遇到了这两个nim问题。

[SDOI2019] 移动金币被成为阶梯nim，也就是一个 n n n堆石子在不同的阶梯上面，每次操作可以选择一堆中若干个石子合并到低一级的阶梯（如果移动到地面就不能再移动），不能操作者失败。

这个问题我大概思考了一天就解决了，容易发现n=2时必败态为第一级阶梯为0，因为这样先手移动任何石子下来后手都能移到地面。把n拓展到更大，就会发现偶数级阶梯（现在假设地面为第0级阶梯）的石子时没有意义的，因为如果把偶数的石子移到奇数的石子能形成更好的局面，那么后手就能把这些石子再往移动一级，可以依次从第二级，第四级往下递推思考。

也就是说只用考虑奇数级阶梯的石子，又因为把石子移到偶数级的阶梯以后没有意义，那么就变成了在偶数级阶梯进行经典的nim操作，因此必败态就是所有偶数级阶梯的异或和。

[SDOI2019] 移动金币被称为k-nim也就是每次可以取不超过k堆的石子。我花了大概一周才解决，感觉非常让人抓狂，最后是在操场上散步突然想到结论的。这个结论现在还没有想好怎么证明，后续补上。

感觉这个问题打表比较困难，不过我想了一种直接打出必败态的方法。

cpp 复制代码

#include <bits/stdc++.h>
#define ll long long
using namespace std;

const int V = 8, N = 1e6 + 10;

int n, m;
int a[15];
int cnt, b[N][15], f[N], g[N];

int calc(int p1, int p2) {
    int ret = 0;
    for (int i = 1, j = 1; i <= n; i++) {
        while (j <= n && b[p1][i] > b[p2][j]) j++;
        if (j <= n && b[p1][i] == b[p2][j]) {
            ret++; j++;
        }
    }
    return n - ret;
}

void dfs(int k, int last) {
    if (k == n + 1) {
        cnt++;
        g[cnt] = 0;
        for (int i = 1; i <= n; i++) {
            b[cnt][i] = a[i];
            g[cnt] ^= a[i];
        }
        f[cnt] = 2;
        for (int i = 1; i < cnt; i++) {
            if (f[i] == 1) continue;
            bool ok = 1;
            for (int j = 1; j <= n; j++) {
                if (b[i][j] > b[cnt][j]) {
                    ok = 0; break;
                }
            }
            if (ok && calc(i, cnt) <= m) {
                f[cnt] = 1; break;
            }
        }
        if (f[cnt] == 1) {
            cnt--;
        }
        return;
    }
    for (int i = last; i <= V; i++) {
        a[k] = i;
        dfs(k + 1, i);
    }
}

int main() {
    // freopen("out.out", "w", stdout);
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    cin >> n >> m;
    dfs(1, 0);
    for (int i = 1; i <= cnt; i++) {
        bool bk = 1;
        for (int ki = 10; ki >= 0; ki--) {
            int ret = 0;
            for (int j = 1; j <= n; j++) {
                if (b[i][j] >> ki & 1) {
                    ret++;
                }
            }
            if (ret % (m + 1) != 0) {
                cout << "wa\n";
            }
        }
        if (f[i] == 2) {
            cout << f[i] << " " << g[i] << " : ";
            for (int j = 1; j <= n; j++) {
                cout << b[i][j] << " \n"[j == n];
            }
        }
    }
    cout << cnt << endl;
}

很早的时候我就想到了如果每一堆都是1，那么必败态就是n%(d+1)=0，说明结论还与n和d有关系（虽然应该和n没有关系，不过我当时就觉得它们有关系）。

然后想到一个比较奇怪的事情，以前学nim的时候我就一直十分不解为什么结论会和xor有关系（因为异或是一个二进制的操作），因为异或实际上是把每位相加再模二，然后就感觉可能会是模数变化（变成d+1）这样操作了肯定就不为全为0了，或者是进制变化（比如变成d+1进制之类的）。

而且前面打表的时候也发现必败态里面往往没有8的出现，所以更加肯定是模数改变。

验证了一下发现是正确的，然后就ac了。