石子无限拿

最新推荐文章于 2024-02-20 15:33:57 发布

EdwinAze

最新推荐文章于 2024-02-20 15:33:57 发布

阅读量303

点赞数

分类专栏：数论#博弈论文章标签：算法 c++ 开发语言

本文链接：https://blog.csdn.net/qq_39786838/article/details/126087326

版权

数论#博弈论专栏收录该内容

2 篇文章 0 订阅

订阅专栏

石子无限拿

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

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

思路

若为 2, 3堆, 先手在3堆里拿1个, 为 2 2。
之后只要跟后手拿的数量相同, 后手一定失败。

定理：
$a_{1} \wedge a_{2} \wedge a_{3}...\wedge a_{n}= 0 先手必败$
证明：
$\begin{align*} 0\wedge0\wedge0\wedge0...\wedge0 = 0\\ a_{1} \wedge a_{2} \wedge a_{3}...\wedge a_{n} \not= 0 \\ & \end{align*}$
不等于0时, 设结果为 $x$
$x$ 的二进制表示为 $10100100$
$a_i$ 的二进制表示 $1100100110$
一定存在 $a_i$ 在 $x$ 最高位 $k$ 位上为1。
则 $a_{i} \wedge x < a_i$ , 那么就拿走少的那一部分。

此时 $a_{i}= a_{i} \wedge x$ 带入到原来式子后得到：
$\wedge x = 0$
故先手必赢。

等于0时, 设同样可以拿走一些, 剩下 $a_i'$ 个
$\begin{align*} a_{1} \wedge a_{2} \wedge a_{3}. ..a_{i}\wedge..\wedge a_{n} = 0\\ a_{1} \wedge a_{2} \wedge a_{3}. ..a_{i}'\wedge..\wedge a_{n} = 0\\ 式子相异或得 \\ a_{i}\wedge a_{i}' = 0 \\ a_{i} = a_{i}' \end{align*}$

代码

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;

int readInt()
{
    int t ;
    scanf("%d", &t);
    return t;
}

int n;
int main()
{
    int x;
    cin >> n;
    cin >> x;
    n -= 1;
    while(n--)
        x ^= readInt();
    if(x) cout << "Yes\n";
    else cout << "No\n";
    
}