We state Warshall's algorithm in an abstract form and prove its correctness, while postponing the choices of representation. This is achieved by the use of relations and algebraic operations on relations, avoiding the use of vectors, matrix elements and indices. By choosing specific forms for the lo
✦ LIBER ✦
Algorithms for transitive closure
✍ Scribed by A. Koubková; V. Koubek
- Book ID
- 104136656
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 105 KB
- Volume
- 81
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
✦ Synopsis
Let σ (n) denote the number of all strongly connected graphs on the n-element set. We prove that σ (n)
). Hence the algorithm computing a transitive closure by a reduction to acyclic graphs has the expected time O(n 2 ), under the assumption of uniform distribution of input graphs. Furthermore, we present a new algorithm constructing the transitive closure of an acyclic graph.
📜 SIMILAR VOLUMES
Abstract derivation of transitive closur
✍
L.M.G. Feijs; R.C. van Ommering
📂
Article
📅
1997
🏛
Elsevier Science
🌐
English
⚖ 529 KB
Computational experiences with some tran
✍
M. M. Sysło; J. Dzikiewicz
📂
Article
📅
1975
🏛
Springer Vienna
🌐
English
⚖ 387 KB
Practical parallel Union-Find algorithms
✍
G. Cybenko; T. G. Allen; J. E. Polito
📂
Article
📅
1988
🏛
Springer
🌐
English
⚖ 986 KB
Design of optimal systolic algorithms fo
✍
Sarkar, D.; Mukherjee, A.
📂
Article
📅
1992
🏛
IEEE
🌐
English
⚖ 456 KB
On computing the time complexity of tran
✍
Joël Coffy
📂
Article
📅
1973
🏛
Elsevier Science
🌐
English
⚖ 513 KB
A transitive closure algorithm
✍
Paul Purdom
📂
Article
📅
1970
🏛
Springer Netherlands
🌐
English
⚖ 997 KB