Codeforces Round #275 (Div. 2) D. Interesting Array（线段树+位运算+构造）

题目链接

题意：给出m对约束，问你能不能构造出一个数组满足这m个约束，每一个约束都是l，r，x代表a【l】&a【l+1】&a【l+2】。。。&a【r】=x；
思路：一开始想着给每个区间直接赋值，区间相交的部分就用一个超大数（1111111.。。）来代替，但是这样解决不了一些包含区间的约束，后来想了一个超复杂的算法也是实现不了，果断还是看题解了。。。这个思路这是神奇，（a|b）&a=a，（a|b）&b=b，利用这个性质就可以构造了，之后就利用线段树区间更新，update完之后再查询一下每个约束是否还成立，因为后面更新的约束有可能会对前面的约束产生影响。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll; 
const int maxn=1e5+1;
struct node{
	int l,r,sum,lazy;
}tree[maxn<<2];
int n,m,l[maxn],r[maxn],q[maxn];
void pushup(int x)
{
	tree[x].sum=(tree[x<<1].sum&tree[x<<1|1].sum);
}
void pushdown(int x)
{
	if(tree[x].lazy)
	{
		tree[x<<1].sum|=tree[x].lazy;
		tree[x<<1|1].sum|=tree[x].lazy;
		tree[x<<1].lazy|=tree[x].lazy;
		tree[x<<1|1].lazy|=tree[x].lazy;
		tree[x].lazy=0;
	}
}
void build(int x,int l,int r)
{
	tree[x].l=l,tree[x].r=r;
	if(l==r) {
		tree[x].sum=0;return ;
	}
	int mid=(l+r)>>1;
	build(x<<1,l,mid);
	build(x<<1|1,mid+1,r);
	pushup(x);
}
void update(int x,int l,int r,int v)
{
	if(l<=tree[x].l&&tree[x].r<=r)
	{
		tree[x].sum|=v;
		tree[x].lazy|=v;
		return ;
	}
	pushdown(x);
	int mid=(tree[x].l+tree[x].r)>>1;
	if(l<=mid) update(x<<1,l,r,v);
	if(mid<r) update(x<<1|1,l,r,v);
	pushup(x);
}
int query(int x,int l,int r)
{
	if(l<=tree[x].l&&tree[x].r<=r) return tree[x].sum;
	pushdown(x);
	int mid=(tree[x].l+tree[x].r)>>1;
	if(r<=mid) return query(x<<1,l,r);
	else if(l>mid) return query(x<<1|1,l,r);
	else return query(x<<1,l,mid)&query(x<<1|1,mid+1,r); 
	pushup(x);
}
int main()
{
	scanf("%d%d",&n,&m);
	build(1,1,n);
	for(int i=1;i<=m;++i) 
	{
		scanf("%d %d %d",&l[i],&r[i],&q[i]);
		update(1,l[i],r[i],q[i]);
	}
	for(int i=1;i<=m;++i)
	if(query(1,l[i],r[i])!=q[i]){
		puts("NO");return 0;
	}
	puts("YES");
	for(int i=1;i<=n;++i) printf("%d ",query(1,i,i));
}