We use Tarski’s relational algebra to derive a series of algorithms for computing spanning trees of undirected graphs, including a variant of Prim’s minimum spanning tree algorithm.
CITATION STYLE
Berghammer, R., von Karger, B., & Wolf, A. (1998). Relation-algebraic derivation of spanning tree algorithms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1422, pp. 23–43). Springer Verlag. https://doi.org/10.1007/bfb0054283
Mendeley helps you to discover research relevant for your work.