Codeforces 1721D 按位贪心

题意：

给定数组$a，b$，记$c_i=a_i⨁b_i$，可以对数组$b$以任意顺序重新排列，求最大的$c_1\&c_2\&....\&c_n$

方法：

按位贪心，显然答案是唯一的，那么我们可以枚举可以达成的某个位，由于二进制中$[1,i-1]$位的和都不可能大于$i$位，所以我们从高位开始贪心，能符合的位我们就计入答案即可。

因为是与起来，所以要答案的$i$位是1，最后一定要是$c$数组的每个元素的$i$位都是1，又因为他们是异或得到，所以要$i$位都是1，一定要$a,b$数组的$i$位1个数互补。

因此一种贪心策略是暴力分组。枚举位，检查当前位是否符合1的个数互补的条件，若可以，记录答案，并且分组，$a$数组的该位是1的与$b$数组该位是0的在一组，因为只能这样配对，$a$数组的该位是0的就应该和$b$数组的该位是1的在一起，这样子分成两组，接下来的$check$是建立在每个组的基础上的，因为只能配对组内的，再分组也是已有的组分开，这样保证了前面的阿条件都是符合的。这样的做法可能会超内存。

另一种更妙的做法：我们不需要暴力去模拟，我们借助另一种方法来找出符合条件的数。当我们需要$checki$位时，我们只需要由于异或一定是0和1，那么我们对$b$数组的都取反，使$b$的0变为1，那么我们只需要检查$i$位是不是都是1，记$k=ans|(1<<i)$这样我们只需要先对$a\&$上$k$，$b$先取反，再$\&$上$k$，这样$a$数组和$b$数组应该是一模一样的(不包括顺序一样)，要检查他们是否相等，只需要排序逐个检查即可。

假设当前位不满足1的数量互补，那么排序完一定不一样。

如果数组相等，那么一定都满足了先前可行位的分组条件。

#include<bits/stdc++.h>
#define ll long long
using namespace std;

int a[100005],b[100005],c[100005],d[100005];

void work()
{
	int n,ans=0; scanf("%d",&n);
	for(int i=1;i<=n;i++) scanf("%d",&a[i]);
	for(int i=1;i<=n;i++) scanf("%d",&b[i]);
	auto check=[&](int k)->bool
	{
		for(int i=1;i<=n;i++) c[i]=a[i]&k;
		for(int i=1;i<=n;i++) d[i]=~b[i]&k;
		sort(c+1,c+1+n); sort(d+1,d+1+n);
		for(int i=1;i<=n;i++)
			if(c[i]!=d[i]) return false;
		return true;
	};
	for(int i=30;i>=0;i--)
		if(check(ans|(1<<i))) ans|=1<<i;
	printf("%d\n",ans);
}

int main()
{
	// freopen("in.txt","r",stdin);
	int t; cin>>t;
	while(t--) work();
	return 0;
}