鲁道夫·伯哈默;托尔斯滕·霍夫曼 关系深度是应用程序的首次搜索。 (英语) Zbl 1004.68125号 信息科学。 139,第3-4号,167-186(2001). 摘要:我们给出了搜索有向图的深度优先方法的关系规范。然后,我们将该方法作为一个关系程序来呈现,并绘制了正确性证明。最后,我们考虑了一些经典应用程序,并证明使用原始规范而不是程序可以得到紧凑的关系代数正确性证明。 引用于6文件 MSC公司: 68兰特 计算机科学中的图论(包括图形绘制) 关键词:关系规范;深度优先法 软件:重新查看;哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{T.Hoffmann},信息科学。139,编号3--4,167-186(2001;Zbl 1004.68125) 全文: 内政部 参考文献: [1] Behnke,R.,用R原型化关系规范和程序埃尔V(V)查看,(Buth,B.;Berghammer,R.;Peleska,J.,《系统开发和验证工具》,BISS专著1(1998),Shaker:Shaker-Aachen),22-42 [2] Berghammer,R。;冯·卡格尔,B。;Ulke,C.,带R的Petri网的关系代数分析埃尔V(V)查看,(Margaria,T.;Steffen,B.,《系统构建与分析工具与应用第二次研讨会论文集》(TACAS’96)。第二届系统构建与分析工具与应用研讨会论文集(TACAS’96),计算机科学讲稿,第1055卷(1996),施普林格:施普林格柏林),49-69 [3] 科尔曼,T.H。;Leiserson,C.F。;Rivest,R.L.,《算法导论》(1990年),麻省理工学院出版社:剑桥·Zbl 1158.68538号 [4] Erwig,M.,《图形函数编程》,ACM SIGPLAN Notices,32,52-65(1997)·Zbl 1369.68095号 [5] C.Hattensperger,异质关系代数的计算机辅助证明,博士论文,Fakultät für Informatik,Bundeswehr München大学,1997(德语);C.Hattensperger,异质关系代数的计算机辅助证明,博士论文,Fakultät für Informatik,Bundeswehr München大学,1997(德语) [6] T.Hoffmann,关系程序开发案例研究,基尔大学信息与实践数学研究所博士论文(准备中);T.Hoffmann,关系程序开发案例研究,基尔大学信息与数学研究所博士论文(德语)(准备中) [7] 霍普克罗夫特,J.E。;Tarjan,R.E.,《图形操作的高效算法》,《ACM通信》,第16期,第372-378页(1973年)·Zbl 0281.05111号 [8] 金·D·J。;Launchbury,J.,《在Haskell中构造深度优先搜索算法》,(第22届ACM编程语言原理研讨会论文集(1995),ACM出版社:纽约ACM出版社),344-354 [9] Ravelo,J.,《导出的两种图形算法》,《信息学报》,36,489-510(1999)·Zbl 0933.68157号 [10] 施密特,G。;Ströhlein,T.,(关系与图,计算机科学家的离散数学·Zbl 0900.68328号 [11] Tarjan,R.E.,深度-第一搜索和线性图算法,SIAM计算杂志,1146-160(1972)·Zbl 0251.05107号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。