“连通性只询问是否存在一条路,Menger 定理把它提升为可量化的鲁棒性。一个至少有 $k+1$ 个顶点的图是 $k$ 顶点连通的,当且仅当任意两点之间都有 $k$ 条内部顶点不交路径;相应地…”
形式陈述
设
其中
桥有一个等价的结构刻画:一条边是桥,当且仅当它不在任何圈上。若
因此,每座桥都必须出现在原图的每个生成森林中;图连通时,它出现在每棵生成树中。割点没有类似“所有关联边都是桥”的结论。
直觉
割点与桥分别检测顶点失效和边失效造成的断连。区别在于删除一个顶点会同时去掉多条边,可能破坏各个圈共同使用的中转站;删除单条边却未必破坏这些圈提供的绕行。
度数本身不能判断网络是否脆弱。一个高次数顶点周围可能有充分的替代路径,也可能是多个区域唯一的接点。判定真正要问的是:删除这个对象后,原先能互达的两个幸存顶点还能否互达。
例子与边界
两个三角形只通过一条新边
树中每条边都是桥;树的割点恰是度数至少为
定义必须比较删除前后的分量数。若原图已有两个分量,删除三角形中的一条边后仍不连通,并不能据此说这条边是桥。
深度优先搜索中的判据
运行深度优先搜索,记
严格大于表示子树连父节点也无法绕行到达。非根节点
推论与应用
删除所有桥后得到不含桥的连通块;围绕割点组织极大的无割点块,可建立块—割树,在原图不连通时则得到森林。它们分别描述边故障与顶点故障下的分解,不能混为一种“双连通分量”。
块—顶点森林与单点失效查询保留每个原顶点,并为每个点双连通块另建节点。删去
道路冗余与通信容灾可用这些结构定位单一故障点。树是无绕行的极端情形,而圈提供替代路径。有向控制流中的支配关系还要求所有从入口出发的有向路径经过指定节点,不能直接用无向割点代替。
多重图仍可讨论桥,但平行边应构成长度二的圈,自环构成长度一的圈;DFS 实现还必须按边身份跳过父边,不能跳过所有通向父顶点的边。
参考资料
- Misha Lavrov,Start Doing Graph Theory,在线版,访问于 2026 年,第 25 章 “Cut Vertices”,割点与桥的区别、二连通块。
- Haris Skiadas,Graph Theory Course:Cut Vertices,在线课程阅读提纲,访问于 2026 年,定理 5.1–5.3 的陈述与问题。