【AcWing】848. 有向图的拓扑序列

有向图的拓扑序列就是图宽度优先遍历的一个应用。

图的拓扑序列是针对有向图的，无向图没有拓扑序列。

拓扑这个词是音译的，没有实际含义。

拓扑序列：

对于每条边都是起点在终点的前面。

换句话说，当我们把一个图按照拓扑序列排好后，他所有的边都是从前指向后的，能展成从前往后的形式。

所以当前入度为0的点都可以作为起点，不会有任何一个点在我前面。

(自环一定没有拓扑序列。)

可以证明一个有向无环图一定存在拓扑序列。所以有向无环图也被称为拓扑图。(一个有向无环图，至少存在一个入度为0的点)

入度：有多少条边指向自己。

出度：有多少条边从自己出发指向其他点。

如果有环，找不到一个入度为0的突破口，环上的点一定不会入队。因为一个有向无环图，至少存在一个入度为0的点。

只要是有向无环图，至少存在一个入度为0的点，从这个点作为突破口，把这个点和这个点关联的所有边全部删掉，本来就是有向无环图删掉这个点之后还是有向无环图，按照这个方式不断的去突破(找到入度为0的点)，最后就是拓扑序列。

这个题的答案是不唯一，有向无环图的拓扑序列不一定是唯一的。

#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;

const int N=1e5+10;

int n,m;
int h[N],e[N],ne[N],idx;
int q[N],d[N];//d表示入度数

void add(int a,int b){
    e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}

//拓扑排序
bool topsort(){
    int hh=0,tt=-1;
    //第一步，把所有入度为零的点入队，然后宽搜，枚举t的所有出边。
    for(int i=1;i<=n;i++){
        if(!d[i]){//突破口，入度为0的点
            q[++tt]=i;
        }
    }
    while(hh<=tt){
        int t=q[hh++];
        for(int i=h[t];i!=-1;i=ne[i]){
            int j=e[i];
            //t放到最前面位置了，t->i这个边一定在t后面，t的这条边从前指向后是一定满足的，就可以删掉这个限制删掉这条边，唯一影响了j的入度-1，d[j]--。
            d[j]--;//相当于删除了指向这个点的前面那个点，入度-1
            if(!d[j]){//成为了入度为0的点，加入队列
                q[++tt]=j;//说明j前面的点已经排好了，j没有限制了，j就可以放到最前面去了，j入队。
            }
        }
    }
    return tt==n-1;//tt=n-1说明队列进了n个点，所有点都进过队列，说明就是有向无环图，否则存在环。 
}
int main(){
    cin>>n>>m;
    
    memset(h,-1,sizeof h);
    
    for(int i=0;i<m;i++){
        int a,b;
        cin>>a>>b;
        add(a,b);
        d[b]++;//b入度+1
    }
    
    if(topsort()){
        for(int i=0;i<n;i++) cout<<q[i]<<" ";cout<<endl;//队列次序就是拓扑序列。
    }else{
        cout<<"-1"<<endl;
    }
    return 0;
}