bzoj 3105: [cqoi2013]新Nim游戏异或高消 && 拟阵

3105: [cqoi2013]新Nim游戏

Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 535 Solved: 317
[Submit][Status][Discuss]

Description

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

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

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

Input

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

Output

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

Sample Input

6
5 5 6 6 5 5

Sample Output

HINT

k<=100

　　才学了拟阵，然后现学现用，居然就发现了这么一道拟阵好题。

　　题目简化出来大概是你要在一堆数集中，删除一些数，使得剩下的数不可能组成异或和为0的非空集合，并且使删除的数尽量的小。考虑依次加数，每次加完异或高消一次，如果发现线性相关，那么就不加入这个数，否则加入。这样可以满足删除的数的个数尽量小。

　　然而题目中求得是删除的数字的和，怎么办？注意到这道题所说的“子集异或和非0集合”其实就是一个拟阵。【拟阵(E,I)1.空集满足 2.若集合A满足，则A子集满足“子集异或和非0” 3.若card(A)>card(B)，存在x属于A，且B+{x}属于I，这个可以用异或高消来理解】所以按照拟阵的标准贪心思路，将读入的数列从大到小排一遍序就ok了。

　　发现以前写的异或高消都有bug，整个人都splay起来了。

#include<iostream>

#include<cstdio>

#include<cstring>

#include<algorithm>

using namespace std;

#define MAXN 100000

typedef long long qword;

int lst[MAXN];

inline bool cc(int x,int y)

{

        for (int i=;i>=;i--)

                if (x&(<<i))

                        return y&(<<i);

}

int main()

{

        freopen("input.txt","r",stdin);

        int n;

        scanf("%d",&n);

        for (int i=;i<n;i++)

                scanf("%d",lst+i);

        sort(lst,lst+n,greater<int>());

        qword ans=;

        int x,y;

        for (int i=;i<n;i++)

        {

                x=lst[i];

                for (int j=;j<i;j++)

                {

                        if (cc(lst[j],lst[i]))

                                lst[i]^=lst[j];

                }

                if (!lst[i])

                        ans+=x;

        }

        printf("%lld\n",ans);

}