Tarjan全解（1）

参考自辅导书和互联网

Tarjan是一个基于dfs深度优先遍历的算法，这儿提到两个概念，dfn[]和low[]

dfn[x]是时间戳，记录x在dfs的访问顺序，相当于编号

low[x]是记录基于x的最小值的（dfn的）

low[x]有这样两种情况：

1.subtree（x）的节点（subtree(x):从x出发的，搜索树）

2.通过一条不在搜索树上的边能够到达subtree（x）的节点

无向图：

桥：

就是割边，若是删了割边，整张图会变成两张图

like this

虚线是桥（纯手绘，请忽略图的外表）

无向边（x,y）是桥，当且仅当搜索树上存在x的一个子节点y，满足：

dfn[x]<low[y]

原因：

（暂时先写到这，不定期更新，有错请指教，感谢！！！）