CF1614C Divan and bitwise operations

题目 【传送门】

·        已知一个含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
        5 4
        1 2 7
        3 3 7
        4 4 0
        4 5 2

题目需求合法序列每个子集的异或和的和,所有我们可以同过逐位处理                                            由异或性质可知该位上只要有奇数个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
#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;
}

你可能感兴趣的:(思维,算法)