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新加数据一组,未重测
题解
考虑单组询问怎么做
可以二分一个答案
然后把权大于答案的路径交求出来
如果这个点在路径交中答案就肯定小于mid
不然就大于mid开搞
多组就加个整体二分
树状数组胡乱搞搞路径交…
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<cmath>
#include<queue>
#include<vector>
#include<ctime>
#include<map>
#include<bitset>
#define LL long long
#define mp(x,y) make_pair(x,y)
#define pll pair<long long,long long>
#define pii pair<int,int>
using namespace std;
inline LL read()
{
LL f=1,x=0;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
int stack[20];
inline void write(int x)
{
if(x<0){putchar('-');x=-x;}
if(!x){putchar('0');return;}
int top=0;
while(x)stack[++top]=x%10,x/=10;
while(top)putchar(stack[top--]+'0');
}
inline void pr1(int x){write(x);putchar(' ');}
inline void pr2(int x){write(x);putchar('\n');}
const int MAXN=100005;
const int MAXM=200005;
struct edge{int x,y,next;}a[MAXN*2];int len,last[MAXN];
void ins(int x,int y){len++;a[len].x=x;a[len].y=y;a[len].next=last[x];last[x]=len;}
int mn[20][2*MAXN],bin[25],dep[MAXN],dfn[2*MAXN],Log[2*MAXN],fir[MAXN],fa[MAXN],id;
int in[MAXN],ot[MAXN],id1;
int n,m;
void pre_tree_node(int x)
{
in[x]=++id1;dfn[++id]=x;fir[x]=id;
for(int k=last[x];k;k=a[k].next)
{
int y=a[k].y;
if(y!=fa[x])
{
fa[y]=x;
dep[y]=dep[x]+1;pre_tree_node(y);
dfn[++id]=x;
}
}
ot[x]=id1;
}
void init()
{
for(int i=1;i<=id;i++)mn[0][i]=dfn[i];
for(int i=1;bin[i]<=id;i++)
for(int x=1;x+bin[i]-1<=id;x++)
mn[i][x]=dep[mn[i-1][x]]<dep[mn[i-1][x+bin[i-1]]]?mn[i-1][x]:mn[i-1][x+bin[i-1]];
}
int lca(int x,int y)
{
x=fir[x];y=fir[y];
if(x>y)swap(x,y);
int K=Log[y-x+1];
return dep[mn[K][x]]<dep[mn[K][y-bin[K]+1]]?mn[K][x]:mn[K][y-bin[K]+1];
}
//-----------------------O1 lca--------------------------
int bittree[MAXN];
int lowbit(int x){return x&-x;}
void change(int x,int c){for(;x<=n;x+=lowbit(x))bittree[x]+=c;}
int findsum(int x){int ret=0;for(;x>=1;x-=lowbit(x))ret+=bittree[x];return ret;}
//------------------------Bit --------------------------
struct node
{
int op,a,b,c,v;
node(){}
node(int _op,int _a,int _b,int _c,int _v){op=_op;a=_a;b=_b;c=_c;v=_v;}
}w[MAXM],q1[MAXM],q2[MAXM];
int answer[MAXM],tot;
void query(int lval,int rval,int st,int ed)
{
if(st>ed)return ;
if(lval==rval)
{
for(int i=st;i<=ed;i++)if(w[i].op==2)answer[w[i].b]=lval;
return ;
}
int mid=(lval+rval)>>1,l1=0,l2=0;
int ct=0;
for(int i=st;i<=ed;i++)
{
if(w[i].op==2)
{
int o=findsum(ot[w[i].a])-findsum(in[w[i].a]-1);
if(o<ct)q2[++l2]=w[i];
else q1[++l1]=w[i];
}
else
{
if(w[i].v<=mid)q1[++l1]=w[i];
else
{
ct+=w[i].op;
change(in[w[i].a],w[i].op);
change(in[w[i].b],w[i].op);
change(in[w[i].c],-w[i].op);
if(fa[w[i].c])change(in[fa[w[i].c]],-w[i].op);
q2[++l2]=w[i];
}
}
}
for(int i=st;i<=ed;i++)if(w[i].op!=2&&w[i].v>mid)
{
change(in[w[i].a],-w[i].op);
change(in[w[i].b],-w[i].op);
change(in[w[i].c],w[i].op);
if(fa[w[i].c])change(in[fa[w[i].c]],w[i].op);
}
for(int i=1;i<=l1;i++)w[st+i-1]=q1[i];
for(int i=1;i<=l2;i++)w[st+l1+i-1]=q2[i];
query(lval,mid,st,st+l1-1);query(mid+1,rval,st+l1,ed);
}
struct lin
{
int a,b,v;
lin(){}
lin(int _a,int _b,int _v){a=_a;b=_b;v=_v;}
}qq[MAXM];
int main()
{
// freopen("1.in","r",stdin);
// freopen("a.out","w",stdout);
Log[1]=0;for(int i=2;i<=200000;i++)Log[i]=Log[i>>1]+1;
bin[0]=1;for(int i=1;i<=20;i++)bin[i]=bin[i-1]<<1;
n=read();m=read();
for(int i=1;i<n;i++)
{
int x=read(),y=read();
ins(x,y);ins(y,x);
}
pre_tree_node(1);
init();
int mx=0;
for(int i=1;i<=m;i++)
{
int type=read(),a=read();
if(!type)
{
int b=read(),v=read();mx=max(mx,v);
int LA=lca(a,b);
w[i]=node(1,a,b,LA,v);
qq[i]=lin(a,b,v);
}
else if(type==1)
{
int x=qq[a].a,y=qq[a].b,c=qq[a].v;
int LA=lca(x,y);
w[i]=node(-1,x,y,LA,c);
}
else w[i]=node(2,a,++tot,0,0);
}
query(0,mx+1,1,m);
for(int i=1;i<=tot;i++)
{
if(answer[i]>=1&&answer[i]<=mx)pr2(answer[i]);
else puts("-1");
}
return 0;
}