【洛谷】P1247 取火柴游戏（nim博弈+推论）

题目描述

输入 kk 及 kk 个整数 n_1n1​，n_2n2​，…，n_knk​，表示有 kk 堆火柴棒，第 ii 堆火柴棒的根数为 n_ini​；接着便是你和计算机取火柴棒的对弈游戏。取的规则如下：每次可以从一堆中取走若干根火柴，也可以一堆全部取走，但不允许跨堆取，也不允许不取。

谁取走最后一根火柴为胜利者。

例如：kk ＝ 22，n_1n1​ ＝ n_2n2​ ＝ 22，AA 代表你，PP 代表计算机，若决定 AA 先取：

AA：(2,2)(2,2) → (1,2)(1,2) {从一堆中取一根}。

PP：(1,2)(1,2) → (1,1)(1,1) {从另一堆中取一根}。

AA：(1,1)(1,1) → (1,0)(1,0)。

PP：(1,0)(1,0) → (0,0)(0,0) {PP 胜利}。

如果决定 AA 后取：

PP：(2,2)(2,2) → (2,0)(2,0)。

AA：(2,0)(2,0) → (0,0)(0,0) {AA 胜利}。

又如 kk ＝ 33，n_1=1n1​=1，n_2n2​ ＝ 22，n_3n3​ ＝ 33，AA 决定后取：

PP：(1,2,3)(1,2,3) → (0,2,3)(0,2,3)。

AA：(0,2,3)(0,2,3) → (0,2,2)(0,2,2)。

AA 已将游戏归结为 (2,2)(2,2) 的情况，不管 PP 如何取 AA 都必胜。

编一个程序，在给出初始状态之后，判断是先取必胜还是先取必败，如果是先取必胜，请输出第一次该如何取。如果是先取必败，则输出“ lose ”。

输入格式

第一行，一个正整数 kk。

第二行，kk 个整数 n_1n1​，n_2n2​，…，n_knk​。

输出格式

如果是先取必胜，请在第一行输出两个整数 aa，bb，表示第一次从第 bb 堆取出 aa 个。第二行为第一次取火柴后的状态。如果有多种答案，则输出 <b,a><b,a> 字典序最小的答案 ( 即 bb 最小的前提下 aa 最小 )。

如果是先取必败，则输出“lose”。

输入输出样例

输入 #1复制

3
3 6 9

输出 #1复制

4 3
3 6 5

输入 #2复制

4
15 22 19 10

输出 #2复制

lose

说明/提示

k \le 500000k≤500000。

n_i \le 10^9ni​≤109。

******************************************************************************************************************************************************************

解题思路：这是一道nim博弈 的裸题，除了知道每堆火柴的个数异或和为0先手必败之外，还需要记住一个推论，也就是必胜策略是怎么取火柴，就可以解决这道题目如果每堆火柴的个数异或之后得到一个数k，然后迭代每堆石子的数量a异或这个k之后得到的石子数量p，如果p小于原先这堆石子的数量，即p<a,则获胜策略就是这一堆取出a-p个石子

下面附上ac代码

#include <iostream>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <string>
#include <queue>
using namespace std;
typedef long long ll;
ll a[500010];
int main()
{
    std::ios::sync_with_stdio(false);
    cin.tie(0),cout.tie(0);
    ll n;
    cin>>n;
    ll ans=0;
    for(ll i=1; i<=n; i++)
    {
        cin>>a[i];
        ans^=a[i];
    }
    if(ans==0)
        cout<<"lose"<<endl;
    else{
        for(ll i=1;i<=n;i++)
        {
            if((a[i]^ans)<a[i])
            {
                cout<<(a[i]-(ans^a[i]))<<" "<<i<<endl;
                for(ll j=1;j<=n;j++)
                {
                    if(j!=i)
                        cout<<a[j]<<" ";
                    else
                        cout<<(a[j]^ans)<<" ";
                }
                cout<<endl;
                break;
            }
        }
    }
    return 0;
}