博弈论 -Nim游戏(台阶 + SG函数 + 集合 + 拆分)

博弈论 -Nim游戏(台阶 + 集合 + 拆分)

1、Nim游戏

给定n堆石子，两位玩家轮流操作，每次操作可以从任意一堆石子中拿走任意数量的石子（可以拿完，但不能不拿），最后无法进行操作的人视为失败。

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

输入格式
第一行包含整数n。

第二行包含n个数字，其中第 i 个数字表示第 i 堆石子的数量。

输出格式
如果先手方必胜，则输出“Yes”。

否则，输出“No”。

数据范围
1≤n≤10⁵,
1≤每堆石子数≤10⁹

输入样例：
2
2 3
输出样例：
Yes

---

分析：

$假设n堆石子的石子数量分别为:a_1,a_2,...,a_n。$

$①、若每一堆石子都为0，则每一堆石子数量异或值0⨁0⨁...⨁0=0，此时先手必败。$

$$\begin{gathered} ②、若a_1⨁a_2⨁...⨁a_i⨁...⨁a_n\ne 0，设a_1⨁a_2⨁...⨁a_i⨁...⨁a_n=x. \\ 假设x的二进制表示中最高位的1在第k位，则a_1到a_n中必存在一个数a_i，a_i的第k位是1。 \end{gathered}$$
$那么有a_i⨁x<a_i，现从第i堆石子拿出一些石子，使得剩下a_i⨁x个石子。$
$$\begin{gathered} 于是剩下的所有石子的异或值为： \\ {a}_1⨁a_2⨁...⨁(a_i⨁x)⨁...⨁a_n=a_1⨁a_2⨁...⨁a_i⨁...⨁a_n⨁x=x⨁x=0。 \end{gathered}$$

$③、若a_1⨁a_2⨁...⨁a_i⨁...⨁a_n=0，则无论如何都不能保持所有堆的石子数量的异或值为0。$
$$\begin{gathered} 证明：假设将第i堆石子数量变为a_i^{\prime }，使得各堆的石子数量的异或值为0， \\ 即a_1⨁a_2⨁...⨁a_i^{\prime }⨁...⨁a_n=0。 \\ 计算(a_1⨁a_2⨁...⨁a_i⨁...⨁a_n)⨁(a_1⨁a_2⨁...⨁a_i^{\prime }⨁...⨁a_n)=a_i⨁a_i^{\prime }=0。 \\ 这说明a_i=a_i^{\prime }，即没有拿石子，矛盾！ \end{gathered}$$

$于是，只要先手的情况下，各堆石子数量的异或值不为0，我们可以拿一些石子使得异或值为0，直到所有石子被拿空。$

$而轮到对手时，始终是异或值为零的情况，对手拿完后，均会使得异或值非零。$

$因此，只需判断各堆石子的异或值是否为零即可。$

代码：

#include<iostream>

using namespace std;

int main()
{
    int n;
    cin>>n;
    
    int res=0;
    while(n--)
    {
        int x;
        cin>>x;
        res^=x;
    }
    
    if(res) puts("Yes");
    else puts("No");
    
    return 0;
}

---

2、台阶-Nim游戏

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

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

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

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

输入格式
第一行包含整数n。

第二行包含n个整数，其中第i个整数表示第i级台阶上的石子数ai。

输出格式
如果先手方必胜，则输出“Yes”。

否则，输出“No”。

数据范围
1≤n≤10⁵,
1≤ai≤10⁹

输入样例：
3
2 1 3
输出样例：
Yes

---

分析：

$假设n堆石子的石子数量分别为:a_1,a_2,...,a_n。$

$①、若每一堆石子都为0，则每一堆石子数量异或值0⨁0⨁...⨁0=0，此时先手必败。$

$$\begin{gathered} ②、若所有奇数级台阶上的石子数量都为0，仅剩下偶数级台阶上存在石子，先手必败。 \\ 因为若A从偶数级台阶上拿x个石子到奇数级台阶上，B就从该奇数级台阶上将这些石子拿到下一个偶数级台阶， \\ 那么B必然在A先到达地面。 \end{gathered}$$

$这样，我们就可以通过第一题的方法，控制奇数级台阶上的石子的异或值为0。$

$若对手从偶数级台阶拿x，我们就将这x个石子拿到下一个偶数级台阶，保持奇数级台阶的石子数量异或值为0。$

$$\begin{gathered} 若对手从奇数级台阶拿x，此时奇数级台阶的石子数量的异或值必定非零， \\ 我们就利用第一题的做法，把奇数级台阶的石子数量异或值变成0。 \end{gathered}$$

$于是，我们只需判断所有奇数级台阶上的石子数量的异或值是否为零即可。$
代码：

#include<iostream>

using namespace std;

