2018.08.22 NOIP模拟 or（线段树）

or

【描述】

构造一个长度为 n 的非负整数序列 x，满足 m 个条件，第 i 个条件为x[li] | x[li+1] | … | x[ri]=pi。

【输入】

第一行两个整数 n,m。接下来 m 行每行三个整数 li,ri,pi。

【输出】

如果存在这样的序列 x，第一行输出 Yes，第二行输出 n 个不超过 2^30-1 的非负整数表示x[1]~x[n]，否则输出一行 No

【输入样例 1】

2 1

1 2 1

【输出样例 1】

2 1

1 2 1

【子任务】

对于 30%的数据，n,m<=1000。

对于另外 30%的数据，pi<=1。

对于 100%的数据，n,m<=100000，1<=li<=ri<=n，0<=pi<2^30。

我承认这是sb线段树，考试的时候被毒了一波debuff，居然想到用二进制拆位给线段树加了一个30的常数。。。

于是被卡了40分。。。

事实上按位与或对于每一位二进制位是独立的，因此可以将30的常数去掉。

本机跑的飞快。。。

代码：

#include<bits/stdc++.h>
#define inf ((1<<30)-1)
#define lc (p<<1)
#define rc (p<<1|1)
#define mid (T[p].l+T[p].r>>1)
#define N 100005
using namespace std;
inline int read(){
    int ans=0;
    char ch=getchar();
    while(!isdigit(ch))ch=getchar();
    while(isdigit(ch))ans=(ans<<3)+(ans<<1)+(ch^48),ch=getchar();
    return ans;
}
inline void write(int x){
    if(x>9)write(x/10);
    putchar(x%10^48);
}
int n,m,L[N],R[N],P[N];
struct Node{int l,r,sum;}T[N<<2];
inline void pushup(int p){T[p].sum=T[lc].sum|T[rc].sum;}
inline void pushnow(int p,int v){T[p].sum&=v;}
inline void pushdown(int p){pushnow(lc,T[p].sum),pushnow(rc,T[p].sum);}
inline void build(int p,int l,int r){
    T[p].l=l,T[p].r=r;
    if(l==r){T[p].sum=inf;return;}
    build(lc,l,mid),build(rc,mid+1,r),pushup(p);
}
inline void update(int p,int ql,int qr,int v){
    if(ql>T[p].r||qr<T[p].l)return;
    if(ql<=T[p].l&&T[p].r<=qr)return pushnow(p,v);
    pushdown(p);
    if(qr<=mid)update(lc,ql,qr,v);
    else if(ql>mid)update(rc,ql,qr,v);
    else update(lc,ql,mid,v),update(rc,mid+1,qr,v);
    pushup(p);
}
inline int query(int p,int ql,int qr){
    if(ql>T[p].r||qr<T[p].l)return 0;
    if(ql<=T[p].l&&T[p].r<=qr)return T[p].sum;
    pushdown(p);
    if(qr<=mid)return query(lc,ql,qr);
    if(ql>mid)return query(rc,ql,qr);
    return query(lc,ql,mid)|query(rc,mid+1,qr);
}
inline void solve(int p){
    if(T[p].l==T[p].r){write(T[p].sum),putchar(' ');return;}
    pushdown(p);
    solve(lc),solve(rc);
}
int main(){
    freopen("or.in","r",stdin);
    freopen("or.out","w",stdout);
    n=read(),m=read();
    bool f=true;
    build(1,1,n);
    for(int i=1;i<=m;++i){
        L[i]=read(),R[i]=read(),P[i]=read();
        update(1,L[i],R[i],P[i]);
    }
    for(int i=1;i<=m;++i){
        int tmp=query(1,L[i],R[i]);
        if((tmp&P[i])!=P[i]){f=false;break;}
    }
    if(!f){puts("No");return 0;}
    puts("Yes");
    solve(1);
    return 0;
}