大数据任务调度 - 有向无环图 (DAG) 之拓扑排序
拓扑排序(Topological Sorting)
回顾基础知识:
1、图的遍历:
图的遍历是指从图中的某一个顶点出发,按照某种搜索方法沿着图中的边对图中的所有顶点访问一次且仅访问一次。注意树是一种特殊的图,所以树的遍历实际上也可以看作是一种特殊的图的遍历。
2、图的遍历主要有两种算法:广度优先搜索(Breadth First Search,BFS)和深度优先搜索(Depth First Search,DFS)。
[1] 深度优先搜索(DFS)
深度优先搜索的搜索策略是尽可能深地搜索一个图。基本思想是:首先访问图中某一未访问的顶点V1,然后由V1出发,访问与V1邻接且未被访问的任一顶点V2,再访问与V2邻接且未被访问的任一顶点V3,……重复上述过程。当不能再继续向下访问(即孤立点)时,依次退回到最近被访问的顶点,若它还有邻接顶点未被访问过,则从该点开始继续上述搜索过程,直到图中所有顶点均被访问过为止。
[2] 广度优先搜索(BFS)
广度优先搜索的基本思想是:首先访问起始顶点v,接着由v出发,依次访问v的各个未访问过的邻接顶点w1,w2,…,wi,然后再依次访问w1,w2,…,wi的所有未被访问过的邻接顶点;再从这些访问过的顶点出发,再访问它们所有未被访问过的邻接顶点……依次类推,直到图中所有顶点都被访问过为止。
举例说明:
其BFS遍历如下:1 2 5 3 4 6 7
其DFS遍历如下:1 2 3 4 5 6 7
接下来说正题:
维基百科上拓扑排序的定义为:
对于任何有向无环图(Directed Acyclic Graph,DAG)而言,其拓扑排序为其所有结点的一个线性排序(同一个有向图可能存在多个这样的结点排序)。该排序满足这样的条件——对于图中的任意两个结点U和V,若存在一条有向边从U指向V,则在拓扑排序中U一定出现在V前面。
通俗来讲:拓扑排序是一个有向无环图(DAG)的所有顶点的线性序列, 该序列必须满足两个条件:
每个顶点出现且只出现一次。
若存在一条从顶点A到顶点B的路径,那么在序列中顶点 A出现在顶点 B的前面。
如何找出它的拓扑排序呢?这里说一种比较常用的方法:
从DAG图中选择一个入度为0的顶点并输出。
从图中删除该顶点和所有以它为起点的有向边。
重复1和2直到当前的DAG图为空或当前图中不存在入度为0的顶点为止。后一种情况说明有向图中必然存在环。
例如下面这个DAG图:
结点1的入度:0,出度:2
结点2的入度:1,出度:2
结点3的入度:2,出度:1
结点4的入度:2,出度:2
结点5的入度:2,出度:0
它的拓扑排序流程为:
于是,得到拓扑排序后的结果是: {1,2,4,3,5} 。
如果没有结点2 —> 结点4的这个箭头,那么如下:
我们可以得到它的拓扑排序为:{1,2,4,3,5} 或者 {1,4,2,3,5} ,即对同一DAG图来说,它的拓扑排序结果可能存在多个
拓扑排序主要用来解决有向图中的依赖问题。
在讲到实现的时候,有必要插以下内容:
由此我们可以进一步得出一个改进的深度优先遍历或广度优先遍历算法来完成拓扑排序。以广度优先遍历为例,这一改进后的算法与普通的广度优先遍历唯一的区别在于我们应当保存每一个结点对应的入度,并在遍历的每一层选取入度为0的结点开始遍历(而普通的广度优先遍历则无此限制,可以从该吃呢个任意一个结点开始遍历)。这个算法描述如下:
广度优先遍历拓扑排序的核心Java代码如下:
注意输出结果是该图的拓扑排序序列之一。
每次在入度为0的集合中取顶点,并没有特殊的取出规则,取顶点的顺序不同会得到不同的拓扑排序序列(如果该图有多种排序序列)。
由于输出每个顶点的同时还要删除以它为起点的边。如果图有V个顶点,E条边,则一般该算法的时间复杂度为O(V+E)。这里实现的算法最终key返回的是状态, 如果成功(无环)为true, 失败则有环, 无环时value为拓扑排序结果(可能是其中一种)。
版权声明: 本文为 InfoQ 作者【海豚调度】的原创文章。
原文链接:【http://xie.infoq.cn/article/3b478d3129b642af3fe497f58】。
本文遵守【CC-BY 4.0】协议,转载请保留原文出处及本版权声明。
评论