一张无向图中不存在割边,则称它为边双连通图。无向图的极大边双连通子图称为图的边双连通分量,即e—DCC。
一张无向连通图是边双连通图,当且仅当任意一条边都至少包含在一个简单环里。道理很显然,就不证明了。
怎么求e—DCC呢?我们在tarjan求割边的基础上重新对图做一次遍历就好了。在不使用割边的情况下,每次从一个点出发,能遍历到的所有点用属于一个边双连通分量。
e—DCC一般用途是做一个缩点,然后在新生成的树或森林上搞事情,至于缩点,我们刚才dfs的时候,就已经给把点划分为了不同的集合,按照原来的边,在新点之间建图就好了。
e—DCC有什么用呢?举个栗子吧。