Abstract
In this chapter we continue a story told from in Dániel Marx’s Chapter and present three examples of surprising use of treewidth. In all cases, we present a state-of-the-art and provably optimal (assuming the Exponential Time Hypothesis) algorithm exploiting a sublinear bound on the treewidth of an auxiliary graph taken out of the blue.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
- 2.
Technically speaking, the largest of the sets \(Y^1 \cup Y^2 \cup X_\gamma \) among all guesses of which element of \(\mathcal {W}\) is the pair \((X_\gamma ,W_\gamma )\), and a negative answer if no found set is of size at most k.
- 3.
Again, since in fact the algorithm guesses \(X_\gamma \) and \(\mathcal {B}_\gamma \) by iterating over all options, we return the best solution found for all cases.
References
Bringmann, K., Kisfaludi-Bak, S., Pilipczuk, M., van Leeuwen, E.J.: On geometric set cover for orthants. In: Bender, M.A., Svensson, O., Herman, G. (eds.) 27th Annual European Symposium on Algorithms, ESA 2019, 9–11 September 2019, Munich/Garching, Germany. LIPIcs, vol. 144, pp. 26:1–26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019). https://doi.org/10.4230/LIPIcs.ESA.2019.26
Danzer, L., Grünbaum, B., Klee, V.: Helly’s theorem and its relatives. Proc. Symp. Pure Math. 7, 101–180 (1963)
Dorn, F., Penninkx, E., Bodlaender, H.L., Fomin, F.V.: Efficient exact algorithms on planar graphs: exploiting sphere cut decompositions. Algorithmica 58(3), 790–810 (2010)
Fomin, F.V., Thilikos, D.M.: New upper bounds on the decomposability of planar graphs. J. Graph Theor. 51(1), 53–81 (2006)
Marx, D.: Four shorts stories on surprising algorithmic uses of treewidth. In: Fomin, F.V., Kratch, S., Leeuwen, E.J. (eds.) Treewidth, kernels and algorithms – Essays and Surveys Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday. LNCS, vol. 12160. Springer, Heidelberg (2020)
Marx, D., Pilipczuk, M., Pilipczuk, M.: 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
Marx, D., Pilipczuk, M., Pilipczuk, M.: On subexponential parameterized algorithms for Steiner tree and directed subset TSP on planar graphs. In: Thorup, M. (ed.) 59th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2018, Paris, France, 7–9 October 2018, pp. 474–484. IEEE Computer Society (2018). https://doi.org/10.1109/FOCS.2018.00052
Marx, D., Pilipczuk, M.: Optimal parameterized algorithms for planar facility location problems using Voronoi diagrams. In: Bansal, N., Finocchi, I. (eds.) ESA 2015. LNCS, vol. 9294, pp. 865–877. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-48350-3_72
Miller, G.L.: Finding small simple cycle separators for 2-connected planar graphs. J. Comput. Syst. Sci. 32(3), 265–279 (1986). https://doi.org/10.1016/0022-0000(86)90030-9
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Pilipczuk, M. (2020). Surprising Applications of Treewidth Bounds for Planar Graphs. In: Fomin, F.V., Kratsch, S., van Leeuwen, E.J. (eds) Treewidth, Kernels, and Algorithms. Lecture Notes in Computer Science(), vol 12160. Springer, Cham. https://doi.org/10.1007/978-3-030-42071-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-42071-0_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-42070-3
Online ISBN: 978-3-030-42071-0
eBook Packages: Computer ScienceComputer Science (R0)