Codeforces Round #275 D. Interesting Array 【线段树】

题目链接

题意

构造一个长度为 $n$ 序列满足 $m$ 个限制条件，限制条件的格式为：对于区间 $[L,R]$ 与运算结果为 $X$

题解

线段树维护区间 &，先记录下每个限制条件，然后对于限制 $L,R,X$ ，将区间 $[L,R]$ 对 $X$ 进行或运算，这样能保证$[L,R]$与运算结果为$X$，最后遍历一遍限制条件，看是否都符合

#include<iostream>
#include<sstream>
#include<string>
#include<queue>
#include<map>
#include<unordered_map>
#include<set>
#include<vector>
#include<stack>
#include <utility>
#include<list>
#include<bitset>
#include<algorithm>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<iomanip>
#include<time.h>
#include<random>
using namespace std;
#include<ext/pb_ds/priority_queue.hpp>
#include<ext/pb_ds/tree_policy.hpp>
#include<ext/pb_ds/assoc_container.hpp>
#include<ext/pb_ds/hash_policy.hpp>
using namespace __gnu_pbds;
#include<ext/rope>
using namespace __gnu_cxx;

#define int long long
#define PI acos(-1.0)
#define eps 1e-9
#define lowbit(a) ((a)&-(a))

const int mod = 1e9+7;
int qpow(int a,int b){
	int ans=1;
	while(b){
		if(b&1)ans=(ans*a)%mod;
		a=(a*a)%mod;
		b>>=1;
	}
	return ans;
}
const int INF = 0x3f3f3f3f;
const int N = 1e6+10;
struct node{
	int l,r,mid;
	int w,tag; 
}seg[N];
struct limit{
	int l,r,w;
}a[N];
void pu(int rt){seg[rt].w=seg[rt<<1].w&seg[rt<<1|1].w;}
void pd(int rt){
	seg[rt<<1].w|=seg[rt].tag,seg[rt<<1].tag|=seg[rt].tag;
	seg[rt<<1|1].w|=seg[rt].tag,seg[rt<<1|1].tag|=seg[rt].tag;
	seg[rt].tag=0;
}
void build(int rt,int l,int r){
	int mid=(l+r)>>1;
	seg[rt]={l,r,mid,0,0};
	if(l==r)return;
	build(rt<<1,l,mid),build(rt<<1|1,mid+1,r);
}
void update(int rt,int l,int r,int val){
	if(seg[rt].l>r||seg[rt].r<l)return;
	if(l<=seg[rt].l&&seg[rt].r<=r){seg[rt].w|=val,seg[rt].tag|=val;return;}
	if(seg[rt].tag)pd(rt);
	if(seg[rt].mid>=l)update(rt<<1,l,r,val);
	if(seg[rt].mid<r)update(rt<<1|1,l,r,val);
	pu(rt);
}
int query(int rt,int l,int r){
	if(l<=seg[rt].l&&seg[rt].r<=r)return seg[rt].w;
	if(seg[rt].tag)pd(rt);
	int ans=(1<<30)-1;
	if(seg[rt].mid>=l)ans&=query(rt<<1,l,r);
	if(seg[rt].mid<r)ans&=query(rt<<1|1,l,r);
	pu(rt);
	return ans;
}
#define endl '\n'
signed main(){
	std::ios::sync_with_stdio(false);
	cin.tie(0),cout.tie(0);
	int n,m; cin>>n>>m;
	build(1,1,n);
	for(int i=1;i<=m;i++){
		cin>>a[i].l>>a[i].r>>a[i].w;
		update(1,a[i].l,a[i].r,a[i].w);
	}
	int flag=1;
	for(int i=1;i<=m;i++){//判断是否满足所有限制条件
		if(query(1,a[i].l,a[i].r)!=a[i].w)flag=0;
	}
	if(!flag){cout<<"NO"<<endl;return 0;}
	cout<<"YES"<<endl;
	for(int i=1;i<=n;i++)cout<<query(1,i,i)<<" ";
}