Abstract
In this paper we present a new type of graph decomposition calleda cut-cover that combines the notions of graph separators andt-neighborhood covers. We show that graphs with good cut-covers can be emulated in hypercubes and we show that planar and certain minor-excluded graphs have good cut-covers.
In particular, we show how to emulate anyN-node bounded degree planar graph or anyN-node bounded degree graph that excludes \(K_{log^{0(1)} N} \) as a minor with constant slowdown on hypercube networks.
Similar content being viewed by others
References
A. Agrawal, P. Klein, S. Rao, and R. Ravi. Approximation through multicommodity flow.Proceedings of the 30th Annual Symposium on Foundations of Computer Science, pages 726–737, October 1989.
W. Aiello and T. Leighton. Coding theory, hypercube embeddings, and fault tolerance.Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, pages 125–136, July 1991.
N. Alon, P. Seymour, and R. Thomas. A separator theorem for graphs with an excluded minor and its applications.Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, pages 293–299, May 1990.
B. Awerbuch, B. Berger, L. Cowen, and D. Peleg. Fast constructions of sparse neighborhood covers. Unpublished manuscript.
B. Awerbuch and D. Peleg. Sparse partitions. Proceedings of the 31st Symposium on Foundations of Computer Science, pages 503–513, 1990.
V. E. Beneš. Optimal rearrangeable multistage connecting networks.Bell System Technical Journal, 43:1641–1656, July 1964.
S. Bhatt, F. Chung, T. Leighton, and A. Rosenberg. Optimal simulations of tree machines.Proceedings of the 27th Annual Symposium on Foundations of Computer Science, pages 274–282, October 1986.
S. N. Bhatt and F. T. Leighton. A framework for solving VLSI graph layout problems.Journal of Computer and System Sciences, 28(2), 1984.
F. R. K. Chung. Separator theorems and their applications. In B. Korte, L. Lovasz, H. J. Promel, and A. Schriver, editors,Paths, Flows, and VLSI-Layout, pages 17–34. Springer-Verlag, New York, 1990.
R. Cole, B. Maggs, and R. Sitaraman. Multi-scale self-simulation: A technique for reconfiguring arrays with faults.Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pages 561–572, May 1993.
H. N. Djidjev. On the problem of partitioning planar graphs.SIAM Journal of Algebraic and Discrete Methods, 3:229–241, 1982.
M. R. Fellows. Encoding Graphs in Graphs. Ph.D. thesis, Department of Computer Science, University of California, San Diego, CA, 1985.
P. Klein, S. Rao, and S. Plotkin. Excluded minors, network decomposition, and multicommodity flow.Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pages 682–690, May 1993.
R. Koch, T. Leighton, B. Maggs, S. Rao, and A. Rosenberg. Work-preserving emulations of fixed-connection networks.Proceedings of the 21st Annual ACM Symposium on Theory of Computing, pages 227–240, May 1989.
F. T. Leighton, B. Maggs, and S. Rao. Universal rounding algorithms.Proceedings of the 28th Annual Symposium on Foundations of Computer Science, pages 256–269, 1988.
T. Leighton, B. Maggs, and R. Sitaraman. On the fault tolerance of some popular bounded-degree networks.Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, pages 542–552, October 1992.
C. E. Leiserson. Area-efficient layouts (for VSLI).Proceedings of the 21st Annual Symposium on Foundations of Computer Science, pages 270–281, October 1980.
C. E. Leiserson.Area Efficient VLSI Computation. MIT Press, Cambridge, MA, 1983.
C. E. Leiserson. Fat-trees: universal networks for hardware-efficient supercomputing.IEEE Transactions on Computers, 34(10):892–901, October 1985.
R. J. Lipton and R. E. Tarjan. A separator theorem for planar graphs.SIAM Journal of Applied Mathematics, 8(2):177–189, April 1979.
F. Meyer and der Heide. Efficiency of universal parallel computers.Acta Informatica, 19:269–296, 1983.
F. Meyer and der Heide. Efficient simulations among several models of parallel computers.SIAM Journal of Computing, 15:106–119, 1989.
G. L. Miller, S.-H. Teng, and S. A. Vavasis. A unified geometric approach to graph separators.Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, pages 538–547, 1991.
S. Plotkin, S. Rao, and W. Smith. Shallow excluded minors and improved graph decompositions.Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 462–470, January 1994.
S. Rao. Faster algorithms for finding small separators in planar graphs.Proceedings of the 24th Annual ACM Symposium on Theory of Computing, Pages 229–240, May 1992.
E. J. Schwabe. On the computational equivalence of hypercube-derived networks.Proceedings of the 2nd Annual ACM Symposium on Parallel Algorithms and Architectures, pages 388–397, July 1990.
L. Valiant. Universality considerations in VLSI circuits.IEEE Transactions on Computers, 30(2): 135–140, February 1981.
Author information
Authors and Affiliations
Additional information
The research of C. Kaklamanis and D. Krizanc was supported in part by the NEC Research Institute.
Rights and permissions
About this article
Cite this article
Kaklamanis, C., Krizanc, D. & Rao, S. New graph decompositions with applications to emulations. Theory of Computing Systems 30, 39–49 (1997). https://doi.org/10.1007/BF02679452
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02679452