有n个变量,m个二元组(u,v),分别表示u<v,要求你给这n个变量排序,把每个变量看成一个点,"小于"关系看成有向边,则得到一个有向图。如果图中存在有向环,则不存在拓扑排序,反之则存在。在访问完一个节点后把它加到拓扑排序的首部,因为有向图箭头所指的方向变量比较小,所以按从小到大输出的时候它应该在前面。
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 i=0;i<n;i++)
{
if(!c[u])
if(!dfs(u)) return false;
}
return true;
}
c[u]=-1是正在访问中,c[u]=0是没有访问过,c[u]=1是访问过。
整个拓扑排序的算法其实主要是围绕一句话:如果图中存在有向环,则不存在拓扑排序,反之则存在。记住这一句话,那么整个算法的思路就非常清楚了。