基础-7:拓扑排序

在前面的课程中,讲述了图的两种基本表示方法:邻接表和邻接矩阵,以及两种基本的遍历:广度遍历和深度遍历。在此基础上,我们一起探讨图的第一个基本的应用:拓扑排序。

什么叫拓扑排序?请大家先看下面的一张图:


图1:课程表拓扑关系例子

所谓拓扑排序,就是根据有向图中的偏序关系,对图中的节点进行排序。对于图1中的例子而言,排课老师的任务是:根据课程之间的先修关系,每个学期合理安排课程,保证每门课的先修课都必须安排在这门课的前面。如果是你,你如何排?

在进一步思考之前,首先应该明白,只有有向无环图才有拓扑排序,无向图和有环的有向图都不可能有拓扑排序。

在没有学习图论之前,大家的想法可能是:先找到所有入度为0的节点,然后顺着这些节点继续寻找,但是顺着这些节点后面的寻找规则是什么?如C9的入度为0,顺着C9,有C10、C11和C12,这三者又是什么关系呢?进一步,可以发现C10是C12的先修课程,也就是拓扑排序中,C9必须安排在C10之前,C10必须安排在C12之前。但是到现在为止,我们并未明确表述这些规则是什么?

拓扑排序的根本目的是:根据图节点之间的偏序关系,对图进行排序。偏序关系在有向图中的表现就是有向边,再进一步,我们可以看作是在图的遍历过程中对其进行排序。考虑前面课程中学习的广度遍历和深度遍历,广度遍历是对外逐层扩展,主要用于求源节点到所有其它节点的最短路径,体现的是距离;深度遍历则是对当前节点,依据有向边对当前的邻接节点继续深入遍历,整个遍历过程其实质就体现了拓扑排序中的关系。

以C9、C10、C11、C12为例,对其拓扑排序的可能包括(三种典型的,还有其它类似几种可能):

  • C9(1/12) -> C10(2/5) -> C12(3/4) -> C11(6/11) -> C6(7/10) -> C8(8/9)
  • C9(1/12) -> C12(2/3) -> C10(4/5) -> C11(6/11) -> C6(7/10) -> C8(8/9)
  • C9(1/12) -> C11(2/7) -> C6(3/6) -> C8(4/5) -> C12(8/9) -> C10(10/11)

上面列出的节点中的括号中的数据C9(m/n),m表示发现节点的时间,n表示当前节点的所有邻接节点已全部发现的完成时间(忘记的童鞋请查阅:前面课程),如果按照完成时间倒排会是什么?上面的三种的排列结果分别为:

  • C9, C11, C6, C8, C10, C12
  • C9, C11, C6, C8, C10, C12
  • C9, C10, C12, C11, C6, C8

仔细观察,上面的排序结果均满足前文提到的先修关系(提示:拓扑排序可能不止一种),即:深度遍历的完成时间倒排序即是拓扑排序结果,下面对其进行分析证明:

分析:假设图G(V, E),对于图中任意节点v,v.d表示发现节点v的时间,v.f表示v的所有邻接节点遍历完成的时间, 若有(u, v)是E中的一条边,只需要证明v.f < u.f。 对E中的任意边(u, v),在深度遍历中,当通过u对v进行探索时,v肯定不是灰色(如果v是灰色,则表示v的邻接节点深度遍历还未结束,u肯定是v的后继节点,则u和v构成了环,这种情况下,不可能存在拓扑排序),如果v是白色,则必然有v.f < u.f成立;如果v是黑色,则表示v的邻接节点已经遍历完成,v.f < u.f显然成立。由此:结论成立。(注意:深度遍历中,节点v为白色表示还未发现v,为灰色表示v被发现,并开始访问其邻接节点,为黑色表示v的所有邻接节点已访问完毕,结束v的访问)

因此,图的深度遍历中记录的遍历访问结束时间就是拓扑排序的依据,当然,其原理其实也很简单,童鞋们只需仔细把这个证明分析推敲一遍就形了。相应的源代码请见( https://github.com/bjutJohnson/Algorithms/blob/master/src/graph/graph_manager.go )中的TopologySort函数。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,053评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,527评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,779评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,685评论 1 276
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,699评论 5 366
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,609评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,989评论 3 396
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,654评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,890评论 1 298
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,634评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,716评论 1 330
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,394评论 4 319
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,976评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,950评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,191评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,849评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,458评论 2 342

推荐阅读更多精彩内容

  • 1 序 2016年6月25日夜,帝都,天下着大雨,拖着行李箱和同学在校门口照了最后一张合照,搬离寝室打车去了提前租...
    RichardJieChen阅读 5,073评论 0 12
  • 因为之前就复习完数据结构了,所以为了保持记忆,整理了一份复习纲要,复习的时候可以看着纲要想具体内容。 树 树的基本...
    牛富贵儿阅读 6,761评论 3 10
  • https://zh.visualgo.net/graphds 浅谈图形结构https://zh.visualgo...
    狼之独步阅读 4,113评论 0 0
  • 1 概述 图是数据结构中最复杂的形式,也是最烧脑的结构。无数的牛人乐此不疲地钻研,然而,时至今日,依然有很多问题等...
    CodingTech阅读 2,291评论 0 8
  • 上次中心长找我谈话,给出的一个明确的建议就是让我先搬家。 搬家意味着什么?意味着我要换一个地方生活,我...
    Yoyo袁阅读 127评论 2 1