Tarjan缩点/边双/点双

代码实现

所以其实就三个玩意
1.dfn[],low[],indx
2.stack<int>s,bool pd[]
3.scc[],scnt，col[]等我们要求的信息
  
变量名 				用处
dfn          	记录当前已经访问了几个节点
scc		 	    记录当前已经有了几个强连通分量
dfn[ maxn ] 	当前节点是第几个被访问到的
low[ maxn ] 	当前节点所能访问到的最小的 dfn[ ]
scc[ maxn ] 	记录各个节点所属于的强连通分量编号
s[ maxn ] 		存储可能构成强连通分量的节点的栈
top 			存储栈顶      

那么我们如果要求scc这样一个东西,应该是用什么结构呢？
思想其实并不是很难，就是我们要求SCC，将它放入dfs序中，发现它有一定的特点，那就是在搜索树中的点，一定可以通向祖先，那他们就是一个scc，因为他们可以彼此到达。

所以我们要找最大的scc，那么就是要求出最小的祖先。
所以每个节点不用存下所有祖先，而只用存这一个就够了。
所以有了low[]来存x的搜索树内边和最小的点。

那么肯定是要dfs的。

发现low[]=min(low[son]),min(dfn[to]）;

所以dfs回溯递归处理，该问题具有自相似性。

实际应用

可以分为两类

1.有向图

缩点之后变成了一个DAG，那么什么时候应该缩点呢，
例子：

1. “喜欢”是可以传递的——如果A喜欢B，B喜欢C，那么A也喜欢C