[BZOJ4538][HNOI2016]网络-线段树-树链剖分

网络

Description

　　一个简单的网络系统可以被描述成一棵无根树。每个节点为一个服务器。连接服务器与服务器的数据线则看做一条树边。两个服务器进行数据的交互时，数据会经过连接这两个服务器的路径上的所有服务器（包括这两个服务器自身）。
　　由于这条路径是唯一的，当路径上的某个服务器出现故障，无法正常运行时，数据便无法交互。此外，每个数据交互请求都有一个重要度，越重要的请求显然需要得到越高的优先处理权。现在，你作为一个网络系统的管理员，要监控整个系统的运行状态。系统的运行也是很简单的，在每一个时刻，只有可能出现下列三种事件中的一种：
　　
　　1. 在某两个服务器之间出现一条新的数据交互请求；
　　2. 某个数据交互结束请求；
　　3. 某个服务器出现故障。系统会在任何故障发生后立即修复。也就是在出现故障的时刻之后，这个服务器依然是正常的。但在服务器产生故障时依然会对需要经过该服务器的数据交互请求造成影响。
　　
　　你的任务是在每次出现故障时，维护未被影响的请求中重要度的最大值。注意，如果一个数据交互请求已经结束，则不将其纳入未被影响的请求范围。

Input

　　第一行两个正整数n,m，分别描述服务器和事件个数。服务器编号是从1开始的，因此n个服务器的编号依次是1,2,3,…,n。
　　接下来n-1行，每行两个正整数u,v，描述一条树边。u和v是服务器的编号。
　　接下来m行，按发生时刻依次描述每一个事件；即第i行（i=1,2,3,…,m）描述时刻i发生的事件。每行的第一个数type描述事件类型，共3种类型：
　　（1）若type=0，之后有三个正整数a,b,v，表示服务器a,b之间出现一条重要度为v的数据交互请求；
　　（2）若type=1，之后有一个正整数t，表示时刻t（也就是第t个发生的事件）出现的数据交互请求结束；
　　（3）若type=2，之后有一个正整数x，表示服务器x在这一时刻出现了故障。
　　对于每个type为2的事件，就是一次询问，即询问“当服务器x发生故障时，未被影响的请求中重要度的最大值是多少？”注意可能有某个服务器自身与自身进行数据交互的情况。2 ≤ n ≤ 10^5, 1 ≤ m ≤ 2×10^5，其他的所有输入值不超过 10^9

Output

　　对于每个type=2的事件，即服务器出现故障的事件，输出一行一个整数，描述未被影响的请求中重要度的最大值。如果此时没有任何请求，或者所有请求均被影响，则输出-1。

Sample Input

13 23
1 2
1 3
2 4
2 5
3 6
3 7
4 8
4 9
6 10
6 11
7 12
7 13
2 1
0 8 13 3
0 9 12 5
2 9
2 8
2 2
0 10 12 1
2 2
1 3
2 7
2 1
0 9 5 6
2 4
2 5
1 7
0 9 12 4
0 10 5 7
2 1
2 4
2 12
1 2
2 5
2 3

Sample Output

-1
3
5
-1
1
-1
1
1
3
6
7
7
4
6

HINT

样例给出的树如下所示：

解释其中的部分询问；下面的解释中用(a,b;t,v)表示在t时刻出现的服务器a和b之间的重要度为v的请求：

对于第一个询问（在时刻1），此时没有任何请求，输出-1。
对于第四个询问（在时刻6），此时有两条交互(8,13;2,3),(9,12;3,5)，所有询问均经过2号服务器，输出-1。
对于第五个询问（在时刻8），此时有三条交互(8,13;2,3),(9,12;3,5),(10,12;7,1)，只有交互(10,12;7,1)没有经过2号服务器，因此输出其重要度1。
对于最后一个询问（在时刻23），此时有三条交互(9,5;12,6),(9,12;16,4),(10,5;17,7)。当3号服务器出现故障时，只有交互(9,5;12,6)没有经过3号服务器，因此输出6。

2016.5.20新加数据一组,未重测

---

工业题+不知从何而来的手感=手打一遍过=30min收工

---

思路:
考虑将每次修改改为对这条路径的补集进行添加，那么询问就是单点询问了。
找到补集的方法:将树链剖分后链修改的所有目标区间排序，它们之间的空隙即为补集。

考虑使用树链剖分和线段树维护答案。
对于线段树，在每个节点放一个支持删除的优先队列，进行标记永久化而不下传即可。
对于支持删除的优先队列，考虑维护两个堆，其中一个代表要删除的元素，在进行任何操作之前若发现两个堆堆顶元素值相同，则同时弹出即可~

接着都是线段树基本操作了~

#include<bits/stdc++.h>
using namespace std;

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

