拓扑排序

描述

给任务排序
假设有n个变量，还有m个2元组（u，v），分别表示变量u小于v。那么，所有变量从小到大排列起来应该是什么样子呢？example，有4个变量a，b，c，d，若已知a<b,c<b,d<c,则这4个变量的排序可能是a<b<c<d.尽管还有其他可能，你只需找到一个即可。

分析

把每一个变量看成一个点，“小于”关系看成边，则得到一个有向图。这样，我们的任务实际上把一个图所有的结点排序，使得每一条有向边（u，v）对应的u都排在v的前面。在图论中，这个问题叫拓扑排序。

不难发现：

如果图存在有向环，则不存在拓扑排序，反之则存在。不包含有向环的有向图称为无环图。可以借助DFS完成拓扑排序：在访问完一个结点之后把它加到当前拓扑序的首部。

代码

int c[maxn];
int topo[maxn],t;
bool dfs(int u){
c[u]=-1;//访问标志
for(int v=0;v<n;v++)if(G[u][v]){
if(c[v]<0)return false  //存在有向图，退出失败；
else if(!c[v]&&!dfs(v)) return false;
}
c[u]=1;topo[--t]=u;
return true;
}
bool  toposort(){
t=n;
memset(c,0,sizeof(c));
for(int u=0;u<n;u++)if(!c[u])
if(!dfs(u))return false;
return true;
}

解析

这里遇到一个c数组，c[u]=0表示从来没有访问过（从来没有调用过dfs（u））；c[u]=1表示已经访问过，并且递归访问它的所有子孙（即dfs(u)曾被调用过，并且已经返回）；c[u]=-1表示正在访问（即递归调用dfs（u）正在帧栈中，尚未返回）。