AcWing 848. 有向图的拓扑序列

原题链接：AcWing 848. 有向图的拓扑序列

给定一个 n 个点 m 条边的有向图，点的编号是 1 到 n，图中可能存在 重边 和 自环 。

请输出任意一个该有向图的拓扑序列，如果拓扑序列不存在，则输出 −1。

若一个由图中所有点构成的序列 A 满足：对于图中的每条边 (x,y)，x 在 A 中都出现在 y 之前，则称 A 是该图的一个拓扑序列。

输入格式
第一行包含两个整数 n 和 m。

接下来 m 行，每行包含两个整数 x 和 y，表示存在一条从点 x 到点 y 的有向边 (x,y)。

输出格式
共一行，如果存在拓扑序列，则输出任意一个合法的拓扑序列即可。

否则输出 −1。

数据范围
1≤n,m≤10⁵
输入样例：

3 3
1 2
2 3
1 3

输出样例：

1 2 3

---

方法一：BFS

思路：

用一个队列来存储入度为0的结点
每次只要队列不为空，
取出队头并遍历它的邻接点，将他们的入度减一，如果入度减到0了，就加入队列

使用数组模拟队列的好处：
数组中保留了出队的元素，因为出队只是修改队头指针
最后数组中的序列就是拓扑排序

C++ 代码：

// 用BFS实现拓扑排序
#include <iostream>
#include <algorithm>
#include <cstring>
using namespace std;

const int maxn = 1e5 + 10;

int n, m;   // n定点数 m边数
int h[maxn], e[maxn], ne[maxn], idx;
int q[maxn], d[maxn];   // q数组模拟队列 d记录入度

// 邻接表加边
void add(int a, int b){
    e[idx] = b, ne[idx] = h[a], h[a] = idx++;
}

// 拓扑排序 存在返回1 不存在返回0
bool topsort(){
    
    // hh队头 tt队尾
    int hh = 0, tt = -1;
    
    // 用数组模拟队列
    for(int i = 1; i <= n; i++ ){
        // 将所有入度为0的结点入队
        if(!d[i])
            q[++tt] = i;
    }
    
    // 只要队列不空
    while(hh <= tt){
        // 取出队头
        int t = q[hh++];
        
        // 找到出边 将边那一头的结点的入度减一
        for(int i = h[t]; i != -1; i = ne[i]){
            int j = e[i];
            d[j]--;
            
            // 当结点的入度为0 就可以加入队列中
            if(d[j] == 0) q[++tt] = j;
        }
    }
    
    // 判断一下当前拓扑序列是否包含所有元素
    return tt == n-1;
}

int main(){
    cin >> n >> m;
    
    memset(h, -1, sizeof h);
    
    // 读入m条边
    for(int i = 0; i < m; i++ ){
        int a, b;
        cin >> a >> b;
        
        // 读入边<a,b> b的入度+1
        add(a, b);
        d[b]++;
    }
    
    // 如果存在拓扑排序
    if(topsort()){
        
        // 此时q中就存着拓扑排序
        for(int i = 0; i < n; i++ ) printf("%d ", q[i]);
        puts("");
    }
    else puts("-1");
    
    return 0;
}

复杂度分析：

• 空间复杂度：
• 时间复杂度：