template<typename t> struct heap
{
    priority_queue<t> q,d;
    inline void flush(){while(!d.empty() && q.top()==d.top())q.pop(),d.pop();}
    inline void push(t x){flush();q.push(x);}
    inline void pop(t x){flush();d.push(x);}
    inline bool empty(){flush();return q.empty();}
    inline t top(){flush();return q.top();}
};

inline int maxx(int a,int b){return a>b?a:b;}
inline void chkmax(int &a,int b){if(a<b)a=b;}

typedef pair<int,int> pr;
const int N=1e5+9;
const int M=2e5+9;

namespace segt
{
    heap<int> t[N<<2];

    inline void push(int x,int l,int r,int dl,int dr,int v)
    {
        if(dl==l && r==dr){t[x].push(v);return;}int mid=l+r>>1;
        if(dr<=mid)push(x<<1,l,mid,dl,dr,v);
        else if(mid<dl)push(x<<1|1,mid+1,r,dl,dr,v);
        else push(x<<1,l,mid,dl,mid,v),push(x<<1|1,mid+1,r,mid+1,dr,v);
    }

    inline void pop(int x,int l,int r,int dl,int dr,int v)
    {
        if(dl==l && r==dr){t[x].pop(v);return;}int mid=l+r>>1;
        if(dr<=mid)pop(x<<1,l,mid,dl,dr,v);
        else if(mid<dl)pop(x<<1|1,mid+1,r,dl,dr,v);
        else pop(x<<1,l,mid,dl,mid,v),pop(x<<1|1,mid+1,r,mid+1,dr,v);
    }

    inline int query(int x,int l,int r,int p)
    {
        if(l==r)return t[x].empty()?-1:t[x].top();int mid=l+r>>1;
        int ret=t[x].empty()?-1:t[x].top();
        if(p<=mid)chkmax(ret,query(x<<1,l,mid,p));
        else chkmax(ret,query(x<<1|1,mid+1,r,p));
        return ret;
    }
}

struct event
{
    int a,b,v;
}e[M];

int n,m;
int id[N],ed[N],seg[N],dfn;
int to[N<<1],nxt[N<<1],beg[N],tot;
int fa[N],dep[N],siz[N],son[N],top[N];
vector<pr> vec;

inline void add(int u,int v)
{
    to[++tot]=v;
    nxt[tot]=beg[u];
    beg[u]=tot;
}

inline void dfs(int u)
{
    siz[u]=1;son[u]=0;
    for(int i=beg[u];i;i=nxt[i])
        if(to[i]!=fa[u])
        {
            fa[to[i]]=u;
            dep[to[i]]=dep[u]+1;
            dfs(to[i]);
            siz[u]+=siz[to[i]];
            if(!son[u] || siz[son[u]]<=siz[to[i]])
                son[u]=to[i];
        }
}

inline void dfs2(int u)
{
    seg[id[u]=++dfn]=u;
    if(son[u])
    {
        top[son[u]]=top[u];
        dfs2(son[u]);
        for(int i=beg[u];i;i=nxt[i])
            if(to[i]!=fa[u] && to[i]!=son[u])
                dfs2(top[to[i]]=to[i]);
    }
    ed[u]=dfn;
}

inline void getseq(int a,int b)
{
    vec.clear();
    while(top[a]!=top[b])
    {
        if(dep[top[a]]>dep[top[b]])swap(a,b);
        vec.push_back(pr(id[top[b]],id[b]));
        b=fa[top[b]];
    }
    if(dep[a]>dep[b])swap(a,b);
    vec.push_back(pr(id[a],id[b]));
    vec.push_back(pr(n+1,n+1));
    vec.push_back(pr(0,0));
    sort(vec.begin(),vec.end());
}

inline void modify(int a,int b,int v,void (*f)(int,int,int,int,int,int))
{
    getseq(a,b);
    for(int i=1;i<vec.size();i++)
        if(vec[i-1].second+1<=vec[i].first-1)
            f(1,1,n,vec[i-1].second+1,vec[i].first-1,v);
}

inline int query(int x)
{
    return segt::query(1,1,n,id[x]);
}

int main()
{
    n=read();m=read();
    for(int i=1,u,v;i<n;i++)
    {
        u=read();v=read();
        add(u,v);add(v,u);
    }

    dfs(dep[1]=1);
    dfs2(top[1]=1);

    for(int _=1,ty,a,b,v;_<=m;_++)
    {
        ty=read();a=read();
        if(ty==0)
        {
            b=read();v=read();
            e[_]=(event){a,b,v};
            modify(a,b,v,segt::push);
        }
        else if(ty==1)
            modify(e[a].a,e[a].b,e[a].v,segt::pop);
        else
            printf("%d\n",query(a));
    }

    return 0;
}