Codeforces 19E Fairy

题意

问一张无重边无向图去掉一条边剩下的是否是二分图。

题解

首先，如果原图是二分图则删掉任一边剩下的仍是二分图。

一张图是二分图的充要条件是图中不存在奇环。对于有奇环的图，删去的边必为所有奇环的交，且删去的边不被任何偶环包含，因为奇环和偶环耦合必为奇环，且删去该边不影响这个耦合出的奇环。

在原图上生成DFS树并进行红蓝染色，如果非树边两端的颜色不同则是合法非树边，颜色相反则是非法非树边。无向图中的非树边都是返祖边，以下均称为返祖边。

非法返祖边会与DFS树一起形成奇环，非法返祖边为答案边的充要条件是该非法返祖边是唯一非法返祖边。

树边为答案边的充要条件是被所有非法返祖边覆盖且不被任何合法返祖边覆盖（覆盖指被返祖边的两个端点在树上的路径包含）。这样删去的边等于从原DFS树上摘下了一个子树，将该子树上的红蓝染色翻转，则所有非法返祖边均成了合法返祖边且不影响原合法返祖边。

统计覆盖次数可以采用树上差分（边权）。设返祖边为(u,v)，因为v是u的祖先，可以省去计算lca(u,v)的步骤，直接nums[u]++，nums[v]--。同时求树上前缀和的过程可以与DFS树的回溯过程同步进行，时间复杂度O(n+m)。

事实上，以上统计方法仅仅统计了单返祖边环，接下来说明加入双返祖边环统计不改变结果。

对于无向图中的环只有单返祖边环和双返祖边环两种，且双返祖边环的两个祖先节点具有祖孙关系。

设单返祖边环(u1,v1)和(u2,v2)，v2是v1的祖先，则双返祖边环的路径可以分为三段：u1→lca(u1,u2)，u2→lca(u1,u2)，v1→v2。

假设单返祖边环(u1,v1)是奇环，单返祖边环(u2,v2)是奇环，则按单返祖边统计，只有lca(u1,u2)→v1被计入答案边，耦合出的双返祖边环为偶环，不影响答案边。

假设单返祖边环(u1,v1)是奇环，单返祖边环(u2,v2)是偶环，则按单返祖边统计，只有u1→lca(u1,u2)被计入答案边，耦合出的双返祖边环为奇环，依然会给u1→lca(u1,u2)的奇环数+1，不影响答案边。

假设单返祖边环(u1,v1)是偶环，单返祖边环(u2,v2)是奇环，则按单返祖边统计，只有u2→lca(u1,u2)，v1→v2被计入答案边，耦合出的双返祖边环为奇环，依然会给u2→lca(u1,u2)，v1→v2的奇环数+1，不影响答案边。

假设单返祖边环(u1,v1)是偶环，单返祖边环(u2,v2)是偶环，则按单返祖边统计，没有边被计入答案边，耦合出的双返祖边环为偶环，不会增加待选答案边，也不会移除待选答案边，因此也不影响。

假设非法返祖边(u1,v1)是唯一非法返祖边，则其与其他合法返祖边组成耦合奇环，边(u1,v1)也在该新组成的双返祖边奇环上，因此是答案边。若非法返祖边(u1,v1)不是唯一非法返祖边，拿掉边(u1,v1)也不影响其他的非法返祖边所在的单返祖边奇环，因此不是答案边。