题意
构造一个长度为 n n n 序列满足 m m m 个限制条件,限制条件的格式为:对于区间 [ L , R ] [L,R] [L,R] 与运算结果为 X X X
题解
线段树维护区间 &,先记录下每个限制条件,然后对于限制 L , R , X L,R,X L,R,X ,将区间 [ L , R ] [L,R] [L,R] 对 X X X 进行或运算,这样能保证 [ L , R ] [L,R] [L,R]与运算结果为 X X 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)<<" ";
}