彼得·霍夫纳;伯恩哈德·莫勒 迪克斯特拉、弗洛伊德和沃沙尔将会见克莱恩。 （英语） Zbl 1259.68243号 正式Asp。计算。 24，第4-6号，459-476（2012）. 引用于8文件 MSC公司： 68瓦30 符号计算和代数计算 2016年60月 半环 08A70型 泛代数在计算机科学中的应用 关键词：代数;算法;最短路径;克莱尼代数;半环 软件：算法97 PDF格式BibTeX公司 XML格式引用 \textit｛P.Höfner｝和\textit｛B.Möller｝，正式Asp。计算。24、编号4--6、459--476（2012；Zbl 1259.68243） 全文： 内政部 链接 参考文献： [1] Aho AV、Hopcroft JE、Ullman JD（1974）《计算机算法的设计与分析》。Addison-Wesley，美国 [2] Backhouse R，CarréB（1975）正则代数应用于路径查找问题。IMA应用数学杂志15（2）：161–186·Zbl 0304.68082号 ·doi:10.1093/imamat/15.2.161 [3] Backhouse R，van den Eijnde J，van Gasteren A（1994）计算路径算法。科学计算程序22（1-2）：3-19·Zbl 0818.68117号 ·doi:10.1016/0167-6423（94）90005-1 [4] Bellman R（1958）关于路由问题。四分之一应用数学16:87–90·Zbl 0081.14403号 [5] Berge C（1962）图论及其应用。Methuen公司·Zbl 0097.38903号 [6] CarréB（1971）网络路由问题的代数。IMA应用数学杂志7:273–294·Zbl 0219.90020号 ·doi:10.1093/imamat/7.3.273 [7] CarréB（1979）《图形和网络》。牛津应用数学与计算科学系列。牛津大学克拉伦登出版社 [8] Coltun R、Ferguson D、Moy J（2008）《IPv6 OSPF》。RFC 2328（标准，存在勘误表） [9] Conway J（1971）正则代数和有限机。查普曼和霍尔，伦敦·Zbl 0231.94041号 [10] Dantzig G（1960）《网络中的最短路线》，《管理科学》6:187-190·Zbl 0995.90518号 ·doi:10.1287个/mnsc.6.2.187 [11] Dijkstra E（1959）关于与图有关的两个问题的注记。数理1：269–271·Zbl 0092.16002号 ·doi:10.1007/BF01386390 [12] 戴维B，普里斯特利H（2002）格与序导论。剑桥大学出版社，伦敦·Zbl 1002.06001号 [13] Floyd R（1962）算法97：最短路径。公共ACM 5:345·doi:10.1145/367766.368168 [14] Gondran M，Minoux M（1979）《图形与算法》。埃罗勒 [15] Gondran M，Minoux M（1988）《图与算法》。威利·Zbl 1172.05001号 [16] Gondran M，Minoux M（2008）图，二元体和半环-新模型和算法。柏林施普林格·Zbl 1201.16038号 [17] Höfner P，McIver A（2011）走向路由表代数。摘自：《计算机科学中的关系和克莱恩代数》，计算机科学课堂讲稿，第6663卷。柏林施普林格，第212-229页 [18] Hollenberg M（1998）测试代数的等式公理。In:Nielsen M，Thomas W（eds）CSL’97：第11届计算机科学逻辑国际研讨会论文选集，计算机科学课堂讲稿，第1414卷 [19] Höfner P，Struth G（2007）《Kleene代数中的自动推理》。收录于：Pfennig F（ed）自动演绎，人工智能课堂讲稿，第4603卷。柏林施普林格，第279-294页·Zbl 1184.68462号 [20] Kleene S（1951）神经网络和有限自动机中事件的表示。技术报告RM-704，兰德公司兰德研究备忘录 [21] Kleene SC（1952）元数学导论。范·诺斯特兰德·Zbl 0047.00703号 [22] Kozen D（1994）Kleene代数和正则事件代数的完备性定理。信息计算110（2）：366–390·Zbl 0806.68082号 ·doi:10.1006/inco.1994.1037 [23] Kozen D（1997）Kleene代数与测试。ACM Trans Progr Lang系统19（3）：427–443·兹伯利0882.03064 ·doi:10.1145/256167.256195 [24] Lengauer T，Theune D（1991）《一般成本城市路径问题的有效算法》。收录：Leach Albert J，Burkhard Monien B，Rodríguez-Artalejo M（eds）Automata，语言与编程，第18届国际学术讨论会，ICALP91，西班牙马德里，1991年7月8日至12日，会议记录。计算机科学第510卷课堂讲稿。柏林施普林格，第314–326页·兹比尔0764.68123 [25] Lengauer T，Theune D（1991）非结构化路径问题和半环的构造（初步版本）。收录：Dehne F，Sack J-R，Santoro N（eds）Algorithms and data structures，WADS’91第二次研讨会，加拿大渥太华，1991年8月14-16日，会议记录。计算机科学课堂讲稿，第519卷。柏林施普林格，第189-200页·Zbl 0764.68124号 [26] Moy J（1998）OSPF第2版。RFC 2328（标准，存在勘误表） [27] Oran D（1990）IS-IS协议规范（IETF）。RFC 1142（信息） [28] Perkins C、Belding-Royer E、Das S（2003）Ad hoc按需距离矢量（AODV）路由。RFC 3561（实验） [29] Roy B（1959年），Transitivitéet connexité。巴黎科学研究院249:216-218 [30] Tarjan R.（1981）路径问题的统一方法。美国临床医学杂志28:577–593·Zbl 0462.68041号 ·数字对象标识代码：10.1145/322261.322272 [31] Warshall S（1962）布尔矩阵定理。美国临床医学杂志9（1）：11–12·Zbl 0118.33104号 ·数字对象标识代码：10.1145/32105.321107 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。