CF 19E Fairy——树上差分

题目：http://codeforces.com/contest/19/problem/E

去掉一条边，使无向图变成二分图。

该边应该被所有奇环经过，且不被偶环经过。

　　因为一条非树边一定只在一个环里。所以一条既被所有奇环经过又被偶环经过的边是树边。如果把它去掉，将无法处理包含它的那个偶环的非树边和包含它的某个奇环的非树边加上两段树边所构成的奇环。

找这样的边，弄一个边上的树上差分就行了。

可以模仿kruscal用并查集弄一个生成树。不过dfs其实也行。

注意图可能不连通。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e4+;
int n,m,c[N][],fa[N],head[N],t[N<<],next[N<<],tot;
int hd[N],xnt,col[N],cnt,pa[N],prbh,bh[N<<],q[N],qnt;
bool vis[N];
struct Ed{
  int nxt,to,bh;Ed(int n=,int t=,int b=):nxt(n),to(t),bh(b) {}
}ed[N<<];
int find(int a){return fa[a]==a?a:fa[a]=find(fa[a]);}
void add(int x,int y,int b)
{
  ed[++xnt]=Ed(hd[x],y,b);hd[x]=xnt;
  ed[++xnt]=Ed(hd[y],x,b);hd[y]=xnt;
}
void dfs(int cr,int f)
{
  vis[cr]=;
  for(int i=head[cr],v;i;i=next[i])
    if(col[v=t[i]])
      {
    int f0=find(v),d=(col[cr]==col[v]);
    if(d){cnt++;if(cnt==)prbh=bh[i];}
    c[cr][d]++;c[v][d]++;c[f0][d]-=;
      }
  for(int i=hd[cr];i;i=ed[i].nxt)
    if(ed[i].to!=f)
      {
    col[ed[i].to]=-col[cr];dfs(ed[i].to,cr);
      }
  fa[cr]=f;
}
void dfsx(int cr,int f,int eb)
{
  vis[cr]=;
  for(int i=hd[cr],v;i;i=ed[i].nxt)
    if((v=ed[i].to)!=f)
      {
    dfsx(v,cr,ed[i].bh);
    c[cr][]+=c[v][];c[cr][]+=c[v][];
      }
  if(c[cr][]==cnt&&!c[cr][])q[++qnt]=eb;
}
int main()
{
  scanf("%d%d",&n,&m);int x,y;
  for(int i=;i<=n;i++)fa[i]=i;
  for(int i=;i<=m;i++)
    {
      scanf("%d%d",&x,&y);
      if(find(x)!=find(y))
    {
      add(x,y,i);
      fa[find(x)]=find(y);
    }
      else{
    t[++tot]=y;next[tot]=head[x];head[x]=tot;bh[tot]=i;
    t[++tot]=x;next[tot]=head[y];head[y]=tot;bh[tot]=i;
      }
    }
  for(int i=;i<=n;i++)fa[i]=i;
  for(int i=;i<=n;i++) if(!vis[i])
      col[i]=,dfs(i,);
  if(!cnt)
    {
      printf("%d\n",m);
      for(int i=;i<=m;i++)printf("%d ",i);return ;
    }
  if(cnt==)q[++qnt]=prbh;
  memset(vis,,sizeof vis);
  for(int i=;i<=n;i++) if(!vis[i])dfsx(i,,);
  sort(q+,q+qnt+);
  printf("%d\n",qnt);
  for(int i=;i<=qnt;i++)printf("%d ",q[i]);
  return ;
}