有向图注意v在栈中时，才用dfn更新low。无向图不用判断这个。 SCC和边双，都是在返回时判断low==dfn。 点双就是找割点，low(v)>=dfn(u)时，把tarjan(v)过程中放入栈的点以及u加入点双。 一个点可能位于多个点双。 割点为>=，割边为> 。 点双要特判根。 圆方树圆圆边就是割边。 圆方树要把边开够（n×2+m×4）。 来源：https://www.cnblogs.com/lnzwz/p/11342899.html 标签 tarjan 圆方
