Abstract
We present the first polynomial-time approximation schemes (PTASes) for the following subset-connectivity problems in edge-weighted graphs of bounded-genus: Steiner tree, low-connectivity survivable-network design, and subset TSP. The schemes run in \(\mathcal{O}(n \log n)\) time for graphs embedded on both orientable and nonorientable surfaces. This work generalizes the PTAS framework from planar graphs to bounded-genus graphs: any problem that is shown to be approximable by the planar PTAS framework of Borradaile et al. (ACM Trans. Algorithms 5(3), 2009) will also be approximable in bounded-genus graphs by our extension.
Similar content being viewed by others
Notes
We would like to thank Christian Sommer for a discussion on this matter.
Note that polynomial time is not crucial here as the number of portals is constant.
References
Arnborg, S., Proskurowski, A.: Linear time algorithms for NP-hard problems restricted to partial k-trees. Discrete Appl. Math. 23(1), 11–24 (1989)
Arora, S.: Approximation schemes for NP-hard geometric optimization problems: A survey. Math. Program. 97(1–2), 43–69 (2003)
Baker, B.S.: Approximation algorithms for NP-complete problems on planar graphs. J. ACM 41(1), 153–180 (1994)
Bateni, M., Chekuri, C., Ene, A., Hajiaghayi, M.T., Korula, N., Marx, D.: Prize-collecting Steiner problems on planar graphs. In: SODA’11: Proceedings of the 22nd ACM-SIAM Symposium on Discrete Algorithms, pp. 1028–1049. SIAM, Philadelphia (2011)
Bateni, M., Hajiaghayi, M., Marx, D.: Approximation schemes for Steiner forest on planar graphs and graphs of bounded treewidth. In: STOC’10: Proceedings of the 42nd Annual ACM Symposium on Theory of Computing, pp. 211–220. ACM, New York (2010)
Borradaile, G., Klein, P.: The two-edge connectivity survivable network problem in planar graphs. In: ICALP’08: Proceedings of the 35th International Colloquium on Automata, Languages and Programming. LNCS, vol. 5125, pp. 485–501. Springer, Berlin (2008)
Borradaile, G., Klein, P.N., Mathieu, C.: A polynomial-time approximation scheme for Steiner tree in planar graphs. In: SODA’07: Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1285–1294 (2007)
Borradaile, G., Klein, P.N., Mathieu, C.: Steiner tree in planar graphs: an O(nlogn) approximation scheme with singly exponential dependence on epsilon. In: WADS’07: Proceedings of the 10th Workshop on Algorithms and Data Structures. LNCS, vol. 4619, pp. 275–286. Springer, Berlin (2007)
Borradaile, G., Klein, P.N., Mathieu, C.: An O(nlogn) approximation scheme for Steiner tree in planar graphs. ACM Trans. Algorithms 5(3) (2009)
Cabello, S., Chambers, E.W.: Multiple source shortest paths in a genus g graph. In: SODA’07: Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 89–97. SIAM, Philadelphia (2007)
Chimani, M., Mutzel, P., Zey, B.: Improved Steiner tree algorithms for bounded treewidth. In: IWOCA’11: Revised Selected Papers of the 22nd International Workshop on Combinatorial Algorithms. LNCS, vol. 7056, pp. 374–386. Springer, Berlin (2011)
Demaine, E.D., Fomin, F.V., Hajiaghayi, M., Thilikos, D.M.: Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs. J. ACM 52(6), 866–893 (2005)
Demaine, E.D., Hajiaghayi, M.: Bidimensionality: New connections between FPT algorithms and PTASs. In: SODA’05: Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 590–601 (2005)
Demaine, E.D., Hajiaghayi, M., Kawarabayashi, K.: Contraction decomposition in H-minor-free graphs and algorithmic applications. In: STOC’11: Proceedings of the 43rd Symposium on Theory of Computing, pp. 441–450. ACM, New York (2011)
Demaine, E.D., Hajiaghayi, M., Mohar, B.: Approximation algorithms via contraction decomposition. In: SODA’07: Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 278–287. SIAM, Philadelphia (2007)
Eppstein, D.: Dynamic generators of topologically embedded graphs. In: SODA’03: Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 599–608. SIAM, Philadelphia (2003)
Eppstein, D., Italiano, G., Tamassia, R., Tarjan, R., Westbrook, J., Yung, M.: Maintenance of a minimum spanning forest in a dynamic planar graph. J. Algorithms 13(1), 33–54 (1992). Special issue for 1st SODA
Erickson, J., Whittlesey, K.: Greedy optimal homotopy and homology generators. In: SODA’05: Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1038–1046. SIAM, Philadelphia (2005)
Erickson, R.E., Monma, C.L., Veinott, A.F., Jr.: Send-and-split method for minimum-concave-cost network flows. Math. Oper. Res. 12(4), 634–664 (1987)
Grohe, M.: Local tree-width, excluded minors, and approximation algorithms. Combinatorica 23(4), 613–632 (2003)
Henzinger, M.R., Klein, P.N., Rao, S., Subramanian, S.: Faster shortest-path algorithms for planar graphs. J. Comput. Syst. Sci. 55(1), 3–23 (1997)
Klein, P.N.: A subset spanner for planar graphs, with application to subset TSP. In: STOC’06: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, pp. 749–756 (2006)
Klein, P.N.: A linear-time approximation scheme for TSP in undirected planar graphs with edge-weights. SIAM J. Comput. 37(6), 1926–1952 (2008)
Korach, E., Solel, N.: Linear time algorithm for minimum weight Steiner tree in graphs with bounded treewidth. Manuscript (1990)
Mehlhorn, K.: A faster approximation algorithm for the Steiner problem in graphs. Inf. Process. Lett. 27, 125–128 (1988)
Mohar, B.: A linear time algorithm for embedding graphs in an arbitrary surface. SIAM J. Discrete Math. 12(1), 6–26 (1999)
Mohar, B., Thomassen, C.: Graphs on Surfaces. The John Hopkins University Press, Baltimore (2001)
Robertson, N., Seymour, P.: Graph minors. XVI. Excluding a non-planar graph. J. Comb. Theory, Ser. B 89(1), 43–76 (2003)
Robertson, N., Seymour, P.D.: Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms 7(3), 309–322 (1986)
Tazari, S., Müller-Hannemann, M.: Shortest paths in linear time on minor-closed graph classes, with an application to Steiner tree approximation. Discrete Appl. Math. 157, 673–684 (2009)
Tazari, S., Müller-Hannemann, M.: Dealing with large hidden constants: Engineering a planar Steiner tree PTAS. ACM J. Exp. Algorithmics 16(3) (2011). Article 3.16. Special Issue on ALENEX’09
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Borradaile, G., Demaine, E.D. & Tazari, S. Polynomial-Time Approximation Schemes for Subset-Connectivity Problems in Bounded-Genus Graphs. Algorithmica 68, 287–311 (2014). https://doi.org/10.1007/s00453-012-9662-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-012-9662-2