二部图与dfs

2019独角兽企业重金招聘Python工程师标准>>>

对于一个无向图，如果可以把它的所有点染成两种颜色中的一种，红色或者蓝色，使得每条边的两个端点的颜色都不一样，那么，这个图被称作二部图。

确定一个图是不是二部图，方法就是，确定是否存在一种合法的染色方案。

先假定G是一个只有含有一个联通分支的图。
选定某个点v1，我们对v1涂上红色，然后从v1开始对整个G进行dfs。
在遍历的过程中，我们做以下分析：
对于某条树边(x, y)来说，我们把y涂成跟x相反的颜色。
对于某条非树边(x, y)来说，我们检查x和y的颜色是不是相反的。

G里面的任一条边，要么是树边，要么是非树边，所以保证了算法的正确性。

重要定理：无向图G是二部图当且仅当G不含有奇环 。

（1）G是二部图 => G不含有奇环。这个容易得到。
（2）G不含有奇环 => G是二部图。
这个怎么证明呢？考虑G的染色过程。
假设我们遇到一条非树边，这个非树边的两个端点是同一个颜色，我们就可以知道，G含有奇环。
反过来说，如果G含有奇环，那么我们肯定可以遇到一个两个端点一样颜色的非树边。
所以，遇到一个两个端点一样颜色的非树边 <=> G含有奇环
也就是说，没有两个端点一样颜色的非树边 <=> G不含有奇环
G不含有奇环 => 没有两个端点一样颜色的非树边 => G是二部图

转载于:https://my.oschina.net/mustang/blog/84954