题目：http://acm.hdu.edu.cn/showproblem.php?pid=5511
题意：割一些边使得无向图变成不连通的，并且恰好割了两条给定生成树上的边。满足非树边两段一定在给定生成树的根的不同子树里。求最小边数。
看了题解。
一直考虑割出来的是树上的连通块之类的。
其实考虑讨论那两条树边的关系。
1.两条边是祖先--后代关系。
答案就是它们之间夹着的连通块伸出去的非树边条数+2。所以两条边离得越近越好。
那么就是一个点的父亲边+该点父亲的父亲边。O(n)枚举即可。
注意1号点没有父亲边。
2.两条边不是祖先--后代关系。
那么两条边引导了两个子树。答案就是这两个子树伸出去的非树边条数 - 两个子树相互的非树边条数*2 + 2 。
然后又不太会了。
其实考虑答案形如 d[ x ] + d[ y ] - 2*cnt( x, y ) ，那么枚举 x ，用线段树维护 d[ y ] - 2*cnt( x, y ) 的最小值即可。注意1号点不能参与。
那么就是线段树合并得到 cnt( ) ，再加入当前根 cr 的贡献，就是 cr 连出去的点 y ， y 到父亲的链上的值都 - 2 。
还要把 cr 的位置设成 INF 。
动态开点。每个点的初值是 “只考虑 d[ ] 不考虑 cnt ，区间最小值” 。这个可以预处理。借鉴了 Claris 的写法，把该值记在以 cr << 1 , cr<<1|1 为结构得到的线段树角标上。
注意如果没有左孩子或右孩子之类的，调用的是上述初值而不是 0 或 INF 。
直接线段树合并，空间不行。考虑像 dsu on tree 一样，每个点继承其重孩子的线段树。线段树合并之后，轻孩子的线段树节点都删掉。这样同时又 log 个线段树，空间可行。
#include<cstdio> #include<cstring> #include<algorithm> #include<vector> #define pb push_back #define ls Ls[cr] #define rs Rs[cr] using namespace std; int rdn() { int ret=0;bool fx=1;char ch=getchar(); while(ch>'9'||ch<'0'){if(ch=='-')fx=0;ch=getchar();} while(ch>='0'&&ch<='9')ret=ret*10+ch-'0',ch=getchar(); return fx?ret:-ret; } int Mx(int a,int b){return a>b?a:b;} int Mn(int a,int b){return a<b?a:b;} const int N=2e4+5,M=N*60,INF=1e6+5; int n,m,hd[N],xnt,to[N<<1],nxt[N<<1],rd[N],ans; int tim,dfn[N],dy[N],top[N],son[N],siz[N],fa[N],dep[N]; int rt[N],tot,Ls[M],Rs[M],mn[M],tg[M]; int w[N<<2],dlpl[M],dtop; vector<int> vt[N]; void init() { xnt=0; for(int i=1;i<=n;i++)hd[i]=0; tim=tot=dtop=0; for(int i=1;i<=n;i++)vector<int>().swap(vt[i]); for(int i=1;i<=n;i++)son[i]=0;/// for(int i=1;i<=n;i++)rt[i]=0;/// for(int i=1;i<=n*4;i++)w[i]=INF; } void add(int x,int y) {to[++xnt]=y;nxt[xnt]=hd[x];hd[x]=xnt;} void ini_build(int l,int r,int cr) { if(l==r) {if(dy[l]==1)w[cr]=INF;else w[cr]=rd[dy[l]];return;} int mid=l+r>>1; ini_build(l,mid,cr<<1); ini_build(mid+1,r,cr<<1|1); w[cr]=Mn(w[cr<<1],w[cr<<1|1]); } void dfs(int cr,int f) { fa[cr]=f; dep[cr]=dep[f]+1; siz[cr]=1; rd[cr]=vt[cr].size(); for(int i=hd[cr],v;i;i=nxt[i]) if((v=to[i])!=f) { dfs(v,cr); rd[cr]+=rd[v]; siz[cr]+=siz[v]; if(siz[v]>siz[son[cr]])son[cr]=v; } if(cr==1)return;// for(int i=hd[cr],v;i;i=nxt[i]) if((v=to[i])!=f) ans=Mn(ans,rd[cr]-rd[v]); } void dfsx(int cr,int f) { dfn[cr]=++tim; dy[tim]=cr; if(son[cr]){ top[son[cr]]=top[cr];dfsx(son[cr],cr);} for(int i=hd[cr],v;i;i=nxt[i]) if((v=to[i])!=f&&v!=son[cr]) { top[v]=v; dfsx(v,cr);} } int nwnd(int id) { int cr; if(dtop)cr=dlpl[dtop--]; else cr=++tot; ls=rs=tg[cr]=0; mn[cr]=w[id]; return cr; } void del(int x){ dlpl[++dtop]=x;} void pshp(int cr,int id)//if!!! { if(ls)mn[cr]=mn[ls]; else mn[cr]=w[id<<1]; if(rs)mn[cr]=Mn(mn[cr],mn[rs]); else mn[cr]=Mn(mn[cr],w[id<<1|1]); } void pshd(int cr,int id) { if(!tg[cr])return; int w=tg[cr]; tg[cr]=0; if(!ls)ls=nwnd(id<<1); if(!rs)rs=nwnd(id<<1|1); tg[ls]+=w; tg[rs]+=w; mn[ls]+=w; mn[rs]+=w; } void mdfy(int l,int r,int &cr,int id,int p) { if(!cr)cr=nwnd(id); if(l==r){mn[cr]=INF;return;} int mid=l+r>>1; pshd(cr,id); if(p<=mid)mdfy(l,mid,ls,id<<1,p); else mdfy(mid+1,r,rs,id<<1|1,p); pshp(cr,id); } void add(int l,int r,int &cr,int id,int L,int R) { if(!cr)cr=nwnd(id); if(l>=L&&r<=R){tg[cr]-=2;mn[cr]-=2;return;} int mid=l+r>>1; pshd(cr,id); if(L<=mid)add(l,mid,ls,id<<1,L,R); if(mid<R)add(mid+1,r,rs,id<<1|1,L,R); pshp(cr,id); } void mrg(int l,int r,int &cr,int id,int v) { if(!cr){cr=v;return;} if(!v)return; if(l==r) { if(mn[cr]==INF||mn[v]==INF)mn[cr]=INF; else {mn[cr]+=mn[v]; mn[cr]-=rd[dy[l]];} del(v); return; } int mid=l+r>>1; pshd(cr,id); pshd(v,id); mrg(l,mid,ls,id<<1,Ls[v]); mrg(mid+1,r,rs,id<<1|1,Rs[v]); pshp(cr,id); del(v); } void solve(int cr) { if(son[cr]){ solve(son[cr]); rt[cr]=rt[son[cr]];} for(int i=hd[cr],v;i;i=nxt[i]) if((v=to[i])!=fa[cr]&&v!=son[cr]) { solve(v); mrg(1,n,rt[cr],1,rt[v]); } if(cr==1)return;////!!! mdfy(1,n,rt[cr],1,dfn[cr]); for(int i=0,lm=vt[cr].size();i<lm;i++) { int x=vt[cr][i]; while(top[x]!=1) { add(1,n,rt[cr],1,dfn[top[x]],dfn[x]); x=fa[top[x]]; } if(x>1)add(1,n,rt[cr],1,2,dfn[x]);///no 1 } ans=Mn(ans,rd[cr]+mn[rt[cr]]); } int main() { int T=rdn(); for(int t=1;t<=T;t++) { n=rdn();m=rdn(); init(); for(int i=1,u,v;i<n;i++) { u=rdn();v=rdn();add(u,v);add(v,u); } for(int i=n,u,v;i<=m;i++) { u=rdn();v=rdn(); vt[u].pb(v); vt[v].pb(u); } ans=INF; dfs(1,0); top[1]=1; dfsx(1,0); ini_build(1,n,1); solve(1); printf("Case #%d: %d ",t,ans+2); } return 0; }