暂定 修改时间 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结束后将其加入到链表中,在所有顶