2015沈阳网络赛 HDU 5452 Minimum Cut（树上差分）

题目链接：HDU 5452 Minimum Cut
题意：给出一颗生成树，以及一些非树边，共同构成一个图，删掉一条树边以及删掉$>=0$条非树边可以使得图不联通，最少的删除数是多少。
经典的树上差分，只有删除条件与352. 闇の連鎖不同。
考虑每条非树边对树边的覆盖情况，一条从x->y的链会对路径上的所有边都覆盖一次，我们规定1为树根，用每条边的儿子来表示该边，根据差分的形式，需要对x，y处+1，lca(x,y)处-2即可，这种表示下，树根对答案是无意义的。
于是如果一条树边被覆盖了0次，说明只要删掉该树边即可使图不连通。
否则就需要删掉该树边及被覆盖的次数。
通过一次dfs计算出差分子树和即可。

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

typedef long long ll;

const int maxn=2e4+7;

const int maxm=2e5+7;

struct Edge{
    int v,next;
}edge[maxm<<1];

int head[maxn],top;
void init(){
    memset(head,-1,sizeof(head));
    top=0;
}

void add(int u,int v){
    edge[top].v=v;
    edge[top].next=head[u];
    head[u]=top++;
}

int dep[maxn];
queue<int> q;
int fa[maxn][20];
const int ci=15;
void bfs(int st){
    dep[st]=1;
    q.push(st);
    int u,v;
    while(!q.empty()){
        u=q.front(); q.pop();
        for(int i=head[u];i!=-1;i=edge[i].next){
            v=edge[i].v;
            if(dep[v]) continue;
            dep[v]=dep[u]+1;
            q.push(v);
            fa[v][0]=u;
            for(int j=1;j<=ci;++j) fa[v][j]=fa[fa[v][j-1]][j-1];
        }
    }
}

int lca(int x,int y){
    if(dep[x]<dep[y]) swap(x,y);
    for(int i=ci;i>=0;--i)
        if(dep[fa[x][i]]>=dep[y]) x=fa[x][i];
    if(x==y) return x;
    for(int i=ci;i>=0;--i)
        if(fa[x][i]!=fa[y][i]) x=fa[x][i],y=fa[y][i];
    return fa[x][0];
}

int siz[maxn];
bool vis[maxn];
void dfs(int u){
    vis[u]=1;
    int v;
    for(int i=head[u];i!=-1;i=edge[i].next){
        v=edge[i].v;
        if(vis[v]) continue;
        dfs(v);
        siz[u]+=siz[v];
    }
}

int main(){
    int t,n,m,u,v;
    scanf("%d",&t);
    int cc=0;
    while(t--){
        top=0;
        scanf("%d%d",&n,&m);
        for(int i=1;i<=n;++i) dep[i]=0,vis[i]=0,head[i]=-1,siz[i]=0;
        for(int i=1;i<n;++i){
            scanf("%d%d",&u,&v);
            add(u,v),add(v,u);
        }
        bfs(1);
        for(int i=n;i<=m;++i){
            scanf("%d%d",&u,&v);
            ++siz[u],++siz[v];
            siz[lca(u,v)]-=2;
        }
        dfs(1);
        int minn=0x3f3f3f3f;
        for(int i=2;i<=n;++i)
            if(siz[i]==0) minn=1;
            else minn=min(minn,siz[i]+1);
        printf("Case #%d: %d\n",++cc,minn);

    }

    return 0;
}