Description

传统的Nim游戏是这样的:有一些火柴堆,每堆都有若干根火柴(不同堆的火柴数量可以不同)。两个游戏者轮流操作,每次可以选一个火柴堆拿走若干根火柴。可以只拿一根,也可以拿走整堆火柴,但不能同时从超过一堆火柴中拿。拿走最后一根火柴的游戏者胜利。
本题的游戏稍微有些不同:在第一个回合中,第一个游戏者可以直接拿走若干个整堆的火柴。可以一堆都不拿,但不可以全部拿走。第二回合也一样,第二个游戏者也有这样一次机会。从第三个回合(又轮到第一个游戏者)开始,规则和Nim游戏一样。
如果你先拿,怎样才能保证获胜?如果可以获胜的话,还要让第一回合拿的火柴总数尽量小。

Input

第一行为整数k。即火柴堆数。第二行包含k个不超过109的正整数,即各堆的火柴个数。

Output

输出第一回合拿的火柴数目的最小值。如果不能保证取胜,输出-1。

Sample Input

6
5 5 6 6 5 5

Sample Output

21
 
先手要先选一些堆去掉,然后剩下的让对手无论怎么去掉一些,结果XOR值都不为0,这就是先手的必胜策略。
可以知道总是必胜的,因为至少可以拿只剩一堆,使得对方不能拿(不能全部拿走)。
那么让对手无论怎么拿走后的XOR值不为0,就是说我们要求这K个数的极大线性无关组。
而且这题还需要拿走的最少,也就是剩下的尽量大。那么可以从大到小排序,优先拿大的数添加。
这个性质可以用线性基很好的解决。一开始用高斯消元,但是不能解决拿什么数得到极大线性无关组,2k肯定是不行的。
代码如下:
#include <iostream>
#include <string.h>
#include <string>
#include <map>
#include <algorithm>
#include <stdio.h>
#include <set>
using namespace std;
typedef long long ll;
int v[233],vec[233];
int bin[233],zhi,cir;
void gauss(int x)
{
    cir=x;
    for(int i=0;i<=30;++i)bin[i]=1<<i;
    for(int i=bin[30];i;i>>=1){
        //cout<<"h"<<endl;
        int j=zhi+1;
        while(j<=cir&&!(v[j]&i))++j;
        if(j>cir)continue;
        zhi++;
        swap(v[zhi],v[j]);
        for(int k=1;k<=cir;++k)
            if(k!=zhi&&(v[k]&i))
                v[k]^=v[zhi];
    }
}
int add(int x)
{
    for(int i=30;~i;--i){
        if(x&(1<<i)){
            if(!v[i]){
                v[i]=x;
                break;
            }
            x^=v[i];
        }
    }
    return x>0;
}
int  main(){
    int k;cin>>k;
    for(int i=1;i<=k;++i){
        cin>>vec[i];
    }
    sort(vec+1,vec+1+k,greater<int>());
    ll ans=0;
    for(int i=1;i<=k;++i){
        if(!add(vec[i]))
            ans+=vec[i];
    }
    cout<<ans<<endl;
    return 0;
}

 

posted on 2018-05-03 13:16  chagin  阅读(151)  评论(0编辑  收藏  举报