int main()
{
    int n;
    cin>>n;
    int res=0;
    for(int i=1;i<=n;i++)
    {
        int x;
        cin>>x;
        if(i&1) res^=x;
    }
    
    if(res) puts("Yes");
    else puts("No");
    
    return 0;
}

---

3、SG函数

$SG函数：$ 对 于 一 个 给 定 的 有 向 无 环 图 ， 定 义 关 于 图 的 每 个 顶 点 的 S G 函 数 g 如 下 ： g ( x ) = m e x { g ( y ) ∣ y 是 x 的 后 继 } 。 对于一个给定的有向无环图，定义关于图的每个顶点的SG函数g如下：g(x)=mex\{ g(y) | y是x的后继 \}。 对于一个给定的有向无环图，定义关于图的每个顶点的SG函数g如下：g(x)=mex{g(y)∣y是x的后继}。$其中，mex是求不属于该集合的最小自然数。$

---

4、集合-Nim游戏

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

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

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

输入格式
第一行包含整数k，表示数字集合S中数字的个数。

第二行包含k个整数，其中第i个整数表示数字集合S中的第i个数si。

第三行包含整数n。

第四行包含n个整数，其中第i个整数表示第i堆石子的数量hi。

输出格式
如果先手方必胜，则输出“Yes”。

否则，输出“No”。

数据范围
1≤n,k≤100,
1≤si,hi≤10000

输入样例：
2
2 5
3
2 4 7
输出样例：
Yes

---

分析：

$我们把每一堆石子的初始数量看作一个状态的起始位置，以该点为起点求SG函数，设起点为x。$

$①、若SG(x)\ne 0，从x必能走到x^{\prime }，且SG(x^{\prime })=0。$

$②、若SG(x)=0，要么必败，要么下个状态x^{\prime }，SG(x^{\prime })\ne 0。$

示例：

$若某堆石子初始数量为10，每次能够拿2个或5个，则状态转移图如下：$

$$\begin{gathered} 首先终止状态标记为0，表示失败。 \\ 接着倒推与终止状态直接相连的节点，显然这些节点对应的SG函数为1(不属于后继节点的最小自然数)。 \end{gathered}$$

$依次反推即可，这个过程由递归来实现$

$另外，本题有n堆石子，就有n个状态转移图。$

$这与第一题相似，考虑a_1⨁a_2⨁...⨁a_n是否为0即可。$

$只不过这里的a_1应当取SG(a_1)，因为SG(a_i)代表着第i堆石子的状态。$

$这里每一堆石子的状态图用哈希表来存。$

代码：

#include<iostream>
#include<cstring>
#include<unordered_set>

using namespace std;

const int N = 110 , M = 10010;

int n,k,a[N],f[M];

int sg(int x)
{
    if(f[x]!=-1) return f[x];
    
    unordered_set<int> S;

    for(int i=0;i<k;i++)
        if(x-a[i]>=0) 
            S.insert(sg(x-a[i]));
            
    for(int i=0;;i++)
        if(!S.count(i)) 
            return f[x]=i;
}

int main()
{
    cin>>k;
    for(int i=0;i<k;i++) cin>>a[i];
    
    memset(f,-1,sizeof f);
    cin>>n;
    int res=0;
    for(int i=0;i<n;i++)
    {
        int x;
        cin>>x;
        res^=sg(x);
    }
    
    if(res) puts("Yes");
    else puts("No");
    
    return 0;
}

---

5、拆分-Nim游戏

给定n堆石子，两位玩家轮流操作，每次操作可以取走其中的一堆石子，然后放入两堆规模更小的石子（新堆规模可以为0，且两个新堆的石子总数可以大于取走的那堆石子数），最后无法进行操作的人视为失败。

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

输入格式
第一行包含整数n。

第二行包含n个整数，其中第i个整数表示第i堆石子的数量ai。

输出格式
如果先手方必胜，则输出“Yes”。

否则，输出“No”。

数据范围
1≤n,ai≤100

输入样例：
2
2 3
输出样例：
Yes

---

分析：

$本题与第四题相似，把每一堆石子看作一个状态图，只不过转移时一堆会分成两堆，$

$两堆的状态应当是两堆石子数量的异或值。$

代码：

#include<iostream>
#include<cstring>
#include<unordered_set>

using namespace std;

const int N=110;

int f[N];

int sg(int x)
{
    if(f[x]!=-1) return f[x];
    
    unordered_set<int> S;
    for(int i=0;i<x;i++)
        for(int j=0;j<=i;j++)
            S.insert(sg(i)^sg(j));
            
    for(int i=0;;i++)
        if(!S.count(i))
            return f[x]=i;
    
}

int main()
{
    int n;
    cin>>n;
    
    memset(f,-1,sizeof f);
    int res=0;
    for(int i=0;i<n;i++)
    {
        int x;
        cin>>x;
        res^=sg(x);
    }
    
    if(res) puts("Yes");
    else puts("No");
    
    return 0;
}