拓扑排序

拓扑排序

算法简介

在计算机科学领域，有向图的拓扑排序或拓扑排序是其顶点的线性排序，使得对于从顶点u到顶点v的每个有向边 uv,u 在排序中都在v之前。 例如，图形的顶点可以表示要执行的任务，并且边缘可以表示一个任务必须在另一个任务之前执行的约束; 在这个应用中，拓扑排序只是一个有效的任务顺序。 如果且仅当图形没有定向循环，即如果它是有向无环图（DAG），则拓扑排序是可能的。 任何 DAG 具有至少一个拓扑排序，并且已知这些算法用于在线性时间内构建任何 DAG 的拓扑排序。

在图论中，由一个有向无环图的顶点组成的序列，当且仅当满足下列条件时，称为该图的一个拓扑排序（英语：Topological sorting）。
每个顶点出现且只出现一次；

若A在序列中排在B的前面，则在图中不存在从B到A的路径。
也可以定义为：拓扑排序是对有向无环图的顶点的一种排序，它使得如果存在一条从顶点A到顶点B的路径，那么在排序中B出现在A的后面。(转自维基百科)

算法描述

我们一般存在两种算法实现方法
+ dfs

其实DFS就是深度优先搜索，它每次都沿着一条路径一直往下搜索，知道某个顶点没有了出度时，就停止递归，往回走，所以我们就用DFS的这个思路，我们可以得到一个有向无环图的拓扑序列，其实DFS很像Kahn算法的逆过程。

• 根据出入度（称之为Kahn算法）

在有向图中选一个没有前驱的顶点并且输出
从图中删除该顶点和所有以它为尾的弧（白话就是：删除所有和它有关的边）
重复上述两步，直至所有顶点输出，或者当前图中不存在无前驱的顶点为止，后者代表我们的有向图是有环的，因此，也可以通过拓扑排序来判断一个图是否有环。

代码实现

//使用dfs
int n, G[maxn][maxn], c[maxn], topo[maxn], t;
/*
 *n表示邻接表的个数，
 *c[]表示状态，为1表示访问过，为0表示未访问，为-1表示正在访问
 *topo表示排完序的拓扑序列
 */
bool dfs(int u){
    c[u] = -1;
    for(int v = 0; v < n; v++) if(G[u][v]) {
        if(c[v]<0)
            return false;
        //表示v也在被访问，说明u和v在一个环中，说明输入数据有问题，非DAG
        else if(!c[v]&&!dfs(v))
            return false;
        //说明v没有被访问，但是以v为起始节点的时候，v存在环。
    }
    c[u] = 1; topo[--t]=u;
    //深搜到最后一个u的时候，topo[n-1]赋值为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;
}


//////////////////////////////////////
//使用出度入度的思想
int G[MAXN][MAXN];//路径
int in_degree[MAXN];//入度
int ans[MAXN];//路径
int n;//顶点
void toposort()
{
    for(i = 1; i <= n; i++)
    {
        for(j = 1; j <= n; j++)
        {
            if(G[i][j])
            {
                in_degree[j]++;
            }
        }
    }
    for(i = 1; i <= n; i++)//从最小的开始寻找，
    {//这样保证了有多个答案时序号小的先输出
        int k = 1;
        while(in_degree[k] != 0)//寻找入度为零的点
            k++;
        ans[i] = k;
        in_degree[k] = -1;
        //更新为-1，后边检测不受影响，相当于删除节点
        for(int j = 1; j <= n; j++)
        {
            if(G[k][j])
                in_degree[j]--;//相关联的入度减1
        }
    }
}