有向图的拓扑排序
本篇博客主要讲述何为拓扑序列, 并通过一道例题来展示基本概念等。
有向图的拓扑排序
题目链接
题目大意:
此题为:图的宽度优先遍历的一个应用。
拓扑序列:
- 针对有向图而说, 无向图没有拓扑序列这一说。
- 若一个由图中所有点构成的序列 A 满足:对于图中的每条边 (x,y),x 在 A 中都出现在 y 之前,则称 A 是该图的一个拓扑序列。
在该有向图中,1->2这条边,序列中:1在2前边; 2->3这条边, 序列中2在3前边; 1->3这条边,序列中1在3前边。每条边都是,起点在终点前边。
有环的有向图,一定不存在拓扑序。
有向无环图 被称为 拓扑图
- 顶点的出边条数称为该顶点的出度,顶点的入边条数称为该顶点的入度
- 可以发现:
如果我们用按序列1 2 3来画出这个有向图,所有的箭头都是从前指向后的
。 - 入度为0的点,都可以排在当前最前边的位置。
拓扑排序的思路:
-
首先把所有入度为0的点加入队列。
-
宽搜,取出对头,枚举该点t 的所有出边。t - > j. 删掉t -> j这条边(取出队列,就把他放到当前序列最前边的位置了), j一定在t的后边. j的入度减一。
-
j的入度为0时,j入队。
-
如果存在环,那么这个环上所有点的入度不为0,不会加入队列。反之,如果一个图中没有环,那么我们一定可以将所有顶点都会加入队列中。
-
一个无环图一定至少存在一个入度为0的点。
-
值得一提的是,一个有向图的拓扑排序可能不止一种。
该题可以输出任意拓扑序。
#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10;
int h[N], e[N], ne[N], idx;
int d[N], q[N];
int n, m;
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];
d[j] --;
if(d[j] == 0) q[++ tt] = j;
}
}
return tt == n - 1;
}
int main(void){
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()) puts("-1");
else{
for(int i = 0; i < n; i ++) printf("%d ", q[i]);
puts("");
}
return 0;
}
结尾附赠一个抽屉原理
上有十个苹果,要把这十个苹果放到九个抽屉里,无论怎样放,我们会发现至少会有一个抽屉里面放不少于两个苹果。
第二抽屉原理:
把(mn-1)个物体放入n个抽屉中,其中必有一个抽屉中至多有(m—1)个物体(例如,将3×5-1=14个物体放入5个抽屉中,则必定有一个抽屉中的物体数少于等于3-1=2)。