算法笔记-博弈论

4.14 初稿 + 小补充

个人理解

博弈论问题可以分成公平组合游戏和非公平组合游戏。

这是维护自己处于必胜态和让对手处于必败态的过程。

所以，自己选的时候，选择的状态再进行选择只有必败态，那么就是必胜态。

公平组合游戏：跟选手无关，比如选手A选了该点或选手B选了该点是造就同一个游戏局面的，那么就是公平组合游戏。

围棋不是，因为如果白棋下了一个点和黑棋下了这个点造就的游戏局面不同。

Nim游戏

题目描述：

给定 n 堆石子，两位玩家轮流操作，每次操作可以从任意一堆石子中拿走任意数量的石子（可以拿完，但不能不拿），最后无法进行操作的人视为失败。问如果两人都采用最优策略，先手是否必胜。

结论

当所有值异或起来为0时，先手必败，否则先手必胜。

因为最后全是0的情况一定是必败态，并且其满足异或起来全为0的特征。

先手如果一开始不是零，那么经过证明（不具体给出），一定可以使得局面变成全是零的情况，

后手再次使得局面变成不是零的情况，如此往复。因为最后的情况是全为零，那么一定是后手

先进入最后全是零的必败态。

#include <bits/stdc++.h>
using namespace std;
int main() {
    int n; cin >> n;
    int res = 0;
    while (n -- ) {
        int t; cin >> t;
        res ^= t;
    }
    if (res) puts("Yes");
    else puts("No");
    return 0;
}

台阶-Nim游戏

题目描述：

现在，有一个 n 级台阶的楼梯，每级台阶上都有若干个石子，其中第 i 级台阶上有 ai 个石子(i≥1)。

两位玩家轮流操作，每次操作可以从任意一级台阶上拿若干个石子放到下一级台阶中（不能不拿）。

已经拿到地面上的石子不能再拿，最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

结论

如果奇数级台阶上的值异或起来不为0，先手必胜，否则必败。

如果一开始不为0，由Nim游戏可知，一定可以使得其变为异或值为0，这样丢给后手的都是异或值

为0的情况，所以后手一定先遇到最后全是0000的情况。

如果后手拿了偶数级台阶上的数，那么再次轮到先手，他一定可以维护奇数级台阶上的和不变，这

样异或值也不变，亦是零。

如果后手拿了奇数级台阶上的数，那么跟Nim游戏一致。

/*
如果维护奇数台阶上的异或值为0，那么后手一定会先看到0000
从而必败
拿偶数，奇数台阶上和可以维持不变，异或值为0
拿奇数，Nim台阶已经证明
*/
#include <bits/stdc++.h>
using namespace std;
int main() {
    int n, x = 0;
    cin >> n;
    for (int i = 1; i <= n; i ++ ) {
        int t; cin >> t;
        if (i & 1) {
            x ^= t;
        }
    }
    if (x == 0) cout << "No\n";
    else cout << "Yes\n";
    return 0;
}

SG函数

mex

定义其为集合中第一个未出现的自然数，例如{1，2，3，5}第一个未出现的自然数是0，那么sg值就是0。

sg函数在公平组合游戏中大有用处，就可以看成有向图进行操作了。

定义sg为0时是必败态，其余为必胜态，转移为sg(x) = {它所能到达的所有情况的sg}

集合-Nim游戏

题目描述：

给定 n 堆石子以及一个由 k 个不同正整数构成的数字集合 S。

现在有两位玩家轮流操作，每次操作可以从任意一堆石子中拿取石子，每次拿取的石子数量必须包含于集合 S，最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

#include <bits/stdc++.h>
using namespace std;
const int N = 110, M = 10010;
int s[N], f[M], k;
int sg(int x) {
    if (f[x] != -1) return f[x];
    unordered_set<int> st;
    for (int i = 0; i < k; i ++ ) {
        if (x - s[i] >= 0) st.insert(sg(x - s[i]));
    }
    for (int i = 0; ; i ++ ) {
        if (!st.count(i)) {
            return f[x] = i;
        }
    }
}
int main() {
    cin >> k;
    for (int i = 0; i < k; i ++ ) cin >> s[i];
    int n; cin >> n;
    int res = 0;
    memset(f, -1, sizeof f);
    for (int i = 0; i < n; i ++ ) {
        int x; cin >> x;
        res ^= sg(x);
    }
    if (res == 0) cout << "No\n";
    else cout << "Yes\n";
    return 0;
}