无向图的双连通分量

1. 无向图的双连通分量又称为重连通分量，无向图有两种双联通分量：① 边的双连通分量（e-dcc）；② 点的双连通分量（v-dcc）

定义边的双连通分量需要引入一个概念"桥"，桥属于一条无向边，若将这条边删除之后那么整个图会变成不连通，如下图所示，因此边的双连通分量可以定义为极大的不包含桥的连通块。边的双连通分量有两个性质：① 不管删除掉哪一条边整个图都是连通的；② 任意两点之间一定包含两条不相交的路径，也即边是不重合的，并且可以发现树中每一条边都是桥。

点的双连通也需要引入一个概念"割点"，割点是一个点，将这个点删掉之后整个图变得不连通，如下图所示，类似地我们可以定义点的双连通分量为极大地不包含割点的连通块，并且每一个割点至少属于两个连通分量：

其实割点与桥之间并没有什么联系，这里有几个概念容易混淆：两个割点之间的边不一定是桥，桥的两端也并不一定是割点，点的双连通分量不一定是边的双连通分量，边的双连通分量不一定是点的双连通分量，其实举个例子就明白了：

对于求解边的双连通分量或者点的双连通分量来说可以使用tarjan算法，无向图的边双连通分量与有向图的强连通分量算法是类似的，也需要使用数组dfn和low来记录dfs遍历每一个节点的时间戳和从当前节点往下走能够遍历到的最早的时间戳，我们如何在dfs搜索的时候找到桥呢？其实就是看一下当前的节点y是否可以走到祖先节点x，如果不能够到达祖先节点说明当前的边就是桥，我们在递归调用完tarjan之后只需要判断dfn[x] < low[y]是否成立即可，如果成立说明当前的边是桥，否则就不是桥：

求解边的双连通分量有比较多的方法： ① 将所有的桥删除掉； ② 类似于有向图的强连通分量做法，使用一个栈来维护找到的边的双连通分量。一般来说求解的有向图的强连通分量与无向图的双连通分量难点不在于求解的过程，而在于求解完之后如何找出答案是什么，把结论猜出来然后验证是正确的。