洛谷P1247 取火柴游戏 数学题 博弈论

这题就是NIM取石子游戏，但是NIM取石子方案并不是单一的，而是有多种方案的，
现在让我们求字典序最小的方案，其实还是简单的，
作为先手，如果是必胜局面，那我们肯定第一步把所有子异或和变为零 ，这样对于对方，
这就是一个必败局面了
2、那我们来考虑怎么把局面变成必败局面呢，换句话说，怎么判断这一堆取不取呢，

假设a[ i ]不取他们的异或值为 y ，那么如果我们把a[ i ]变成 y 那么 y^y=0 就必胜了
那就只要判断 if a[ i ]>=y 就可知在这一位上改变可不可行了，要字典序最小那就
i从小到大枚举过去就行了，逐位判断下去当前位是否可行

3、然后我来证明一下为什么若当前异或值为零为必败局面（蒟蒻的证明大神请无视QwQ）
当前异或值为零，那我们改变一步肯定破坏了这个平衡，然后异或值就不为 0 了，
那么对方就可以把异或值变为 0 然后一直这么下去，直到变为0（0的异或值也为 0）

 

#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cstring>
#include <string>
#include <algorithm>
#include <iostream>
#include <iomanip>
using namespace std ;

int n,sum,pos,val,y ;
int a[500011] ;

int main() 
{
    scanf("%d",&n) ;
    for(int i=1;i<=n;i++) 
        scanf("%d",&a[ i ]) , sum^=a[ i ] ;
    if(!sum) 
    {
        printf("lose\n") ;
        return 0 ;
    }
    for(int i=1;i<=n;i++)  
    {
        y = sum^a[ i ] ;
        if(a[ i ]<y) continue ;
        pos = i ;
        val = a[ i ] - y ;
        a[ i ]-=val ;
        break ;
    }
    printf("%d %d\n",val,pos) ;
    for(int i=1;i<=n;i++) 
        printf("%d ",a[ i ]) ;
    return 0 ; 
}