双连通分量（点双连通分量）

本文是《刘汝佳算法竞赛》的双连通分量一节的总结

前置名词讲解

• 割点： 若无向图G中，存在一个点，当该点被删除时，图G中的连通分量数目增加。整张图不再连通。
• 连通分量：若图G连通，则连通分量便是自身，非连通的无向图有多个连通分量。、
• 极大连通子图：对于一个连通图，极大连通子图就是其连通分量也就是 其本身，非连通图有多个连通分量则就有多个极大连通子图。主要理解的是极大，极大指的是这个连通子图不能被其他连通子图所包含。对于一个连通图来说，只有其本身才能不被其他连通子图所包含。
• 简单环：一个环，除了终点和起点是同一点外，其他点在环中只出现一次。
• 点双连通：任意两点之间都存在两条“点不重复的路径”。若图G满足，则图称作“点-双连通”的，这个要求等价于任意两条边都在同一简单环中，即内部无割点；
• 点-双连通分量：一个子图满足点双连通且在图G中是极大(