::树和森林.一张 formula_1 个点的图最多有 formula_2 座桥，因为再加一条边就一定会产生一个环。恰好有 formula_2 座桥的图就是树；而图上每一条边都是桥的图就是森林。
Tarjan的找桥演算法.罗伯特·塔扬在 1974 年发表了第一个线性时间的找桥演算法。它的步骤如下：