【算法竞赛模板】拓扑序列

1. 定义

  在图论中，拓扑排序是一个有向无环图的所有顶点的线性序列，且必须满足 ①每个顶点出现且只出现一次 ②若存在一条从顶点 A 到顶点 B 的路径，那么在序列中顶点 A 出现在顶点 B 的前面

写出上图的拓扑排序：
① 从 图中选择一个 没有前驱（即入度为0）的顶点并输出
② 从图中删除该顶点和所有以它为起点的有向边
③ 重复 ① 和 ② 直到当前的图为空或当前图中不存在无前驱的顶点为止，否则说明图中必存在环

输出的拓扑序列为：{ 1, 2, 4, 3, 5 }

2. 例题讲解

  给定一个 n 个点 m 条边的有向图，点的编号是 1 到 n ，图中可能存在重边和自环。输出其任意一个拓扑序列。如果不存在则返回 -1

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

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

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

输入样例：
3 3
1 2
2 3
1 3

输出样例：
1 2 3
--------------------------------------------------------

思路：
  无环图一定存在入度为 0 的点，有向无环图一定存在拓扑序列。在加边时，用数组 d 来记录一个点的入度，然后将所有入度为 0 的点当做起点，加入队列。然后套bfs框架，t 指向队头， 枚举 t → j 的所有出边，删掉 t → j 的边，同时让 j 点的入度数 d[ j ] - -，若减完后入度为0，则加入队列。

时间复杂度： O(nlogn)
整体框架：
 
queue ←— 所有入度为 0 的点
while queue 不空
{
  t ←— 队头
  枚举 t 的所有出边 t → j
    删掉 t → j，d[ j ]- -
    if( d[ j ] == 0 )
      把 j 入队queue
}

#include <bits/stdc++.h>
using namespace std;

const int N = 1e5+10;

int n, m;
int h[N], e[N], ne[N], idx;		//邻接表结构
int q[N], d[N];					//q数组模拟队列

bool topology(){
	int hh = 0, tt = 0;
	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];
			d[j]--;
			if(d[j] == 0) q[++tt] = j;
		}
	}
	return tt == n;
}

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

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(topology()){
		//因为是数组的虚拟指针模仿了队列出队
		//所以执行完后数组就已排序好了
		for(int i = 1; i <= n; i++) printf("%d ", q[i]);
		puts("");
	}
	else puts("-1");
	
	return 0;
}

  对代码中数组构造邻接表不懂得请看这文章的邻接表讲解👉点这里。我们需要注意的是 拓扑序列不一定唯一，如下图

路漫漫其修远兮，吾将上下而求索