Partitioning Planar Graphs with Vertex Costs: Algorithms and Applications

Abstract. We prove separator theorems in which the size of the separator is minimized with respect to non-negative vertex costs. We show that for any planar graph G there exists a vertex separator of total sum of vertex costs at most $c\sqrt{\sum_{v\in V(G)}( cost (v))^2}$ and that this bound is optimal to within a constant factor. Moreover, such a separator can be found in linear time. This theorem implies a variety of other separation results. We describe applications of our separator theorems to graph embedding problems, to graph pebbling, and to multicommodity flow problems.

[1]  Michael T. Goodrich,et al.  Planar Separators and Parallel Polygon Triangulation , 1995, J. Comput. Syst. Sci..

[2]  Fillia Makedon,et al.  Fast approximation algorithms for multicommodity flow problems , 1991, STOC '91.

[3]  Robert E. Tarjan,et al.  Applications of a planar separator theorem , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[4]  Gary L. Miller,et al.  Separators in two and three dimensions , 1990, STOC '90.

[5]  D. Rose,et al.  Generalized nested dissection , 1977 .

[6]  Samir Khuller,et al.  Designing Multi-Commodity Flow Trees , 1994, Inf. Process. Lett..

[7]  Krzysztof Diks,et al.  Edge Separators of Planar and Outerplanar Graphs with Applications , 1993, J. Algorithms.

[8]  Robin Thomas,et al.  A separator theorem for graphs with an excluded minor and its applications , 1990, STOC '90.

[9]  Charles E. Leiserson,et al.  Area-Efficient VLSI Computation , 1983 .

[10]  D. Rose,et al.  A Separator Theorem for Chordal Graphs , 1982 .

[11]  Greg N. Frederickson,et al.  Fast Algorithms for Shortest Paths in Planar Graphs, with Applications , 1987, SIAM J. Comput..

[12]  R. Tarjan,et al.  The analysis of a nested dissection algorithm , 1987 .

[13]  Arnold L. Rosenberg,et al.  Optimal simulations of tree machines , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[14]  Hristo Djidjev,et al.  Reduced constants for simple cycle graph separation , 1997, Acta Informatica.

[15]  Nicholas Pippenger,et al.  Advances in Pebbling (Preliminary Version) , 1982, ICALP.

[16]  Frank Thomson Leighton,et al.  A Framework for Solving VLSI Graph Layout Problems , 1983, J. Comput. Syst. Sci..

[17]  Ivan Hal Sudborough,et al.  Comparing Interconnection Networks , 1988, MFCS.

[18]  John R Gilbert,et al.  A Separator Theorem for Graphs of Bounded Genus , 1984, J. Algorithms.

[19]  R. Tarjan,et al.  A Separator Theorem for Planar Graphs , 1977 .

[20]  Arnold L. Rosenberg,et al.  Optimal simulations by Butterfly Networks , 1988, STOC '88.

[21]  S. Teng.  Points, spheres, and separators: a unified geometric approach to graph partitioning , 1992 .

[22]  Gary L. Miller,et al.  Planar Separators and the Euclidean Norm , 1990, SIGAL International Symposium on Algorithms.

[23]  Robin Thomas,et al.  Call routing and the ratcatcher , 1994, Comb..

[24]  Gary L. Miller,et al.  Finding Small Simple Cycle Separators for 2-Connected Planar Graphs , 1986, J. Comput. Syst. Sci..

[25]  Frank Thomson Leighton,et al.  An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximation algorithms , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[26]  Gary L. Miller,et al.  A unified geometric approach to graph separators , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[27]  Philip N. Klein,et al.  Faster Shortest-Path Algorithms for Planar Graphs , 1997, J. Comput. Syst. Sci..