1.定义
对一个有向无环图(Directed Acyclic Graph简称DAG) G进行拓扑排序,是将G中所有顶点排成一个线性序列,使得图中任意一对顶点u和v,若边(u,v)∈E(G),则u在线性序列中出现在v之前。通常,这样的线性序列称为满足拓扑次序(Topological Order)的序列,简称拓扑序列。简单的说,由某个集合上的一个偏序得到该集合上的一个全序,这个操作称之为拓扑排序。
在AOV网中,若不存在回路,则所有活动可排列成一个线性序列,使得每个活动的所有前驱活动都排在该活动的前面,我们把此序列叫做拓扑序列(Topological order),由AOV网构造拓扑序列的过程叫做拓扑排序(Topological sort)。AOV网的拓扑序列不是唯一的,满足上述定义的任一线性序列都称作它的拓扑序列。
2.拓扑排序的实现步骤
在有向图中选一个没有前驱的顶点并且输出。
从图中删除该顶点和所有以它为尾的弧(白话就是:删除所有和它有关的边)。
重复上述两步,直至所有顶点输出,或者当前图中不存在无前驱的顶点为止,后者代表我们的有向图是有环的,因此,也可以通过拓扑排序来判断一个图是否有环。
3.拓扑排序实例手动实现
如果我们有如下的一个有向无环图,我们需要对这个图的顶点进行拓扑排序,过程如下:
首先,我们发现V6和v1是没有前驱的,所以我们就随机选去一个输出,我们先输出V6,删除和V6有关的边,得到如下图结果:
然后,我们继续寻找没有前驱的顶点,发现V1没有前驱,所以输出V1,删除和V1有关的边,得到下图的结果:
然后,我们又发现V4和V3都是没有前驱的,那么我们就随机选取一个顶点输出(具体看你实现的算法和图存储结构),我们输出V4,得到如下图结果:
然后,我们输出没有前驱的顶点V3,得到如下结果:
然后,我们分别输出V5和V2,最后全部顶点输出完成,该图的一个拓扑序列为:
v6–>v1—->v4—>v3—>v5—>v2
过程简述:
从 DAG 图中选择一个 没有前驱(即入度为0)的顶点并输出。
从图中删除该顶点和所有以它为起点的有向边。
重复 1 和 2 直到当前的 DAG 图为空或当前图中不存在无前驱的顶点为止。若当前图中不存在无前驱的顶点说明有向图中必存在环。
4.拓扑排序Java实现
(1) 示例
现在你总共有 n 门课需要选,记为 0 到 n-1。
在选修某些课程之前需要一些先修课程。 例如,想要学习课程 0 ,你需要先完成课程 1 ,我们用一个匹配来表示他们: [0,1]
给定课程总量以及它们的先决条件,判断是否可能完成所有课程的学习?
示例 1:
输入: 2, [[1,0]]
输出: true
解释: 总共有 2 门课程。学习课程 1 之前,你需要完成课程 0。所以这是可能的。
示例 2:
输入: 2, [[1,0],[0,1]]
输出: false
解释: 总共有 2 门课程。学习课程 1 之前,你需要先完成?课程 0;并且学习课程 0 之前,你还应先完成课程 1。这是不可能的。
说明:
输入的先决条件是由边缘列表表示的图形,而不是邻接矩阵。详情请参见图的表示法。
你可以假定输入的先决条件中没有重复的边。
(2) 截图步骤:
本题思路:采用拓扑排序+广度优先搜索的方式进行求解。
步骤一:对所有节点建立一个入度表times,times[i]表示第i个节点有多少个入度,(这里入度的意思是当实现此节点时,需要多少个前驱节点的支持)。
步骤二:将入度表中入度为0的节点添加到队列que中。
步骤三:取出队列第一个元素temp;并将times中,以该节点作为前驱节点的入度减一,并判断入度是否等于0,如果等于0加入到队列中。
步骤四:重复步骤三,知道队列为空,判断times中是否存在非0的节点,如果存在则说明有环,不存在说明无环。(其中队列每次输出的值就是拓排序的输出值)
(3) Java代码:
class Solution { public boolean canFinish(int numCourses, int[][] prerequisites) { int []times=new int[numCourses]; for(int i=0;i<prerequisites.length;i++) { int num=prerequisites[i][0]; times[num]=times[num]+1; } Queue<Integer> que=new LinkedList<Integer>(); for(int j=0;j<times.length;j++) { if(times[j]==0) { que.add(j); } } while(!que.isEmpty()) { int temp=que.poll(); for(int m=0;m<prerequisites.length;m++) { if(prerequisites[m][1]==temp) { times[prerequisites[m][0]]--; if(times[prerequisites[m][0]]==0) { que.add(prerequisites[m][0]); } } } } for(int e=0;e<times.length;e++) { if(times[e]!=0) { return false; } } return true; } }
原文地址:https://www.cnblogs.com/xiaobaidashu/p/12080683.html