BZOJ 4538: [Hnoi2016]网络
4538: [Hnoi2016]网络
Time Limit: 20 Sec Memory Limit: 128 MBSubmit: 1165 Solved: 430
[Submit][Status][Discuss]
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
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
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新加数据一组,未重测
Source
分析：
询问不覆盖某个点的树链的最大值...
考虑如果询问覆盖某个点的树链的最大值可以用树链剖分+线段树，线段树的每个节点维护一个堆，然后维护一下就好了...
现在如果要询问不覆盖某个点的最大值就把每个节点上的堆改成不覆盖这个区间的树链，也就是每次插入一条链的时候，把不包含这条链的线段树节点修改掉...
然后就很好写了...
但是这题貌似卡内存，据说求重儿子的时候把>改成>=就可以过了...忽然害怕.jpg
代码：
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>
//by NeighThorn
using namespace std;
const int maxn=100000+5;
int n,m,cnt,tim,fa[maxn],hd[maxn],to[maxn<<1],nxt[maxn<<1],siz[maxn],dep[maxn],dfn[maxn],top[maxn],son[maxn];
pair<int,int> pa[maxn];
struct Heap{
priority_queue<int> a,b;
inline void add(int x){
a.push(x);
}
inline void del(int x){
b.push(x);
}
inline int top(void){
while(!b.empty()&&a.top()==b.top()) a.pop(),b.pop();
return a.empty()?-1:a.top();
}
inline Heap(void) {};
};
struct M{
int l,r;
Heap pq;
}tree[maxn<<2];
struct Q{
int x,y,val;
}qq[maxn<<1];
inline void add(int x,int y){
to[cnt]=y;nxt[cnt]=hd[x];hd[x]=cnt++;
}
inline void dfs1(int x,int f){
siz[x]=1;
for(int i=hd[x];i!=-1;i=nxt[i])
if(to[i]!=f){
dep[to[i]]=dep[x]+1;fa[to[i]]=x;
dfs1(to[i],x);siz[x]+=siz[to[i]];
if(siz[to[i]]>=siz[son[x]]) son[x]=to[i];
}
}
inline void dfs2(int x,int t){
dfn[x]=++tim;top[x]=t;
if(son[x]==0) return;
dfs2(son[x],t);
for(int i=hd[x];i!=-1;i=nxt[i])
if(to[i]!=son[x]&&to[i]!=fa[x])
dfs2(to[i],to[i]);
}
inline void build(int l,int r,int tr){
tree[tr].l=l,tree[tr].r=r;
if(l==r) return;
int mid=(l+r)>>1;
build(l,mid,tr<<1),build(mid+1,r,tr<<1|1);
}
inline void change(int l,int r,int sxy,int val,int tr){
if(tree[tr].l==l&&tree[tr].r==r){
if(sxy==1) tree[tr].pq.add(val);
else tree[tr].pq.del(val);
return;
}
int mid=(tree[tr].l+tree[tr].r)>>1;
if(r<=mid)
change(l,r,sxy,val,tr<<1);
else if(l>mid)
change(l,r,sxy,val,tr<<1|1);
else
change(l,mid,sxy,val,tr<<1),change(mid+1,r,sxy,val,tr<<1|1);
}
inline int query(int pos,int tr){
if(tree[tr].l==tree[tr].r)
return tree[tr].pq.top();
int mid=(tree[tr].l+tree[tr].r)>>1;
if(pos<=mid)
return max(tree[tr].pq.top(),query(pos,tr<<1));
else
return max(tree[tr].pq.top(),query(pos,tr<<1|1));
}
inline void Change(int x,int y,int val,int sxy){
int cnt=0;
while(top[x]!=top[y]){
if(dep[top[x]]<dep[top[y]]) swap(x,y);
pa[++cnt]=make_pair(dfn[top[x]],dfn[x]);
x=fa[top[x]];
}
if(dep[x]>dep[y]) swap(x,y);
pa[++cnt]=make_pair(dfn[x],dfn[y]);
sort(pa+1,pa+cnt+1);
pa[0]=make_pair(0,0);
pa[++cnt]=make_pair(n+1,n+1);
for(int i=0,l,r;i<cnt;i++){
l=pa[i].second+1,r=pa[i+1].first-1;
if(l<=r) change(l,r,sxy,val,1);
}
}
signed main(void){
#ifndef ONLINE_JUDGE
freopen("in.txt","r",stdin);
#endif
memset(hd,-1,sizeof(hd));
scanf("%d%d",&n,&m);cnt=0;
for(int i=1,x,y;i<n;i++)
scanf("%d%d",&x,&y),add(x,y),add(y,x);
fa[1]=1,dfs1(1,-1);dfs2(1,1);build(1,n,1);
for(int q=1,x,y,v,type;q<=m;q++){
scanf("%d",&type);
if(type==0)
scanf("%d%d%d",&qq[q].x,&qq[q].y,&qq[q].val),Change(qq[q].x,qq[q].y,qq[q].val,1);
else if(type==1)
scanf("%d",&x),Change(qq[x].x,qq[x].y,qq[x].val,-1);
else
scanf("%d",&x),printf("%d\n",query(dfn[x],1));
}
return 0;
}
By NeighThorn
