Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs

Published: 17 September 2018 Publication History

Abstract

We propose polynomial-time algorithms that sparsify planar and bounded-genus graphs while preserving optimal or near-optimal solutions to Steiner problems. Our main contribution is a polynomial-time algorithm that, given an unweighted undirected graph G embedded on a surface of genus g and a designated face f bounded by a simple cycle of length k, uncovers a set FE(G) of size polynomial in g and k that contains an optimal Steiner tree for any set of terminals that is a subset of the vertices of f.
We apply this general theorem to prove that:
— Given an unweighted graph G embedded on a surface of genus g and a terminal set SV(G), one can in polynomial time find a set FE(G) that contains an optimal Steiner tree T for S and that has size polynomial in g and |E(T)|.
— An analogous result holds for an optimal Steiner forest for a set S of terminal pairs.
— Given an unweighted planar graph G and a terminal set SV(G), one can in polynomial time find a set FE(G) that contains an optimal (edge) multiway cut C separating S (i.e., a cutset that intersects any path with endpoints in different terminals from S) and that has size polynomial in |C|.
In the language of parameterized complexity, these results imply the first polynomial kernels for Steiner Tree and Steiner Forest on planar and bounded-genus graphs (parameterized by the size of the tree and forest, respectively) and for (Edge) Multiway Cut on planar graphs (parameterized by the size of the cutset).
Additionally, we obtain a weighted variant of our main contribution: a polynomial-time algorithm that, given an undirected plane graph G with positive edge weights, a designated face f bounded by a simple cycle of weight w(f), and an accuracy parameter ε > 0, uncovers a set FE(G) of total weight at most poly(ε-1 ) w(f) that, for any set of terminal pairs that lie on f, contains a Steiner forest within additive error ε w(f) from the optimal Steiner forest.

References

