在图论中,拓扑排序
是一个有向无环图
的所有顶点的线性序列,且该序列必须满足
- 每个顶点有且只出现一次
- 若存在一条从顶点 A 到顶点 B 的路径,那么在序列中顶点 A 出现在顶点 B 的前面
有向无环图(DAG)才有拓扑排序,非DAG图没有拓扑排序这一说
比如下面这个无环图
如何写出它的拓扑排序?
- 从 DAG 图中选择一个
没有前驱(即入度为0)
的顶点并输出。 - 从图中删除该顶点和所有以它为起点的有向边。
- 重复 1 和 2 直到当前的 DAG 图为空或当前图中不存在无前驱的顶点为止。后一种情况说明有向图中必然存在环。
于是,得到拓扑排序后的结果是 { 1, 2, 4, 3, 5 }
通常,一个有向无环图可以有一个或多个
拓扑排序序列。
作者:亚欧沙龙
来源:简书