s1图标准抽象数据结构界面初探.docVIP

图的标准抽象数据结构界面初探 漆涛, 北京邮电大学计算机学院, 北京, 100876, qitao@bupt.edu.cn Abstract This paper tries to establish a standard interface for data struct: graph. First, the basic requirements of the standard interface was discussed. Further more, some special needs of the implementation of some algorithms in graph theory are consided. Upon these discussion, a suggested standard interface for data structure graph was proposed. Finally, as examples, Prim algorithm of minimun spaning tree and Gabow algorithm of strong components of directed graph were implemented using the newly proposed standard interface. 摘要 本文试图给出图作为数据结构的标准抽象数据结构界面. 文章首先讨论了图的抽象数据结构标准界面的基本要求;其次讨论了图论中主要算法对界面的一些特殊要求. 在此基础上, 给出了一个建议图的标准界面. 最后, 利用这个标准界面实现了图论中的两个经典算法: Prim 算法和 Gabow 算法. 第一节: 引言 随着计算机软件科学的发展, 软件界在许多数据结构的标准界面上达成共识. 这些共识集中反映在 C++ 的标准模板库中. 这些数据结构包括向量, 双向链表, Hash 结构, 堆以及排序二叉树. 但是图作为一个数据结构, 至今还没有一个公认的标准抽象数据结构界面. 其原因可能由二: 一是由于其操作的复杂性; 而在具体的应用中, 只用到其中的一小部分操作. 程序员更喜欢针对这些常用的小部分操作, 给出具体高效的实现. 其二可能是由于许多学者更倾向于将图看作为演示算法的工具, 而不将其看作为数据结构. 然而另一方面, 在大多数据结构教科书中将图作为一个数据结构看待. 图的标准抽象数据结构界面, 会更有利于演示图论中的算法, 更有利于证明图论算法的正确性. 而且有了图的标准抽象数据结构界面并不影响程序员对特定操作给出更加优化的实现. 基于这些考虑, 本文给出图作为数据结构的抽象数据结构界面. 并且基于这个抽象数据结构界面, 并且给出这个界面的邻接矩阵实现. 最后基于这个标准界面, 给出图论中两个算法的实现. 一个是求无向图最小代价生成树的Prim 算法, 一个是求有向图强连通分量的 Gabow 算法. 第二节 标准界面的基本要求与图论算法的基本运算 作为图的标准抽象数据结构界面, 我们给出其基本要求: 简洁: 由于图本身就非常复杂, 如果再给出一个复杂的标准界面, 将会使得问题更加复杂. 不利于标准界面的应用. 高效: 效率是程序员的图的标准抽象数据界面最为担心的问题. 一个简介而不高效的界面只能作为教科书的内容. 所有的基本操作必须能高效使得实现. 通用: 标准抽象数据结构的界面不仅仅可以表示单重图, 也应该可以表示多重图. 也没有理由不允许自环边的出现. 图中端点可以带有信息, 而弧边同时也可以带有权值. 基本: 界面所具有的操作应该时最为基本的操作. 是为图论算法的实现提供 积木块, 而不是越俎代庖去实现图论中的某些算法. 全面: 标准界面应该是全面的. 应该能方便的实现绝大多数图论算法. 考察一些重要的图论算法,可以发现其中最为常见的运算以及对标准界面的影响. 遍历所有的弧边. 为此标准界面需要提供遍历所有边的迭代子. 从某个端点出发, 沿着弧边去访问其邻接点. 为此标准界面需要提供遍历从某端点出发的所有弧边的跌代子. 在有向图中, 还有可能访问终点为某个端点的所有弧边. 为此标准界面需要提供遍历终点为某一端点的所有弧边的迭代子. 在有些算法中, 为了实现方便, 需要一个虚拟的弧边, 这个虚拟弧边的权值 根据需要被设置为无穷大或者无穷小. 为此我们将遍历所有弧边的迭代子的右边界作为这个虚拟的弧边. 第三节: 建议的标准界面 在绝大部分图论算法中, 都是将端点的信息存放在数组中, 以后用整数来索引端点. 我们沿用这一传统. 其次, 我们将有向图和无向图分开. 3..1 弧边的界面 首先我们给出弧边的界面: struct Arc { int t