NOI2015补全+解题报告

快考NOI2016了，才开始刷真题……

DAY1

T1 prog

Description

给定一些等式和不等式的约束条件，判断所有的条件是否矛盾。

Solution

跳过不等条件直接用并查集维护相等条件，然后用不等条件判定是否矛盾，因为下标会比较大所以要离散化。

Code

#include<cctype>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>

#define maxn 1000000+5

using namespace std;

typedef long long LL;

LL s1[maxn],s2[maxn],a[maxn<<1];
int d[maxn<<1],lim[maxn];
int n,cnt;

inline int in(){
    int x=0; char ch=getchar();
    for(;!isdigit(ch);ch=getchar());
    for(; isdigit(ch);ch=getchar()) x=x*10+ch-'0';
    return x;
}

inline int init(){
    for(int i=1;i<=n;i++) d[i]=i;
    cnt=0;
} 

int find(int x){
    if(d[x]==x) return x;
    return d[x]=find(d[x]);
}

void unite(int x,int y){
    int a=find(x),b=find(y);
    if(a==b) return;
    d[a]=b;
}

int main(){
    int T=in();
    while(T--){
        n=in(); init();
        for(int i=1;i<=n;i++){
            scanf("%lld%lld%d",&s1[i],&s2[i],&lim[i]);
            a[++cnt]=s1[i]; a[++cnt]=s2[i];
        }
        sort(a+1,a+1+cnt);
        int tot=0,flag=0;
        for(int i=1;i<=cnt;i++)
            if(a[i]!=a[i-1]) a[++tot]=a[i];
        for(int i=1;i<=n;i++){
            s1[i]=lower_bound(a+1,a+1+tot,s1[i])-a;
            s2[i]=lower_bound(a+1,a+1+tot,s2[i])-a;
            if(lim[i]==1) unite(s1[i],s2[i]);
        }
        for(int i=1;i<=n;i++)
            if(lim[i]==0 && find(s1[i])==find(s2[i])){
                flag=1; break;
            }

        if(!flag) puts("YES");
        else puts("NO");
    }
    return 0;
}

T2 manager

Description

给定一些依赖关系形成的一颗有根树，并且给出两个操作：
1. 标记某个点，并把其依赖的所有点标记
2. 删除某个点的标记，并且把依赖这个点的所有有标记的点都删除
每次操作都询问本次操作会改变多少个点的标记状态。

Solution

这个操作说明白点就是删除一颗子树的标记和添加一条树链上的标记，都是树链剖分的经典操作……前者直接向上回溯维护每条重链上的标记并且记录改变量，后者就是利用dfs序把一颗子树在线段树中的区间都修改了，同时记录改变量。

Code

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>

#define maxn 100000+5

using namespace std;

struct Seg_tree{
    int l,r;
    int sz,tag,add;
}tr[maxn<<2];

struct Edge{
    int u,v;
    int nxt;
}e[maxn<<2];

char ins[10];
int head[maxn],top[maxn],sz[maxn],w[maxn],dep[maxn],son[maxn],fa[maxn];
int n,m,ind,cnt;

inline int in(){
    int x=0;
    char ch=getchar();
    while(ch<'0' || ch>'9') ch=getchar();
    while(ch>='0' && ch<='9') x=x*10+ch-'0',ch=getchar();
    return x;
}

void addedge(int x,int y){
    e[ind]=(Edge){x,y,head[x]},head[x]=ind++;
    e[ind]=(Edge){y,x,head[y]},head[y]=ind++;
}

void dfs1(int t,int p,int depth){
    sz[t]=1; dep[t]=depth;
    for(int i=head[t];i!=-1;i=e[i].nxt)
        if(e[i].v!=p){
            dfs1(e[i].v,t,depth+1);
            sz[t]+=sz[e[i].v]; fa[e[i].v]=t;
            if(sz[son[t]]<sz[e[i].v]) son[t]=e[i].v;
        }
}

void dfs2(int t,int p,int tp){
    top[t]=tp;
    if(son[t]){
        w[son[t]]=++cnt;
        dfs2(son[t],t,tp);
    }
    for(int i=head[t];i!=-1;i=e[i].nxt)
        if(e[i].v!=son[t] && e[i].v!=p){
            w[e[i].v]=++cnt;
            dfs2(e[i].v,t,e[i].v);
        }
}

void Pushdown(int k){
    int l=k<<1,r=k<<1|1;
    if(tr[k].tag){
        tr[l].sz=tr[k].add*(tr[l].r-tr[l].l+1);
        tr[r].sz=tr[k].add*(tr[r].r-tr[r].l+1);
        tr[l].tag=tr[r].tag=1;
        tr[l].add=tr[r].add=tr[k].add;
        tr[k].tag=tr[k].add=0;
    }
}

void Update(int k){
    tr[k].sz=tr[k<<1].sz+tr[k<<1|1].sz;
}

void Modify(int l,int r,int val,int k){
    Pushdown(k);
    if(tr[k].l==l && tr[k].r==r){
        tr[k].tag=1; tr[k].add=val;
        tr[k].sz=val*(tr[k].r-tr[k].l+1);
        return;
    }
    if(r<=tr[k<<1].r) Modify(l,r,val,k<<1);
    else if(l>=tr[k<<1|1].l) Modify(l,r,val,k<<1|1);
    else Modify(l,tr[k<<1].r,val,k<<1),Modify(tr[k<<1|1].l,r,val,k<<1|1);
    Update(k);
}

int Query(int l,int r,int k){
    Pushdown(k);
    if(tr[k].l==l && tr[k].r==r) return tr[k].sz;
    int tmp;
    if(r<=tr[k<<1].r) tmp=Query(l,r,k<<1);
    else if(l>=tr[k<<1|1].l) tmp=Query(l,r,k<<1|1);
    else tmp=Query(l,tr[k<<1].r,k<<1)+Query(tr[k<<1|1].l,r,k<<1|1);
    Update(k);
    return tmp;
}

void Build(int l,int r,int k){
    tr[k].l=l; tr[k].r=r;
    if(l==r) return;
    int mid=(l+r)>>1;
    Build(l,mid,k<