bzoj3105 新Nim游戏 贪心&线性基

    如果我方取完以后剩下来的棋子的集合A，其中一个子集B的抑或和为0，那么敌方显然可以取走A-B使我方处于必败状态。于是需要剩下一个集合A使得不存在任意一个子集的抑或和为0。令这样的A∈I，M为全集，那么接下证明(M,I）是一个拟阵。

    首先，由反证法可知遗传性显然；关键是证明交换性（网上的证明有些是错的。附上一个正解）。假设任意A,B∈I，|A|<|B|，假设不存在x∈B-A，使得A∪{x}∈I。为了方便证明，令A'表示集合A的任意元素互相抑或得到的结果所组成的集合，那么显然A⊂A'。同样的，如果A⊂B，则A'⊂B'，反之一样。由于任意x∈B-A，都有A∪{x}不∈I，因此显然x∈A'，因此B-A⊂A'，因此B⊂A'，因此B'⊂A'，因此B⊂A，显然矛盾，证毕。

    证明好拟阵就可以贪心从大到小加入维护线性基了，线性基实际上就是一个高斯消元？

AC代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
#define N 1005
using namespace std;

int n,a[N],c[N],mi2[N];
int main(){
	scanf("%d",&n); int i,j; ll sum=0;
	for (i=1; i<=n; i++){ scanf("%d",&a[i]); sum+=a[i]; }
	sort(a+1,a+n+1);
	mi2[0]=1; for (i=1; i<=30; i++) mi2[i]=mi2[i-1]<<1;
	for (i=n; i; i--){
		int tmp=a[i];
		for (j=30; j>=0; j--) if (a[i]&mi2[j]){
			if (!c[j]){ c[j]=a[i]; break; }else a[i]^=c[j];
		}
		if (a[i]) sum-=tmp;
	}
	printf("%lld\n",sum);
	return 0;
}

by lych

2016.2.14