考研系列 HDU2242之空调教室 tarjan

众所周知，HDU的考研教室是没有空调的，于是就苦了不少不去图书馆的考研仔们。Lele也是其中一个。而某教室旁边又摆着两个未装上的空调，更是引起人们无限YY。 

一个炎热的下午，Lele照例在教室睡觉的时候，竟然做起了空调教室的美梦。 

Lele梦到学校某天终于大发慈悲给某个教室安上了一个空调。而且建造了了M条通气管道，让整个教学楼的全部教室都直接或间接和空调教室连通上，构成了教室群，于是，全部教室都能吹到空调了。 

不仅仅这样，学校发现教室人数越来越多，单单一个空调已经不能满足大家的需求。于是，学校决定封闭掉一条通气管道，把全部教室分成两个连通的教室群，再在那个没有空调的教室群里添置一个空调。 

当然，为了让效果更好，学校想让这两个教室群里的学生人数尽量平衡。于是学校找到了你，问你封闭哪条通气管道，使得两个教室群的人数尽量平衡，并且输出人数差值的绝对值。 

Input本题目包含多组数据，请处理到文件结束。 
每组测试第一行包含两个整数N和M(0<N<=10000,0<M<20000)。其中N表示教室的数目(教室编号从0到N-1)，M表示通气管道的数目。 
第二行有N个整数Vi(0<=Vi<=1000)，分别代表每个教室的人数。 
接下来有M行，每行两个整数Ai，Bi(0<=Ai,Bi<N)，表示教室Ai和教室Bi之间建了一个通气管道。 
Output对于每组数据，请在一行里面输出所求的差值。 
如果不管封闭哪条管道都不能把教室分成两个教室群，就输出"impossible"。 
Sample Input

4 3
1 1 1 1
0 1
1 2
2 3
4 3
1 2 3 5
0 1
1 2
2 3

Sample Outp

0

1

1
虽然是1A，但是卡了一下缩点的问题，说明在边双连通和点双连通的认知与区别上还不够！
此外，没有重新建边，而是直接回溯，成立的原因是：
                q从叶子节点回溯，符合”一刀两段“的要求。

#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<memory>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
const int maxn=10010,maxm=40010;
int Laxt[maxn],Next[maxm],To[maxm],cnt;
int a[maxn];
int low[maxn],dfn[maxn];
int times,cut_cnt;
int q[maxm],top;
int Min,sum;
void _init()
{
    cnt=sum=top=cut_cnt=times=0;
    memset(dfn,0,sizeof(dfn));
    memset(Laxt,0,sizeof(Laxt));
    Min=100000000;
} 
void _add(int u,int v){
    Next[++cnt]=Laxt[u];
    Laxt[u]=cnt;
    To[cnt]=v;
}
void _tarjan(int u,int pre)
{
    q[++top]=u;
    low[u]=dfn[u]=++times;
    int fanum=0;
    for(int i=Laxt[u];i;i=Next[i]){
            if(To[i]==pre){
                fanum++;
                if(fanum==1) continue;//避免重边 
            }
            if(!dfn[To[i]])
            {
                _tarjan(To[i],u);
                low[u]=min(low[To[i]],low[u]);
                if(dfn[u]<low[To[i]])
                {
                   int temp=0,x;
                   while(true){
                        x=q[top--];
                        temp+=a[x];
                        if(x==To[i]) break;
                   }
                   Min=min(Min,abs(sum-2*temp));//成立的原因是：q从叶子节点回溯，就是树形DP 
                   a[u]+=temp;//自己及其儿子的和 
                   cut_cnt++;
               }
            }
            else low[u]=min(dfn[To[i]],low[u]);
     }
}
int main()
{
    int n,m,i,j,u,v;
    while(~scanf("%d%d",&n,&m)){
        _init();
        for(i=1;i<=n;i++) {
            scanf("%d",&a[i]);
            sum+=a[i];
        }
        for(i=0;i<m;i++){
            scanf("%d%d",&u,&v);
            u++;v++;
            _add(u,v);
            _add(v,u);
        }
       
        _tarjan(1,-1);
       
        if(!cut_cnt) printf("impossible\n");
        else printf("%d\n",Min);
    }
    return 0;
}