摘要：点双连通：不存在割点 边双连通：不存在割边 点双连通：任意两点都有两条不相交的简单路径 边双连通：任意两点之间存在两条不重复边的简单路径 点双比边双更强一点 边双缩完之后是一个树 阅读全文

摘要：DSF森林 树边：dfs森林上的边 前向边：祖先->后代的非树边 返祖边：后代->祖先的非树边 横插边：后面的分支连接到前面的分支的边 强连通分量 强连通分量：任意两个点相互可达，也就是存在一个环连接了所有的点 u和v强连通，v和w强连通，所以u,v,w三个是强连通的 Tarjan #include 阅读全文