CF1614C Divan and bitwise operations-CSDN博客

本文链接：https://blog.csdn.net/m0_66446138/article/details/135710530

题目【传送门】

· 已知一个含n个元素的序列，m个限制，l，r，x 表示 a[l] or a[l+1] or ...or a[r-1] or a[r] 求一种合法序列每个子集的异或和的和，保证至少存在一种合法序列，保证序列中每个数至少被一个限制覆盖，若有多个合法序列，则输出任意一种的答案即可，有多组数据。

分析

显然首先我们每一位能取 1 就取 1 是一定满足条件的。因此就变成了初始全部数是 $2^{30}-1$ 容易想到拆位用区间加维护。

由于题目给的条件一定能成立，那么只要有某个 x 在某一二进制位上为 1，那么必然有某个a[i] 在此位上也为 1。

由于题目保证每个 a[i] 至少被一个限制条件所覆盖，所以只要某一个二进制位所有 a[i] 值均为 0，那么所有 x 在此位上也均为 0。

由于题目保证序列中每个数至少被一个限制覆盖，所以所有a[i]的or只就为所有x的or值

对于这组样例先将所有格子赋为1

	①	②	③	④
第一位	1	1	0	0
第二位	1	1	0	1
第三位	1	1	0	0

题目需求合法序列每个子集的异或和的和，所有我们可以同过逐位处理由异或性质可知该位上只要有奇数个1 和任意个数的0，异或出的结果就为1

所以，第一位对答案的贡献为 ans1= $2^{2}*\binom{2}{1}*2^{2}=2^2*2^{3}$

第二位对答案的贡献为 ans2= $2^{1}*\left ( \binom{3}{1}+\binom{3}{3} \right )*2^{1}=2^{1}*2^{3}$

第三位对答案的贡献为ans3= $2^{0}*\binom{2}{1}*2^{2}=2^0*2^{3}$

然后就会发现ans= $\left ( 2^{0}+2^{1} +2^2\right )*2^3$ = $(a[1]|a[2]|...|a[n-1]|a[n])*2^{n-1}$ 。

Code

#include<bits/stdc++.h>
#define ll long long
#define Mod 1000000007
using namespace std;
ll T,n,m,l,r,x,a;
ll ksm(ll y)
{
	ll s=2,ans=1;
	while(y>0)
	{
		if(y&1) ans=(ans*s)%Mod;
		y>>=1; s=(s*s)%Mod;
	}
	return ans;
}//快速幂 求2^（n-1）
int main()
{
	scanf("%lld",&T);
	while(T--)
	{
		scanf("%lld%lld",&n,&m); a=0;
		for(int i=1;i<=m;i++) scanf("%lld%lld%lld",&l,&r,&x),a|=x;
		cout<<(a*ksm(n-1))%Mod<<"\n";
	}
	return 0;
}