[SG函数]取火柴游戏

题目描述

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

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

例如：k＝2，n1＝n2＝2，A代表你，P代表计算机，若决定A先取：

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

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

A：(1,1)→(1,0)

P：(1,0)→ (0,0) {P胜利}

如果决定A后取：

P：(2,2)→(2,0)

A：(2,0)→ 0,0) {A胜利}

又如k＝3，n1=1，n2＝2，n3＝3，A决定后取：

P：(1,2,3)→(0,2,3)

A：(0,2,3)→(0,2,2)

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

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

输入输出格式
输入格式：
第一行，一个正整数k

第二行，k个整数n1，n2，…，nk

输出格式：
如果是先取必胜，请在第一行输出两个整数a，b，表示第一次从第b堆取出a个。第二行为第一次取火柴后的状态。如果有多种答案，则输出

分析

这种判先手胜负的很容易知道是SG函数解决
由于每次可以取任意数，所以SG函数值为x本身
即SGi=ni
那么我们只用异或SG值即可判断先手是否胜负
对于胜时，我们需要输出方案的第一步
容易想到：
若ans=sg1^sg2^…^sgn
那么
t=sg1^ans
sg2^..^sgn^t=sg1^sg2^..^sgn^ans=ans^ans=0
所以很明显给sgi异或t是必定可行的（在先手必胜条件下）
由于题目要求删去，所以只用判断t是否＜sgi即可

#include <iostream>
#include <cstdio>
#define rep(i,a,b) for (i=a;i<=b;i++)
using namespace std;
int n,i,j,a[500001];
int ans;
int main()
{
    scanf("%d",&n);
    rep(i,1,n){
        scanf("%d",&a[i]);
        ans^=a[i];
    }
    if (!ans){
        printf("lose");
        return 0;
    }
    rep(i,1,n)
    if ((a[i]^ans)<a[i])
    break;
    printf("%d %d\n",a[i]-(a[i]^ans),i);
    a[i]=a[i]^ans;
    rep(j,1,n)
    printf("%d ",a[j]);
}