×

Approximation algorithms via contraction decomposition. (English) Zbl 1274.05445

Summary: We prove that the edges of every graph of bounded (Euler) genus can be partitioned into any prescribed number \(k\) of pieces such that contracting any piece results in a graph of bounded treewidth (where the bound depends on \(k\)). This decomposition result parallels an analogous, former result for edge deletions instead of contractions, and it generalizes a similar previous result for “compression” (a variant of contraction) in planar graphs. Our decomposition result is a powerful tool for obtaining PTASs for contraction-closed problems (whose optimal solution only improves under contraction), a much more general class than minor-closed problems. We prove that any contraction-closed problem satisfying just a few simple conditions has a PTAS in bounded-genus graphs. In particular, our framework yields PTASs for the weighted Traveling Salesman Problem and for minimum-weight \(c\)-edge-connected submultigraph on bounded-genus graphs, improving and generalizing several previous algorithms. We also highlight the only main difficulty in extending our results to general \(H\)-minor-free graphs.

MSC:

05C83 Graph minors
05C10 Planar graphs; geometric and topological aspects of graph theory
68R10 Graph theory (including graph drawing) in computer science

References:

[1] Sanjeev Arora, Michelangelo Grigni, David Karger, Philip Klein and Andrzej Woloszyn: A polynomial-time approximation scheme for weighted planar graph TSP, in: Proceedings of the 9th Annual ACM-SIAM Symposium on Discrete Algorithms, pages 33–41, 1998. · Zbl 0930.68104
[2] Eyal Amir: Efficient approximation for triangulation of minimum treewidth, in: Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI-2001), pages 7–15, Morgan Kaufmann Publishers, San Francisco, CA, 2001.
[3] Sanjeev Arora, Satish Rao and Umesh Vazirani: Expander flows, geometric embeddings and graph partitioning; in: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, pages 222–231, 2004. · Zbl 1192.68467
[4] Brenda S. Baker: Approximation algorithms for NP-complete problems on planar graphs, Journal of the Association for Computing Machinery 41(1) (1994), 153–180. · Zbl 0807.68067 · doi:10.1145/174644.174650
[5] André Berger, Artur Czumaj, Michelangelo Grigni and Hairong Zhao: Approximation schemes for minimum 2-connected spanning subgraphs in weighted planar graphs, in: Proceedings of the 13th Annual European Symposium on Algorithms, volume 3669 of Lecture Notes in Computer Science, pages 472–483, Palma de Mallorca, Spain, October 2005. · Zbl 1162.68817
[6] Richard Brunet, Bojan Mohar and R. Bruce Richter: Separating and non-separating disjoint homotopic cycles in graph embeddings, Journal of Combinatorial Theory, Series B 66(2) (1996), 201–231. · Zbl 0855.05048 · doi:10.1006/jctb.1996.0016
[7] Hans L. Bodlaender: Discovering treewidth, in: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science, volume 3381 of Lecture Notes in Computer Science, pages 1–16, Liptovský Ján, Slovakia, January 2005. · Zbl 1117.68451
[8] Artur Czumaj, Michelangelo Grigni, Papa Sissokho and Hairong Zhao: Approximation schemes for minimum 2-edge-connected and biconnected subgraphs in planar graphs, in: Proceedings of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms, pages 496–505, Society for Industrial and Applied Mathematics. Philadelphia, PA, USA, 2004. · Zbl 1318.05075
[9] Sergio Cabello and Bojan Mohar: Finding shortest non-separating and non-contractible cycles for topologically embedded graphs, in: Proceedings of the 13th Annual European Symposium on Algorithms, volume 3669 of Lecture Notes in Computer Science, pages 131–142, Palma de Mallorca, Spain, October 2005. · Zbl 1162.05352
[10] Matt DeVos, Guoli Ding, Bogdan Oporowski, Daniel P. Sanders, Bruce Reed, Paul Seymour and Dirk Vertigan: Excluding any graph as a minor allows a low tree-width 2-coloring, Journal of Combinatorial Theory, Series B 91(1) (2004), 25–41. · Zbl 1042.05036 · doi:10.1016/j.jctb.2003.09.001
[11] Erik D. Demaine, Fedor V. Fomin, MohammadTaghi Hajiaghayi and Dimitrios M. Thilikos: Bidimensional parameters and local treewidth, SIAM Journal on Discrete Mathematics 18(3) (2004), 501–511. · Zbl 1069.05070 · doi:10.1137/S0895480103433410
[12] Erik D. Demaine, Fedor V. Fomin, MohammadTaghi Hajiaghayi and Dimitrios M. Thilikos: Fixed-parameter algorithms for (k, r)-center in planar graphs and map graphs, ACM Transactions on Algorithms 1(1) (2005), 33–47. · Zbl 1321.05256 · doi:10.1145/1077464.1077468
[13] Erik D. Demaine, Fedor V. Fomin, MohammadTaghi Hajiaghayi and Dimitrios M. Thilikos: Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, Journal of the ACM 52(6) (2005), 866–893. · doi:10.1145/1101821.1101823
[14] Frederic Dorn, Fedor V. Fomin and Dimitrios M. Thilikos: Fast subexponential algorithm for non-local problems on graphs of bounded genus, in: Proceedings of the 10th Scandinavian Workshop on Algorithm Theory, volume 4059 of Lecture Notes in Computer Science, pages 172–183, Riga, Latvia, July 2006. · Zbl 1141.05338
[15] Erik D. Demaine and MohammadTaghi Hajiaghayi: Diameter and treewidth in minor-closed graph families, revisited; Algorithmica 40(3) (2004), 211–215. · Zbl 1082.05086 · doi:10.1007/s00453-004-1106-1
[16] Erik D. Demaine and MohammadTaghi Hajiaghayi: Equivalence of local treewidth and linear local treewidth and its algorithmic applications, in: Proceedings of the 15th ACM-SIAM Symposium on Discrete Algorithms (SODA’04), pages 833–842, January 2004. · Zbl 1318.05077
[17] Erik D. Demaine, MohammadTaghi Hajiaghayi and Ken-Ichi Kawarabayashi: Algorithmic graph minor theory: Decomposition, approximation, and coloring; in: Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science, pages 637–646, Pittsburgh, PA, October 2005. · Zbl 1288.05053
[18] Erik D. Demaine, MohammadTaghi Hajiaghayi, Naomi Nishimura, Prabhakar Ragde and Dimitrios M. Thilikos: Approximation algorithms for classes of graphs excluding single-crossing graphs as minors, Journal of Computer and System Sciences 69(2) (2004), 166–195. · Zbl 1073.68063 · doi:10.1016/j.jcss.2003.12.001
[19] Erik D. Demaine, MohammadTaghi Hajiaghayi and Dimitrios M. Thilikos: The bidimensional theory of bounded-genus graphs, SIAM Journal on Discrete Mathematics 20(2) (2006), 357–371. · Zbl 1117.05100 · doi:10.1137/040616929
[20] David Eppstein: Diameter and treewidth in minor-closed graph families, Algorithmica 27(3–4) (2000), 275–291. · Zbl 0963.05128 · doi:10.1007/s004530010020
[21] Uriel Feige and Joe Kilian: Zero knowledge and the chromatic number, Journal of Computer and System Sciences 57(2) (1998), 187–199. · Zbl 0921.68089 · doi:10.1006/jcss.1998.1587
[22] Fedor V. Fomin and Dimitrios M. Thilikos: Fast parameterized algorithms for graphs on surfaces: Linear kernel and exponential speed-up, in: Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP 2004), pages 581–592, Turku, Finland, July 2004. · Zbl 1099.68077
[23] John R. Gilbert, Joan P. Hutchinson and Robert Endre Tarjan: A separator theorem for graphs of bounded genus, J. Algorithms 5(3) (1984), 391–407. · Zbl 0556.05022 · doi:10.1016/0196-6774(84)90019-1
[24] Michelangelo Grigni, Elias Koutsoupias and Christos Papadimitriou: An approximation scheme for planar graph TSP, in: Proceedings of the 36th Annual Symposium on Foundations of Computer Science (Milwaukee, WI, 1995), pages 640–645, Los Alamitos, CA, 1995. · Zbl 0938.68748
[25] Michelangelo Grigni: Approximate TSP in graphs with forbidden minors, in: Proceedings of the 27th International Colloquium of Automata, Languages and Programming (Geneva, 2000), volume 1853 of Lecture Notes in Computer Science, pages 869–877. Springer, Berlin, 2000. · Zbl 0973.68263
[26] Martin Grohe: Local tree-width, excluded minors, and approximation algorithms; Combinatorica 23(4) (2003), 613–632. · Zbl 1089.05503 · doi:10.1007/s00493-003-0037-9
[27] Michelangelo Grigni and Papa Sissokho: Light spanners and approximate TSP in weighted graphs with forbidden minors, in: Proceedings of the 13th Annual ACMSIAM Symposium on Discrete Algorithms, pages 852–857, 2002. · Zbl 1093.68619
[28] Jonathan A. Kelner: Spectral partitioning, eigenvalue bounds, and circle packings for graphs of bounded genus; SIAM Journal on Computing 35(4) (2006), 882–902 (electronic). · Zbl 1096.05048 · doi:10.1137/S0097539705447244
[29] Philip N. Klein: A linear-time approximation scheme for TSP for planar weighted graphs, in: Proceedings of the 46th IEEE Symposium on Foundations of Computer Science, pages 146–155, 2005. · Zbl 1297.05059
[30] Philip N. Klein: A subset spanner for planar graphs, with application to subset TSP, in: Proceedings of the 38th ACM Symposium on Theory of Computing, pages 749–756, Seattle, WA, 2006. · Zbl 1301.05335
[31] Tom Leighton and Satish Rao: Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms, Journal of the ACM 46(6) (1999), 787–832. · Zbl 1065.68666 · doi:10.1145/331524.331526
[32] Richard J. Lipton and Robert Endre Tarjan: Applications of a planar separator theorem, SIAM Journal on Computing 9(3) (1980), 615–627. · Zbl 0456.68077 · doi:10.1137/0209046
[33] Bojan Mohar: Combinatorial local planarity and the width of graph embeddings, Canadian Journal of Mathematics 44(6) (1992), 1272–1288. · Zbl 0777.05052 · doi:10.4153/CJM-1992-076-8
[34] Bojan Mohar: A linear time algorithm for embedding graphs in an arbitrary surface, SIAM Journal on Discrete Mathematics 12(1) (1999), 6–26. · Zbl 0931.05025 · doi:10.1137/S089548019529248X
[35] Bojan Mohar: Graph minors and graphs on surfaces, in: Surveys in Combinatorics, volume 288 of London Math. Soc. Lecture Note Ser., pages 145–163. Cambridge Univ. Press, Cambridge, 2001. · Zbl 0977.05129
[36] Bojan Mohar and Carsten Thomassen: Graphs on surfaces, Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Baltimore, MD, 2001. · Zbl 0979.05002
[37] Neil Robertson and Paul D. Seymour: Graph minors II.: Algorithmic aspects of tree-width; Journal of Algorithms 7(3) (1986), 309–322. · Zbl 0611.05017 · doi:10.1016/0196-6774(86)90023-4
[38] Neil Robertson and Paul D. Seymour: Graph minors XI.: Circuits on a surface; Journal of Combinatorial Theory, Series B 60(1) (1994), 72–106. · Zbl 0799.05016 · doi:10.1006/jctb.1994.1007
[39] Neil Robertson and Paul D. Seymour: Graph minors XVI.: Excluding a non-planar graph; Journal of Combinatorial Theory, Series B 89(1) (2003), 43–76. · Zbl 1023.05040 · doi:10.1016/S0095-8956(03)00042-X
[40] Robin Thomas: Problem Session of the 3rd Solvene Conference on Graph Theory, Bled, Slovenia, 1995.
[41] Mikkel Thorup: All structured programs have small tree-width and good register allocation, Information and Computation 142(2) (1998), 159–181. · Zbl 0924.68023 · doi:10.1006/inco.1997.2697
[42] Klaus Wagner: Über eine Eigenschaft der ebenen Komplexe, Mathematische Annalen 114 (1937), 570–590. · Zbl 0017.19005 · doi:10.1007/BF01594196
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.