GDOI2016模拟8.21新Nim游戏

题目

传统的Nim游戏是这样的：有一些火柴堆，每堆都有若干根火柴（不同堆的火柴数量可以不同）。两个游戏者轮流操作，每次可以选一个火柴堆拿走若干根火柴。可以只拿一根，也可以拿走整堆火柴，但不能同时从超过一堆火柴中拿。拿走最后一根火柴的游戏者胜利。

本题的游戏稍微有些不同：在第一个回合中，第一个游戏者可以直接拿走若干个整堆的火柴。可以一堆都不拿，但不可以全部拿走。第二回合也一样，第二个游戏者也有这样一次机会。从第三个回合（又轮到第一个游戏者）开始，规则和Nim游戏一样。

如果你先拿，怎样才能保证获胜？如果可以获胜的话，还要让第一回合拿的火柴总数尽量小。

首先我们得知道博弈问题中一个重要的东西：sg函数

我们知道，对于该游戏，若当前取火柴方面对的是sg值为0（现有火柴的数字xor起来），且他不能通过取出某几堆火柴使剩余的火柴sg值为0，那么他必败。

证明：对于不能整堆取的石子游戏，若sg值为0，则为必败态（可看搜索sg函数证明），那么若A现在面对sg值为0的状态时，他要想赢，只能通过移去某些堆使得对手sg值为0且对方不能使sg为0，才能必胜。（由此看来，必定存在先手必胜态）

由于要先手必胜，则要求我们使得对方面对sg为0，且对方不能使sg为0，而且要取得数量最少。

这里我们要引入一个概念：线性无关，若集合A中每个元素，都不能通过其他元素xor（这里是xor，但有时候不一定是这个，具体可度娘）起来得到，则说明集合A里的元素线性无关。

这里，若要求剩余集合（这里将火柴看做集合）sg为0，且不存在集合的子集（除空集）sg为0，则说明该集合不存在线性相关的元素，（我们可以这样想，假设有一个子集sg为0，则该子集xor上任何其他元素都可以得到元素本身），即该集合线性无关。

这样，我们就把题目转化成，求带权线性无关集合最大值，那么我们怎样做呢？

首先将权值从大到小排序，每次试着将每个权值插入集合里，然后用类似高斯消元的方法（xor），从高位到低位（二进制）消掉该权值二进制上的1，若最后得到的数大于0，则说明该数与该集合线性无关，将消完的数加入集合里，ans加上原权值。

最后答案等于总火柴数减去ans

贴代码

#include<iostream>
#include<cstdio>
#include<algorithm>
#define N 101
using namespace std;
int n;
long long ans;
int a[N];
long long d[N];
void init(){
    scanf("%d",&n);
    for (int i=1;i<=n;i++)
        scanf("%d",&a[i]),ans+=a[i];
}
bool did(long long x){
    for (int i=d[0];i;i--)
        if ((d[i]^x)<x)x^=d[i];
    if (x)d[++d[0]]=x,sort(d+1,d+d[0]+1);
    return x;
}
void work(){
    sort(a,a+n+1);
    d[0]=1,d[1]=a[n],ans-=a[n];
    for (int i=n-1;i;i--)
        if (did(a[i]))ans-=a[i];
}
void write(){
    printf("%lld",ans);
}
int main(){
    init();
    work();
    write();
    return 0;
}