HDU 2242 双联通加树形DP

//边双连通还有缩点重新建图再DFS一次
//题意：给一个无向图连通，图中每个结点都有一个权值，问能否割掉图中的一条边，使得图变为2个连通支，
//若能，使2个连通支中权值和的差最小，输出差的绝对值。N<=10^4

#include<cstdio>
#include<string>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<cmath>
#include<vector>
using namespace std;
int n,m,edgenum,ans,cnt,value[10005],head[10005],color[10005],dfn[10005],low[10005],bch,order,stack[10005],top,sum[10005];
vector< pair<int,int> >bridge;
bool vis[10005];

struct edge
{
    int u,v,next;
}edge[40005];



void addedge(int a,int b)
{
    edge[edgenum].u=a;
    edge[edgenum].v=b;
    edge[edgenum].next=head[a];
    head[a]=edgenum++;

}

void tarjan(int u,int f)
{
    dfn[u]=low[u]=order++;
    vis[u]=true;
    stack[top++]=u;
    int flag=0;//标记重边
    for(int i=head[u];i>=0;i=edge[i].next)
    {
        int v=edge[i].v;
        if(v==f&&!flag&&(flag=1,1))
            continue;
        if(!vis[v])
            tarjan(v,u),low[u]=min(low[u],low[v]);
        else if(color[v]==-1)
            low[u]=min(low[u],dfn[v]);
        if(dfn[u]<low[v])
            bridge.push_back(make_pair(u,v));//标记为桥
    }
    if(low[u]==dfn[u])
    {
        while(stack[top-1]!=u)
            color[stack[--top]]=bch,sum[bch]+=value[stack[top]];
        top--,sum[bch]+=value[stack[top]],color[u]=bch++;
    }
}


//边双连通的建图。。
void buildT()///color表示所属的连通分量的标号。
{
    edgenum=0;
    memset(head,-1,sizeof(head));
    for(int i=0;i<bridge.size();i++)
    {
        int u=bridge[i].first,v=bridge[i].second;
        addedge(color[v],color[u]);
        addedge(color[u],color[v]);
    }
}


int dfs(int u)
{
    int temp=sum[u];
    vis[u]=true;
    for(int i=head[u];~i;i=edge[i].next)
        if(!vis[edge[i].v])
            temp+=dfs(edge[i].v);
//    cout<<ans<<" "<<cnt-2*temp<<endl;
    ans=min(ans,abs(cnt-2*temp));
    return temp;
}



///这家伙的点居然是从0开始的。。

void init()
{
    bridge.clear();
    memset(vis,false,sizeof(vis));
    memset(head,-1,sizeof(head));
    edgenum=0;
    cnt=0;
    top=order=bch=0;
    memset(sum,0,sizeof(sum));
    memset(color,-1,sizeof(color));
}

int main()
{
//    freopen("inn.txt","r",stdin);
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        int x,y;
        init();
        for(int i=0;i<n;i++)
          scanf("%d",&value[i]),cnt+=value[i];
        for(int i=0;i<m;i++)
        {
            scanf("%d%d",&x,&y);
            addedge(x,y);
            addedge(y,x);
        }
        tarjan(0,0);
        if(bch==1)
            puts("impossible");
        else
        {
        memset(vis,false,sizeof(vis));
        memset(head,-1,sizeof(head));
        edgenum=0;
        buildT();
        ans=1<<29;
        dfs(0);
        cout<<ans<<endl;
        }
    }
}