拓扑排序 及 强连通分量

暂定 修改时间 2020年10月3日 09点36分

 

对于一个有向无环图 G = (V, E)，其拓扑排序是G中所有节点的一种线性次序，满足：如果图G包含边(u, v)，则节点u在拓扑排序中处于v的前面。可将图的拓扑次序看作是将图的所有节点在一条水平线上展开，图的所有有向边都从左指向右。

此处表述的性质为有向边具有的性质，对于边(u, v)，它表示事件v(结点v)必须在事件u完成后(结点u探索后)才能进行，即v只有一条由u指向v的单方向的边，表示为u→v。一个形象的比喻即穿袜子和鞋子的关系——后者必须在前者完成后才能完成。

以下是伪代码实现：

TOPOLOGICAL-SORT(G)
{
     call DFS(G) to compute finishing times v.f for each vertex v //通过DFS计算每个顶点完成的时间
     as each vertex is finished, insert it onto the front of a linked list //当顶点完成时，将其插入到链表的表头
     return the linked list of vertices
 }

可以注意到，在DFS中我们得到的结点一个属性 v. f 派上了用场。值得提醒的是，此处的 v. f 并不是事件v的完成时间，而是将以v为根的树中的能够访问的结点全部访问完时而得到的时间，因此将根节点插入到链表中反而会发生在这棵树中所有结点完成后，这显然与我们的需求不符——谁没事倒着看啊，因此我们会将后完成的结点放在链表前面，这样就没问题了——最后，它返回的链表中的顺序的确满足拓扑排序的顺序。

 

C语言实现与DFS在本质上没什么区别，不过需要用到链表的数据结构，并含有void Insert(Element X, List L)这一函数的调用。

	void DFS(PtrToGraph G)
	{
		for (int i = 0; i < MaxVertexNum; i++)
		{
			G->A[i].color = WHITE;
			G->A[i].Parent = NIL;
		}
		time = 0;
		for (int i = 0; i < MaxVertexNum; i++)
		{
			if (G->A[i].color = WHITE)
				DFS_VISIT(G, i);
		}
		return L;
	}

	void DFS_VISIT(PtrToGraph G, int i)
	{
		time++;
		G->A[i].d = time;
		G->A[i].color = GRAY;
		for (PtrToNode P = G->A[i].Next; P != NULL; P = P->Next)
		{
			if (P->color == WHITE)
			{
				P->Parent = i;
				DFS_VISIT(G, P->V);
			}
		}
		G->A[i].color = BLACK;
		time++;
		G->A[i].f = time;
		insert(i, L);
	}

以上的C语言实现了：在每个节点的DFS_VISIT结束后将其加入到链表中，在所有顶