偏序集上的一种拓扑排序.PDFVIP

总 38 卷　第 4 期 数　学　研　究 V ol. 38　N o. 4 2005 年 12 月 Journal of M athem atical Study D ec. 2005 偏序集上的一种拓扑排序 叶先一　　张福基 ( 厦门大学数学科学学院, 福建 厦门 361005) 摘　要　拓扑排序是有向图的一种重要运算. 用一种线性的算法得到有向无圈图的一个更趋 于合理的拓扑序列. 关键词　拓扑序列; 排序; 算法 中图分类号　 157. 5　　　　文献标识码　 O A 1　引　　言 ( ) 若集合X 上的关系R 是自反的、反对称的和传递的, 则称R 是集合X 上的偏序 关系 . 设 ( R 是集合X 上的偏序, 如果对每个x , y ∈X , 必有x R y 或y R x , 则称R 是集合X 上的全序 关 ) 系 . 由某个集合上的一个偏序加强为该集合上的一个全序, 这个操作称为拓扑排序. 对一个 有无圈图 G 进行拓扑排序, 就是将G 中所有顶点排成一个线性序列, 使得图中任意一对顶点 u 和v , 若 u , v ∈E (G) , 则u 在线性序列中出现在v 之前. 通常, 这样的线性序列称为满足拓 扑次序的序列, 简称拓扑序列. 　　有向无圈图上的点满足偏序关系, 在这样的偏序集上得到拓扑序列已经有不少的方法. 如Knu th 在[2 ] 书中给出了一个求拓扑序列的算法. [5 ] 中用了一种探索式算法计算一个顶点 ( 在某个特定条件下的排序. 而在文献[6 ] 中J ianjun Zhou 用了D FDA D ep th - F ir st D iscovery A lgo rithm ) 改进了[5 ] 中的算法, 并给出了一个拓扑序列的增量的排序. 由于有向无圈图可能 存在着多个拓扑序列, 文献[7 ] 给出了一个求有向图全部拓扑序列的方法. 一个自然的问题 是, 在各种拓扑排序中哪些排序是更合理的? 对有向无圈图的一个拓扑序列, 实际上已经将图分了层次, 我们认为将同层的点按祖先数 的大小得其次序. 这样能更全面地将有向图的信息在拓扑序列中表示出来. 本文先给出了一个求祖先数的算法, 而后提出了一个排序算法, 结合两个算法得到有向无 圈图的一个更合理的拓扑序列. 2　求祖先数的算法 设 图 G 是一个有向无圈图, 我们先给出求图 G 祖先数的算法. 这个算法的思想是从入度 为 0 的点出发, 删除一条出弧时, 在进入点增加相应的祖先数, 直至所有的边全都删除为止. 　收稿日期: 2005- 03- 20 ( ) 基金项目: 国家自然科学基金资助项目 © 1994-2006 China Academic Journal Electronic Publishing House. All rights reserved. 第 4 期　　　　　　　　叶先一等: 偏序集上的一种拓扑排序 4·41 · 算法中 ances[ i ][ ] 存放顶点 i 的