没有重边的边双图一定是点双图

定理

没有重边的边双联通图一定也是点双联通图。

重边：如果有大于等于两条$u\to v$的边，就有重边。否则就没有。

证明

假如说它不是点双连通的，那么它就存在一个割点（设为$p$）。也就是说，存在点$u$和点$vs.t.$去掉$p$前$u$、$v$联通，去掉后不连通。也就是说两点间某个方向（$u\to v$或$v\to u$）的所有路径都经过$p$。不妨设这个方向是$u\to v$。

假如说$u$到$p$的路径之间没有其它的点，$p$到$v$的路径之间没有其它的点，又因为没有重边，那么去掉$u\to p$这条边后$u$就不能再到达$v$，那么它们就不再强连通，与边双联通图的假设矛盾。假设点$u$到点$p$的最长路径上（不包含）的最后一个点为$d$，假设点$p$到点$v$的最长路径上（不包含）的第一个点为$e$。$d$到$e$必然不存在一条不通过$p$的路径，因为如果存在，那么就存在一条$u$到$v$不经过点$p$的路径，产生矛盾。同时，$d$到$p$有且仅有一条路径，就是通过边$d\to p$。假如说还有别的路径，那么那条路径一定比这条路径长，那么就与前面”最长路径“矛盾。同理，$p$到$e$也有且仅有一条路径，就是通过边$p\to e$。那么此时去掉边$u\to p$，$d$和$e$就不再强连通，又与边双联通图的假设矛盾。所有，没有重边的图的边双联通图一定是点双联通图。

问题：边双联通分量一定是点双连通分量吗？

回答：不一定。如下图，边双联通分量是点集 { 1 } \{1\} {1}和 { 2 } \{2\} {2}，但点双连通分量的点集是 { 1 , 2 } \{1,2\} {1,2}。