题意:
思路:
在位运算视角中,一个数大于另一个数,要看从高位到低位第一个不同的位置,大的那个数为1,小的那个数为0,这个位置前面的所有位都相同
然后考虑这两个运算:与和异或
要使前几位经过这两种操作的结果都相同,只能是0 0了
然后遇到第一位不同的,要使与的结果是1,异或的结果是0,只能是1 1了
因此我们可以得出结论:ai&aj > ai^aj 的充要条件是highbit相同
我们把序列的所有数都变成它们的highbit,问题就变成:
这个序列中相同的pair有多少对
那么用map维护一下,这一种数就有C(2,map[ai])对
统计一下即可
Code:
#include <bits/stdc++.h>
using namespace std;
const int mxn=2e5+10;
#define int long long
int a[mxn],b[mxn],c[mxn];
unordered_map<int,int> mp;
void solve(){
mp.clear();
int n,ans=0;
scanf("%lld",&n);
for(int i=1;i<=n;i++) b[i]=0;
for(int i=1;i<=n;i++){
scanf("%lld",&a[i]);
for(int j=30;j>=0;j--){
if((a[i]>>j)&1){
b[i]=j;
mp[b[i]]++;
break;
}
}
}
sort(b+1,b+1+n);
int len=unique(b+1,b+1+n)-b-1;
for(int i=1;i<=len;i++){
ans+=mp[b[i]]*(mp[b[i]]-1)/2;
}
printf("%lld\n",ans);
}
signed main(){
c[2]=1;
for(int i=1;i<=33;i++) c[i]=c[i-1]+(i-1);
int T=1;
//scanf("%lld",&T);
while(T--){
solve();
}
return 0;
}
总结:
bitmask:
位运算不等式
在位运算视角中,一个数大于另一个数,要看从高位到低位第一个不同的位置,大的那个数为1,小的那个数为0,这个位置前面的所有位都相同
然后根据位运算的符号去推断前面几位相同的充要条件是什么,第i位不同的充要条件是什么就好了