51nod NOI科目校 信息学知识点测评-普及组综合测试 C 数对（非正解，但没有被卡掉）

原题链接

C 数对

题目大意

定义 $And$ 为按位与操作，$Xor$ 为按位异或操作。
给一个包含 $n$ 个元素的正整数序列 $a$，计算满足 $a_{i}And{a}_j\ge a_{i}Xor{a}_j$ 的 $(i,j)$$(i<j)$ 的数对数量。

解题思路

对于本蒟蒻来讲，这题还挺数学。
先了解一下 $And$ 的性质：$aAndb\le min(a,b)$ ，请记住，这很重要。
现在再来看 $Xor$ 的性质，由于位运算不够位数回自动补0，当出现两数 $a,b$ 时：
若 $\lfloor {\log }_{2}a\rfloor \ne \lfloor {\log }_{2}b\rfloor$（两数的二进制长度不相等），
则 $\lfloor {\log }_2(aXorb)\rfloor =\max (\lfloor {\log }_{2}a\rfloor ,\lfloor {\log }_{2}b\rfloor )$（因为较短的数会自动补0）
若 $\lfloor {\log }_{2}a\rfloor =\lfloor {\log }_{2}b\rfloor$（两数的二进制长度不相等），
则 $\lfloor {\log }_2(aXorb)\rfloor <{\log }_{2}a,\lfloor {\log }_2(aXorb)\rfloor <{\log }_{2}b$（因为第一位会变成0）
也就是说：$aXorb<\min (a,b)$
联系上文 $aAndb\le min(a,b)$ 我们可以发现，只有当 $\lfloor {\log }_{2}a\rfloor =\lfloor {\log }_{2}b\rfloor$ 时，$aAndb\le aXorb$ 才有可能实现。于是，我们可以将数列中的数按照二进制长度分类，再在每一类别中进行枚举，答案便出来了！
（非正解，若 $a$ 中所有的数以二为底的对数都一样，会被卡掉！）

代码实现

#include<bits/stdc++.h>
using namespace std;
int t,f[10010],a[10010],Log2_of_a[10010],n;
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin>>t;
	for(int i=1;i<=t;i++){
		cin>>n;
		int Max_a=0;
		vector<int> Log_2[10010];
		for(int j=1;j<=n;j++){
			cin>>a[j];
			Max_a=max(Max_a,a[j]);
			Log2_of_a[j]=floor(log2(a[j]));
			Log_2[Log2_of_a[j]].push_back(j);
		}
		int ans=0;
		for(int j=1;j<=n;j++){
			int log2a=Log2_of_a[j];
			for(int k=0;k<Log_2[log2a].size();k++){
				if(Log_2[log2a][k]!=j&&j<Log_2[log2a][k]){
					if((a[j]&a[Log_2[log2a][k]])>=(a[j]^a[Log_2[log2a][k]]))
						ans++;
				}
			}
		}
		cout<<ans<<endl;
	}
	return 0;
}