Simple and efficient graph compression schemes for dense and complement graphs
In this paper, we present two graph compression schemes for solving problems on dense graphs and complement graphs. They compress a graph or its complement graph into two kinds of succinct representations based on adjacency intervals and adjacency integers, respectively. These two schemes complement each other for different ranges of density. Using these schemes, we develop optimal or near optimal algorithms for fundamental graph problems. In contrast to previous graph compression schemes, ours are simple and efficient for practical applications.
Unable to display preview. Download preview PDF.
- A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA, 1974.Google Scholar
- V. L. Arlazarov, E. A. Dinic, M. A. Kronrod, and I. A. Faradzev. On economical construction of the transitive closure of a directed graph. Dokl. Akad. Nauk SSSR, 194:487–488, 1970.Google Scholar
- J. Cheriyan, M. Y. Kao, and R. Thurimella. Scan-first search and sparse certificates: An improved parallel algorithm for k-vertex connectivity. SIAM Journal on Computing, 22(1):157–174, 1993.Google Scholar
- T. H. Cormen, C. L. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT Press, Cambridge, MA, 1991.Google Scholar
- T. Feder and R. Motwani. Clique partitions, graph compression, and speeding-up algorithms. In Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, pages 123–133, 1991.Google Scholar
- M. L. Fredman and M. E. Saks. The cell probe complexity of dynamic data structures. In Proceedings of the 21st Annual ACM Symposium on Theory of Computing, pages 345–354, 1989.Google Scholar
- H. N. Gabow and R. E. Tarjan. A linear-time algorithm for a special case of disjoint set union. Journal of Computer and System Sciences, 30(2):209–221, 1985.Google Scholar
- R. E. Tarjan. Efficiency of a good but not linear set union algorithm. Journal of the ACM, 22(2):215–225, 1975.Google Scholar
- R. E. Tarjan. A class of algorithms which require nonlinear time to maintain disjoint sets. Journal of Computer and System Sciences, 18(2):110–127, 1979.Google Scholar