鲁道夫·伯格哈默;托尔斯滕·霍夫曼 计算强连通图的传递约简的关系程序。 （英语） Zbl 1027.68644号 Harrie C.M.de Swart（编辑），《计算机科学中的关系方法》。2001年10月16日至21日，第六届国际会议，RelMiCS 2001和成本行动274 TARSKI第一次研讨会，荷兰Oisterwijk。修订论文。柏林：施普林格。莱克特。注释计算。科学。2561, 258-275 (2002). 摘要：基于计算最小集的通用程序，我们提出了一个计算强连通有向图的传递约简的简单关系程序。它使用预计算阶段，可以很容易地在二次运行时间内实现。本演示作为泛型编程的练习，用于结合Dijkstra-Gries方法和关系代数来推导图形算法。有关整个系列，请参见[Zbl 1014.00018号]. 引用于1文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 03G15年 柱代数和多代数；关系代数 软件：重新查看 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{T.Hoffmann}，莱克特。注释计算。科学。2561258-275（2002年；兹比尔1027.68644） 全文： 链接