[1]
Ajit Agrawal, Philip N. Klein, and R. Ravi. 1995. When trees collide: An approximation algorithm for the generalized Steiner problem on networks. SIAM J. Comput. 24, 3 (1995), 440--456.
[2]
Ingo Althöfer, Gautam Das, David P. Dobkin, Deborah Joseph, and José Soares. 1993. On sparse spanners of weighted graphs. Discrete Comput. Geom. 9 (1993), 81--100.
[3]
Brenda S. Baker. 1994. Approximation algorithms for NP-complete problems on planar graphs. J. ACM 41, 1 (1994), 153--180.
[4]
Mohammad Hossein Bateni, Mohammad Taghi Hajiaghayi, Philip N. Klein, and Claire Mathieu. 2012. A polynomial-time approximation scheme for planar multiway cut. In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'12), Yuval Rabani (Ed.). SIAM, 639--655.
[5]
Mohammad Hossein Bateni, Mohammad Taghi Hajiaghayi, and Dániel Marx. 2011. Approximation schemes for Steiner forest on planar graphs and graphs of bounded treewidth. J. ACM 58, 5 (2011), 21.
[6]
Joshua D. Batson, Daniel A. Spielman, and Nikhil Srivastava. 2012. Twice-ramanujan sparsifiers. SIAM J. Comput. 41, 6 (2012), 1704--1721.
[7]
András A. Benczúr and David R. Karger. 1996. Approximating s-t minimum cuts in Õ (n<sup>2</sup>) time. In Proceedings of the 28th Annual ACM Symposium on the Theory of Computing (STOC'96), Gary L. Miller (Ed.). ACM, 47--55.
[8]
Marshall W. Bern and Paul E. Plassmann. 1989. The Steiner problem with edge lengths 1 and 2. Inf. Process. Lett. 32, 4 (1989), 171--176.
[9]
Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, and Danny Hermelin. 2009. On problems without polynomial kernels. J. Comput. Syst. Sci. 75, 8 (2009), 423--434.
[10]
Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh, and Dimitrios M. Thilikos. 2016. (Meta) kernelization. J. ACM 63, 5 (2016), 44:1--44:69. http://dl.acm.org/citation.cfm?id&equals;2973749
[11]
Glencora Borradaile, Erik D. Demaine, and Siamak Tazari. 2014. Polynomial-time approximation schemes for subset-connectivity problems in bounded-genus graphs. Algorithmica 68, 2 (2014), 287--311.
[12]
Glencora Borradaile, Philip N. Klein, and Claire Mathieu. 2009. An O(n log n) approximation scheme for Steiner tree in planar graphs. ACM Trans. Algorithms 5, 3 (2009).
[13]
Karol Borsuk. 1931. Sur les rétractes. Fundamenta Mathematicae 17 (1931), 2--20.
[14]
Vincent Bouchitté, Frédéric Mazoit, and Ioan Todinca. 2001. Treewidth of planar graphs: Connections with duality. Electron. Notes Discrete Math. 10 (2001), 34--38.
[15]
Jaroslaw Byrka, Fabrizio Grandoni, Thomas Rothvoß, and Laura Sanità. 2013. Steiner tree approximation via iterative randomized rounding. J. ACM 60, 1 (2013), 6:1--6:33.
[16]
Yixin Cao, Jianer Chen, and Jia-Hao Fan. 2013. An O<sup>*</sup>(1.84<sup>k</sup>) parameterized algorithm for the multiterminal cut problem. Inf. Process. Lett. 114, 4 (2013), 167--173. http://dblp.org/rec/bibtex/journals/ipl/CaoCF14.
[17]
Jianer Chen, Yang Liu, and Songjian Lu. 2009. An improved parameterized algorithm for the minimum node multiway cut problem. Algorithmica 55, 1 (2009), 1--13.
[18]
Marek Cygan, Holger Dell, Daniel Lokshtanov, Dániel Marx, Jesper Nederlof, Yoshio Okamoto, Ramamohan Paturi, Saket Saurabh, and Magnus Wahlström. 2016. On problems as hard as CNF-SAT. ACM Trans. Algorithms 12, 3 (2016), 41:1--41:24.
[19]
Marek Cygan, Łukasz Kowalik, and Marcin Pilipczuk. 2013. Open problems from Workshop on Kernels. Retrieved on September 3, 2018 from http://worker2013.mimuw.edu.pl/slides/worker-opl.pdf.
[20]
Elias Dahlhaus, David S. Johnson, Christos H. Papadimitriou, Paul D. Seymour, and Mihalis Yannakakis. 1994. The complexity of multiterminal cuts. SIAM J. Comput. 23, 4 (1994), 864--894.
[21]
Erik D. Demaine, Fedor V. Fomin, MohammadTaghi Hajiaghayi, and Dimitrios M. Thilikos. 2005. Subexponential parameterized algorithms on bounded-genus graphs and -minor-free graphs. J. ACM 52, 6 (2005), 866--893.
[22]
Erik D. Demaine and MohammadTaghi Hajiaghayi. 2008. Bidimensionality. In Encyclopedia of Algorithms, Ming-Yang Kao (Ed.). Springer.
[23]
Erik D. Demaine and MohammadTaghi Hajiaghayi. 2008. The bidimensionality theory and its algorithmic applications. Comput. J. 51, 3 (2008), 292--302.
[24]
Erik D. Demaine and Mohammad Taghi Hajiaghayi. 2008. Linearity of grid minors in treewidth with applications through bidimensionality. Combinatorica 28, 1 (2008), 19--36.
[25]
Reinhard Diestel. 2005. Graph Theory. Springer.
[26]
Krzysztof Diks and Piotr Sankowski. 2007. Dynamic plane transitive closure. In Proceedings of the 15th Annual European Symposium on Algorithms (ESA'07). Lecture Notes in Computer Science, Vol. 4698, Lars Arge, Michael Hoffmann, and Emo Welzl (Eds.). Springer, 594--604.
[27]
Michael Dom, Daniel Lokshtanov, and Saket Saurabh. 2014. Kernelization lower bounds through colors and IDs. ACM Trans. Algorithms 11, 2 (2014), 13:1--13:20.
[28]
Frederic Dorn, Fedor V. Fomin, and Dimitrios M. Thilikos. 2012. Catalan structures and dynamic programming in H-minor-free graphs. J. Comput. Syst. Sci. 78, 5 (2012), 1606--1622.
[29]
Rodney G. Downey and Michael R. Fellows. 1999. Parameterized Complexity. Springer.
[30]
Andrew Drucker. 2015. New limits to classical and quantum instance compression. SIAM J. Comput. 44, 5 (2015), 1443--1479.
[31]
David Eisenstat and Philip N. Klein. 2013. Linear-time algorithms for max flow and multiple-source shortest paths in unit-weight planar graphs. In Proceedings of the 45th ACM Symposium on Theory of Computing (STOC'13), Dan Boneh, Tim Roughgarden, and Joan Feigenbaum (Eds.). ACM, 735--744.
[32]
David Eisenstat, Philip N. Klein, and Claire Mathieu. 2012. An efficient polynomial-time approximation scheme for Steiner forest in planar graphs. In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'12), Yuval Rabani (Ed.). SIAM, 626--638.
[33]
David Eppstein, Zvi Galil, Giuseppe F. Italiano, and Amnon Nissenzweig. 1997. Sparsification — A technique for speeding up dynamic graph algorithms. J. ACM 44, 5 (Sept. 1997), 669--696.
[34]
David Eppstein, Zvi Galil, Giuseppe F. Italiano, and Thomas H. Spencer. 1996. Separator based sparsification: I. Planarity testing and minimum spanning trees. J. Comput. System Sci. 52, 1 (1996), 3--27.
[35]
David Eppstein, Zvi Galil, Giuseppe F. Italiano, and Thomas H. Spencer. 1998. Separator-based sparsification II: Edge and vertex connectivity. SIAM J. Comput. 28, 1 (1998), 341--381.
[36]
Ranel E. Erickson, Clyde L. Monma, and Arthur F. Jr. Veinott. 1987. Send-and-split method for minimum-concave-cost network flows. Math. Op. Res. 12, 4 (1987), 634--664. http://www.jstor.org/stable/3689922
[37]
Michael R. Fellows, Jiong Guo, Dániel Marx, and Saket Saurabh. 2012. Data reduction and problem kernels (Dagstuhl Seminar 12241). Dagstuhl Reports 2, 6 (2012), 26--50.
[38]
Fedor V. Fomin and Dieter Kratsch. 2010. Exact Exponential Algorithms. Springer.
[39]
Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, and Dimitrios M. Thilikos. 2010. Bidimensionality and kernels. In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'10), Moses Charikar (Ed.). SIAM, 503--510.
[40]
Lance Fortnow and Rahul Santhanam. 2011. Infeasibility of instance compression and succinct PCPs for NP. J. Comput. Syst. Sci. 77, 1 (2011), 91--106.
[41]
Michael R. Garey and David S. Johnson. 1977. The rectilinear Steiner tree problem is NP complete. SIAM Journal of Appl. Math. 32 (1977), 826--834.
[42]
R. E. Gomory and T. C. Hu. 1961. Multi-terminal network flows. J. Soc. Indust. Appl. Math. 9, 4 (1961), 551--570.
[43]
Gramoz Goranci, Monika Henzinger, and Pan Peng. 2017. Improved guarantees for vertex sparsification in planar graphs. CoRR abs/1702.01136 (2017). http://arxiv.org/abs/1702.01136
[44]
Torben Hagerup, Jyrki Katajainen, Naomi Nishimura, and Prabhakar Ragde. 1998. Characterizing multiterminal flow networks and computing flows in networks of small treewidth. J. Comput. Syst. Sci. 57, 3 (1998), 366--375.
[45]
Monika Rauch Henzinger, Philip N. Klein, Satish Rao, and Sairam Subramanian. 1997. Faster shortest-path algorithms for planar graphs. J. Comput. Syst. Sci. 55, 1 (1997), 3--23.
[46]
Russell Impagliazzo, Ramamohan Paturi, and Francis Zane. 2001. Which problems have strongly exponential complexity? J. Comput. Syst. Sci. 63, 4 (2001), 512--530.
[47]
Giuseppe F. Italiano, Yahav Nussbaum, Piotr Sankowski, and Christian Wulff-Nilsen. 2011. Improved algorithms for min cut and max flow in undirected planar graphs. In Proceedings of the 43rd ACM Symposium on Theory of Computing (STOC'11), Lance Fortnow and Salil P. Vadhan (Eds.). ACM, 313--322.
[48]
Bart M. P. Jansen, Marcin Pilipczuk, and Erik Jan van Leeuwen. 2018. A deterministic polynomial kernel for Odd Cycle Transversal and Vertex Multiway Cut in planar graphs, manuscript.
[49]
David R. Karger, Philip N. Klein, Clifford Stein, Mikkel Thorup, and Neal E. Young. 2004. Rounding algorithms for a geometric embedding of minimum multiway cut. Math. Oper. Res. 29, 3 (2004), 436--461.
[50]
Richard Karp. 1975. On the computational complexity of combinatorial problems. Networks 5 (1975), 45--68.
[51]
Philip N. Klein. 2005. Multiple-source shortest paths in planar graphs. In Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'05). SIAM, 146--155.
[52]
Philip N. Klein. 2006. A subset spanner for planar graphs, with application to subset TSP. In Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, May 21-23, 2006, Jon M. Kleinberg (Ed.). ACM, 749--756.
[53]
Philip N. Klein and Dániel Marx. 2012. Solving planar -terminal cut O(n<sup>c&sqrt;k</sup> in time. In Proceedings of the 39th International Colloquium on Automata, Languages, and Programming (ICALP'12), Lecture Notes in Computer Science, Vol. 7391, Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, and Roger Wattenhofer (Eds.). Springer, 569--580.
[54]
Philip N. Klein and Sairam Subramanian. 1998. A fully dynamic approximation scheme for shortest paths in planar graphs. Algorithmica 22, 3 (1998), 235--249.
[55]
Stefan Kratsch and Magnus Wahlström. 2012. Representative sets and irrelevant vertices: New tools for kernelization. In Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'12). IEEE Computer Society, 450--459.
[56]
Stefan Kratsch and Magnus Wahlström. 2014. Compression via matroids: A randomized polynomial kernel for odd cycle transversal. ACM Trans. Algorithms 10, 4 (2014), 20:1--20:15.
[57]
Robert Krauthgamer and Inbal Rika. 2013. Mimicking networks and succinct representations of terminal cuts. In Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'13), Sanjeev Khanna (Ed.). SIAM, 1789--1799.
[58]
Robert Krauthgamer and Inbal Rika. 2017. Refined vertex sparsifiers of planar graphs. CoRR abs/1702.05951 (2017). http://arxiv.org/abs/1702.05951
[59]
Dániel Marx. 2006. Parameterized graph separation problems. Theor. Comput. Sci. 351, 3 (2006), 394--406.
[60]
Dániel Marx. 2012. A tight lower bound for planar multiway cut with fixed number of terminals. In Proceedings of the 39th International Colloquium on Automata, Languages, and Programming (ICALP'12), Lecture Notes in Computer Science, Vol. 7391, Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, and Roger Wattenhofer (Eds.), Vol. 7391. Springer, 677--688.
[61]
Dániel Marx, Marcin Pilipczuk, and Michał Pilipczuk. 2017. On subexponential parameterized algorithms for Steiner tree and directed subset TSP on planar graphs. CoRR abs/1707.02190 (2017). http://arxiv.org/abs/1707.02190
[62]
Hiroshi Nagamochi and Toshihide Ibaraki. 1992. A linear-time algorithm for finding a sparse k-connected spanning subgraph of a k-connected graph. Algorithmica 7, 586 (1992), 583--596.
[63]
Jesper Nederlof. 2009. Fast polynomial-space algorithms using möbius inversion: Improving on Steiner tree and related problems. In Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09), Lecture Notes in Computer Science, Vol. 5555, Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, and Wolfgang Thomas (Eds.). Springer, 713--725.
[64]
Rolf Niedermeier. 2006. Invitation to Fixed-Parameter Algorithms. Oxford Lecture Series in Mathematics and its Applications, Vol. 31. Oxford University Press.
[65]
David Peleg and Alejandro A. Schäffer. 1989. Graph spanners. J. Graph Theor. 13, 1 (1989), 99--116.
[66]
Marcin Pilipczuk, Michal Pilipczuk, Piotr Sankowski, and Erik Jan van Leeuwen. 2013. Subexponential-time parameterized algorithm for Steiner tree on planar graphs. In Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science (STACS'13), vol. 20, Natacha Portier and Thomas Wilke (Eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 353--364.
[67]
Marcin Pilipczuk, Michal Pilipczuk, Piotr Sankowski, and Erik Jan van Leeuwen. 2014. Network sparsification for Steiner problems on planar and bounded-genus graphs. In 55th IEEE Annual Symposium on Foundations of Computer Science (FOCS’14), Philadelphia, PA, October 18-21, 2014. IEEE Computer Society, 276--285.
[68]
Heike Ripphausen-Lipa, Dorothea Wagner, and Karsten Weihe. 1997. The vertex-disjoint menger problem in planar graphs. SIAM J. Comput. 26, 2 (1997), 331--349.
[69]
Neil Robertson, Paul D. Seymour, and Robin Thomas. 1994. Quickly excluding a planar graph. J. Comb. Theory, Ser. B 62, 2 (1994), 323--348.
[70]
Sairam Subramanian. 1993. A fully dynamic data structure for reachability in planar digraphs. In ESA(), Lecture Notes in Computer Science, Vol. 726, Thomas Lengauer (Ed.). Springer, 372--383.
[71]
Ondrej Suchý. 2015. Extending the kernel for planar Steiner tree to the number of Steiner vertices. In 10th International Symposium on Parameterized and Exact Computation (IPEC’15), September 16-18, 2015, Patras, Greece (LIPIcs), Vol. 43, Thore Husfeldt and Iyad A. Kanj (Eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 151--162.
[72]
Siamak Tazari. 2012. Faster approximation schemes and parameterized algorithms on (odd-)H-minor-free graphs. Theor. Comput. Sci. 417 (2012), 95--107.

Cited By

View all
  • (2024)Preprocessing to reduce the search spaceJournal of Computer and System Sciences10.1016/j.jcss.2024.103532144:COnline publication date: 18-Jul-2024
  • (2023)Planar Disjoint Paths, Treewidth, and Kernels2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00044(649-662)Online publication date: 6-Nov-2023
  • (2022)Bypassing the surface embedding: approximation schemes for network design in minor-free graphsProceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing10.1145/3519935.3520049(343-356)Online publication date: 9-Jun-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Algorithms
ACM Transactions on Algorithms  Volume 14, Issue 4
October 2018
445 pages
ISSN:1549-6325
EISSN:1549-6333
DOI:10.1145/3266298
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 September 2018
Accepted: 01 July 2018
Revised: 01 April 2018
Received: 01 July 2017
Published in TALG Volume 14, Issue 4

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Steiner tree
  2. kernelization
  3. planar graphs
  4. polynomial kernel
  5. sparsification

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)20
  • Downloads (Last 6 weeks)1
Reflects downloads up to 30 Aug 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Preprocessing to reduce the search spaceJournal of Computer and System Sciences10.1016/j.jcss.2024.103532144:COnline publication date: 18-Jul-2024
  • (2023)Planar Disjoint Paths, Treewidth, and Kernels2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00044(649-662)Online publication date: 6-Nov-2023
  • (2022)Bypassing the surface embedding: approximation schemes for network design in minor-free graphsProceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing10.1145/3519935.3520049(343-356)Online publication date: 9-Jun-2022
  • (2022)Lossy planarization: a constant-factor approximate kernelization for planar vertex deletionProceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing10.1145/3519935.3520021(900-913)Online publication date: 9-Jun-2022
  • (2022)Optimal Parameterized Algorithms for Planar Facility Location Problems Using Voronoi DiagramsACM Transactions on Algorithms10.1145/348342518:2(1-64)Online publication date: 30-Mar-2022
  • (2022)Subexponential Parameterized Algorithms for Planar and Apex-Minor-Free Graphs via Low Treewidth Pattern CoveringSIAM Journal on Computing10.1137/19M126250451:6(1866-1930)Online publication date: 20-Dec-2022
  • (2022)A relaxation of the Directed Disjoint Paths problemTheoretical Computer Science10.1016/j.tcs.2021.10.023898:C(75-91)Online publication date: 4-Jan-2022
  • (2022)Revising Johnson’s table for the 21st centuryDiscrete Applied Mathematics10.1016/j.dam.2021.05.021323:C(184-200)Online publication date: 31-Dec-2022
  • (2021)Strong connectivity augmentation is FPTProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458079(219-234)Online publication date: 10-Jan-2021
  • (2021)Parameterized Approximation Algorithms for Bidirected Steiner Network ProblemsACM Transactions on Algorithms10.1145/344758417:2(1-68)Online publication date: 19-Apr-2021
  • Show More Cited By

View Options

Get Access

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media