[HDOJ 4876] ZCC loves cards [搜索]

有n张牌，每个牌上都有数字，从中选取k张，排成一个环。在这k个牌组成的环中随意选取连续的几张，把上边的值取异或，可以得到一个值。要求这n张牌选k个排成的环中，某个环可以取出异或值为L～R的所有数字，现已给出L，问最大的R可以为多少。若无法组成L，则输出0。

题目数据为随机生成。

数据范围：n不超过20，k不超过6，牌上的每个数字和L和R不超过128。

搜索，加一些剪枝。

首先从n张牌中选取k张，不带先后顺序，复杂度为C(20,6)=38760。因为数据为随机生成，6个数最多只能凑出64个不同的异或值，而一共有128个值，所以可以减小一半的复杂度。

在剩下的38760/2=19380中，对牌进行排列，由于是环，所以可以减小一重排列，共生成5!种排列，复杂度19380*5!=2325600。

对于每种排列，暴力判断其能够组成的30种数字，然后从l开始查看能够组成到多少。

外加个剪枝，如果未进行排列时，随意选取这k张数据能够组成的连续数字的最大值都不超过当前结果，则不对其进行排列搜索。

总复杂度6*10^7...外加剪枝不知道剪掉多少...

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

int n,k,l,ans;
int a[20];
int b[20];
bool have[128];
int tmphave[128];
int tmpcs;

int check2(int c[]) {
	int i;
	tmpcs++;
	//for (i=0;i<k;i++) printf("%d ",c[i]);
	//printf("\n");
	for (i=0;i<k;i++) {
		int cur=c[i];
		tmphave[cur]=tmpcs;
		for (int j=1;j<k;j++) {
			int tmp=i+j;
			if (tmp>=k) tmp-=k;
			cur^=c[tmp];
			tmphave[cur]=tmpcs;
		}
	}
	for (i=l;i<128&&tmphave[i]==tmpcs;i++);
	//printf("%d\n",i-1);
	return i-1;
}
void check() {
	if (have[l]==false) return;
	int i;
	for (i=l;i<128&&have[i];i++);
	int r=i-1;
	if (r<=ans) return;
	int c[20];
	memcpy(c,b,sizeof(b));
	sort(c,c+k);
	do {
		ans=max(ans,check2(c));
	} while(next_permutation(c+1,c+k)&&r>ans);
}
void dfs1(int i,int used) {
	bool tmp[128];
	if (used==k) {
		check();
		return;
	}
	memcpy(tmp,have,sizeof(have));
	for (;i+k-used<=n;i++) {
		b[used]=a[i];
		for (int j=0;j<128;j++) {
			if (tmp[j]||tmp[j^a[i]]) have[j]=true;
			else have[j]=false;
		}
		dfs1(i+1,used+1);
	}
}

int main() {
	int i;
	tmpcs=1;
	memset(tmphave,0,sizeof(tmphave));
	while (scanf("%d%d%d",&n,&k,&l)!=EOF) {
		for (i=0;i<n;i++) scanf("%d",&a[i]);
		ans=0;
		memset(have,0,sizeof(have));
		have[0]=true;
		dfs1(0,0);
		printf("%d\n",ans);
	}
	return 0;
}