有向图的拓扑序列模板

题目链接:https://www.acwing.com/problem/content/850/

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

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

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

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

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

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

否则输出 $-1$。

数据范围
$1\le n,m\le 10^5$

输入样例：

3 3
1 2
2 3
1 3

输出样例：

1 2 3

思路:

操作方法：将入度为0的点入队，然后删去该点指向的点的所有边

入度，有几条边指向该点

拓扑序列就是指只有从前往后指的边，没有从后指向前的边

如上图，因为有环，所以不存在拓扑序列

有向无环图一定是拓扑序列,有向有环图一定不是拓扑序列

一个有向无环图，至少存在一个入度为0的点
证
用反证法，假设不存在入度为 $0$ 的点，那么每个点都可以找到有另一个点指向该点，可以一直找下去，那么当找到 $n+1$ 个点时，由于当前只有 $n$ 个点，那么必然有两个点相同，那么就会有环

注:一个拓扑序列可以有多种输出方式

如图，输出a,b,c,d和a,c,b,d都可以

AC代码

#include <iostream>
#include <cstring>

using namespace std;

const int N = 100010;

int n,m;
int h[N],e[N],ne[N],d[N],idx; // d表示点的入度
int q[N]; // 队列

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

bool topsort()
{
    int hh = 0,tt = -1;
    
    for(int i = 1; i <= n; i++)
        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];
            if(--d[j] == 0) // 删除点t指向点j的边,如果点j的入度为零了,就将点j入队
            {
                q[++tt] = j;
            }
        }
    }
    return 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]++;
    }
    if(topsort())
    {
        for(int i = 0; i < n; i++) cout << q[i] << ' ';
        cout << endl;
    }
    else cout << -1 << endl;
    return 0;
}