loj 1300( 边双联通 + 判奇圈 ）

题目链接：http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=27010

思路：首先Tarjan标记桥，然后对于dfs遍历整个图，我们可以得出一个简单的结论，就是如果一个双连通分量中存在奇圈，那么这个双连通分量中的所有点都可行，于是我们可以dfs染色判奇圈。

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 using namespace std;
 #define MAXN 22222

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

 int n,m,NE;
 int head[MAXN];

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

 int low[MAXN],dfn[MAXN],cnt;
 bool bridge[MAXN<<];
 bool mark[MAXN];

 void Tarjan(int u,int father)
 {
     low[u]=dfn[u]=++cnt;
     mark[u]=true;
     for(int i=head[u];i!=-;i=edge[i].next){
         int v=edge[i].v;
         if(v==father)continue;
         if(dfn[v]==){
             Tarjan(v,u);
             low[u]=min(low[u],low[v]);
             if(low[v]>dfn[u]){
                 bridge[i]=bridge[i^]=true;
             }
         }else if(mark[v]){
             low[u]=min(low[u],dfn[v]);
         }
     }
 }

 int flag,ans;
 int color[MAXN];

 void dfs(int u,int state)
 {
     cnt++;
     color[u]=state;
     for(int i=head[u];i!=-;i=edge[i].next){
         int v=edge[i].v;
         if(bridge[i])continue;
         if(color[v]&&color[u]==color[v]){
             flag=;
         }else if(color[v]==){
             dfs(v,-state);
         }
     }
 }

 int main()
 {
     int _case,u,v,t=;
      scanf("%d",&_case);
     while(_case--){
         scanf("%d%d",&n,&m);
         NE=;
         memset(head,-,sizeof(head));
         while(m--){
             scanf("%d%d",&u,&v);
             Insert(u,v);
             Insert(v,u);
         }
         cnt=;
         memset(mark,false,sizeof(mark));
         memset(dfn,,sizeof(dfn));
         memset(bridge,false,sizeof(bridge));
         for(int i=;i<n;i++)if(dfn[i]==)Tarjan(i,i);
         memset(color,,sizeof(color));
         ans=;
         for(int i=;i<n;i++){
             if(color[i]==){
                 flag=;
                 cnt=;
                 dfs(i,);
                 if(flag)ans+=cnt;
             }
         }
         printf("Case %d: %d\n",t++,ans);
     }
     return ;
 }