Copyright © 2004 Elsevier B.V. All rights reserved.
Trading uninitialized space for time
Received 2 December 2003;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
The design of efficient graph algorithms usually precludes the test of edge existence, because an efficient support of that operation already requires time Ω(n2) for the initialization of an adjacency-matrix representation. We describe an alternative representation of static directed graphs taking Θ(n+m) initialization time and using Θ(n2) space, which supports the efficient implementation of all usual operations on static graphs. The sparse graph representation allows the design of efficient graph algorithms using both iteration over all vertices adjacent with a given vertex and edge-existence operations, although at the expense of additional (uninitialized) space which may, nevertheless, be used for other purposes. To the best of our knowledge, the representation leads to the first graph algorithms with the disconcerting property that the time complexity is better than the space complexity.
Author Keywords: Algorithms; Analysis of algorithms; Data structures; Design of algorithms; Graph algorithms







E-mail Article
Add to my Quick Links

Cited By in Scopus (1)


3, and in general greater than the minimum of 1/4



