异或思维题--to xor or not to xor nkoj3734

P3734To xor or not to xor

时间限制 : - MS   空间限制 : 65536 KB  

评测说明 : 时限1000ms

问题描述

给定一个非负整数序列a1,a2,,,an (1<=n<=100,ai<=10^18)。要求选出其的一个非空子集，使得异或和最大。求最大异或和。


输入格式


第一行，一个整数n
第二行，n个空格间隔的整数，表示ai


输出格式


一个整数，表示所求结果


样例输入


3
11 9 5


样例输出


14

来源  sgu275

【分析】

先给出算法，再简略说明正确性。

从高到底枚举每一个二进制位L。

1.找出第L位为1的数ai，如果找到则转2，否则转4.

2.若ans的第L位为0，ans^=ai。

3.使所有第L位为1的数aj^=ai。

4.枚举下一个二进制位。

正确性：

要异或和最大，很明显就是要二进制位从高到低依次尽量填1，上述算法的1，2步就是在干这个事情。

但仅仅这样是不对的，因为第L位为1的可能不止一个数，我们一开始无法判断哪一个更优，怎么办呢？第3步就解决了这个事。

假设序列中有ai,aj，它们第L位都为1。我们先假设ai更优，将ans^=ai。然后执行第3步，aj^=ai。这样就保证了如果aj比ai更优，会在后面的操作中替换掉ai的位置。保证了正确性。

时间复杂度为O(64n²)

其中如何解决这个问题呢：前面已经搞定了一些高位的1，后面进行的操作会不会影响前面高位的1呢？

   显然不会！

    每次讨论一个二进制位，随便异或一个，剩下的这一位是1的都与这个数异或，即去掉了这一位的1，从高位到低位，以            此类推，即每讨论一位，该位的1被去掉，对后面不产生影响。

#include<iostream>
#include<cstdio>
#include<algorithm>
using namespace std;
long long a[105];
int n;
int main(){
	long long i,j,k,ans=0;
	cin>>n;
	for(i=1;i<=n;i++){
		scanf("%I64d",&a[i]);
	}
	for(i=62;i>=0;i--){
		for(j=1;j<=n;j++){
			if(a[j]&(1LL<<i)){
				if((ans&(1LL<<i))==0)ans^=a[j];
				for(k=1;k<=n;k++){
					if(k!=j&&(a[k]&(1LL<<i)))a[k]^=a[j];
				}
				a[j]=0;
			}
		}
	} 
	cout<<ans;
}