基于闭半环的若干图算法.pdfVIP

小型微型计算机系统 Journal of Chinese Computer Systems 基于闭半环的若干图算法 罗奇鸣 (中国科学技术大学计算机科学与技术学院，合肥 23∞27) 巳mail: luoq@ustc.edu.cn 2015 年 12 月第 12 期 Vol. 36 No. 12 2015 摘 要:闭半环是在半环上添加了传递闭包运算符而得到的代数结构.闭半环为计算机科学理论中多个看起来不相关的问题 提供了统一的求解理论框架.有不少图算法问题可以通过对围的邻接矩阵在特定的闭半环上计算闭包而求解.本文分析了三个 典型的问题:最可靠路径、最小生成树和到达定值数据流分析.其中到达定值数据流分析可采用两种闭半坏求解.本文为这些问 题提供了基于 Haskell 语言的算法实现，并为最小生成树问题证明了算法的正确性. 关键词:闭半环;图算法;闭包; Haskell 中固分类号:τ凹91 文献标识码 :A 文章编号: 1仪泊-1220( 2015) 12-2671 -04 Some Graph Algorithms ?ased 00 Closed Semirings LUO Qi-ming (Sch∞1 of Computer Science and Technology , University of Science and Technology , Hefei 23∞27 ， China) Abstract:Closed semiring is an algebric structure obtained by adding the closure operator to a semiring. Closed semiring provides a u- nified theoretical framework for solving many seemingly unrelated problems in theoretical computer science. Quite a few problems of graph algorithms can be solved by ∞mputing the closure of the a也jency matrix on a specific closed semiring.ηlìs paper analyzes 也ree typical problems: most reliable paths , minimum sp创ming 位ee and reaching definitions dataflow analysis. Reaching definitions dat- aflow analysis can be solved by applying two kinds of closed semirings. 白山 paper provides the Haskell implementation of the algo- rithms for these problems , and proves the coπectness of the algorithm for minimum spanning tree. Key words: closed semiring; graph algorithms; closure ; Haskell 1 引言 经典的代数结构群、环、域在近几个世纪的数学和物理学 的发展中发挥了重要作用.半环由 H. S. Vanidiver 于 1934 年 提出 [1] 半环与环的主要区别在于加法没有逆元.半环在数 学和理论计算机科学中得到了广泛的应用[2] 文献 [3] 在半 环上添加了传递闭包运算符，定义了闭半环，并且提供了两种 算法用以计算定义在闭半环上的矩阵的闭包.文献 [4] 用 Haskell 语言实现了一些计算机科学中的典型算法问题. 本文分析了三个可纳入闭半环理论框架的图算法问题: 最可靠路径、最小生成树和到达定值数据流分析.文献 [4] [5]对这些问题仅作了简要陈述.本文为这些问题提供了基 于 Haskell 语言的算法实现，并为最小生成树问题证明了算法 的正确性.这些问题表面上看并不相关，但存在本质上的共同 特点，即要计算的量汇集了图中两个顶点之间所有路径的信 息，因而都可以归结为计算图的邻接矩阵的闭包.已有文献对 这些问题给出的算法是基于命令式语言(如 C 语言) ，从算法 的结构上无法体现其共性.本文给出的用 Haskell 语言表达的 基于闭半环的算法可以更加清晰的揭示这些问题的共性，并 对设计类似算法具有启发意义. Haskell 是一种纯粹的函数式 程序设计语言.相较于 C 和 Ja