Abstract
For several graph theoretic parameters such as vertex cover and dominating set, it is known that if their values are bounded by k then the treewidth of the graph is bounded by some function of k. This fact is used as the main tool for the design of several fixed-parameter algorithms on minor-closed graph classes such as planar graphs, single-crossing-minor-free graphs, and graphs of bounded genus. In this paper we examine the question whether similar bounds can be obtained for larger minor-closed graph classes, and for general families of parameters including all the parameters where such a behavior has been reported so far.
Given a graph parameter P, we say that a graph family \(\mathcal{F}\) has the parameter-treewidth property for P if there is a function f(p) such that every graph \(G \in \mathcal{F}\) with parameter at most p has treewidth at most f(p). We prove as our main result that, for a large family of parameters called contraction-bidimensional parameters, a minor-closed graph family \(\mathcal{F}\) has the parameter-treewidth property if \(\mathcal{F}\) has bounded local treewidth. We also show “if and only if” for some parameters, and thus this result is in some sense tight. In addition we show that, for a slightly smaller family of parameters called minor-bidimensional parameters, all minor-closed graph families \(\mathcal{F}\) excluding some fixed graphs have the parameter-treewidth property. The bidimensional parameters include many domination and covering parameters such as vertex cover, feedback vertex set, dominating set, edge-dominating set, q-dominating set (for fixed q). We use these theorems to develop new fixed-parameter algorithms in these contexts.
The last author was supported by EC contract IST-1999-14186: Project ALCOM-FT (Algorithms and Complexity) – Future Technologies and by the Spanish CICYT project TIC-2002-04498-C05-03 (TRACER)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alber, J., Bodlaender, H.L., Fernau, H., Kloks, T., Niedermeier, R.: Fixed parameter algorithms for dominating set and related problems on planar graphs. Algorithmica 33, 461–493 (2002)
Alber, J., Fan, H., Fellows, M., Fernau, R.H., Niedermeier, R.: Refined search tree technique for dominating set on planar graphs. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, pp. 111–122. Springer, Heidelberg (2001)
Amir, E.: Efficient approximation for triangulation of minimum treewidth. In: Uncertainty in Artificial Intelligence: Proceedings of the Seventeenth Conference (UAI 2001), pp. 7–15. Morgan Kaufmann Publishers, San Francisco (2001)
Baker, B.S.: Approximation algorithms for NP-complete problems on planar graphs. J. Assoc. Comput. Mach. 41, 153–180 (1994)
Bodlaender, H.L.: A tourist guide through treewidth. Acta Cybernetica 11, 1–23 (1993)
Courcelle, B.: Graph rewriting: an algebraic and logic approach. In: Handbook of theoretical computer science, vol. B, pp. 193–242. Elsevier, Amsterdam (1990)
Chen, J., Kanj, I.A., Jia, W.: Vertex cover: further observations and further improvements. Journal of Algorithms 41(2), 280–301 (2001)
Demaine, E.D., Fomin, F.V., Hajiaghayi, M.T., Thilikos, D.M.: Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 829–844. Springer, Heidelberg (2003)
Demaine, E.D., Fomin, F.V., Hajiaghayi, M.T., Thilikos, D.M.: Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs. To appear in SODA 2004 (2004)
Demaine, E.D., Hajiaghayi, M.T.: Fixed Parameter Algorithms for Minor-Closed Graphs (of Locally Bounded Treewidth). To appear in SODA 2004 (2004)
Demaine, E.D., Hajiaghayi, M.T., Thilikos, D.M.: Exponential speedup of fixed parameter algorithms on K 3,3-minor-free or K5-minor-free graphs. In: Bose, P., Morin, P. (eds.) ISAAC 2002. LNCS, vol. 2518, pp. 262–273. Springer, Heidelberg (2002)
Diestel, R.: Graph theory, 2nd edn. Graduate Texts in Mathematics, vol. 173. Springer, Heidelberg (2000)
Diestel, R., Jensen, T.R., Gorbunov, K.Y., Thomassen, C.: Highly connected sets and the excluded grid theorem. J. Combin. Theory Ser. B 75, 61–73 (1999)
Downey, R.G., Fellows, M.R.: Parameterized complexity. Springer, New York (1999)
Ellis, J., Fan, H., Fellows, M.: The dominating set problem is fixed parameter tractable for graphs of bounded genus. In: Penttonen, M., Schmidt, E.M. (eds.) SWAT 2002. LNCS, vol. 2368, pp. 180–189. Springer, Heidelberg (2002)
Eppstein, D.: Diameter and treewidth in minor-closed graph families. Algorithmica 27, 275–291 (2000)
Flum, J., Grohe, M.: Fixed-parameter tractability, definability, and modelchecking. SIAM J. Comput. 31, 113–145 (2001)
Fomin, F.V., Thilikos, D.M.: Dominating sets in planar graphs: branch-Width and exponential speed-up. In: SODA 2003, pp. 168–177 (2003)
Fomin, F.V., Thilikos, D.M.: A Simple and Fast Approach for Solving Problems on Planar Graphs. In: Diekert, V., Habib, M. (eds.) STACS 2004. LNCS, vol. 2996, pp. 56–67. Springer, Heidelberg (2004)
Fomin, F.V., Thilikos, D.M.: Dominating sets and local treewidth. In: Di Battista, G., Zwick, U. (eds.) ESA 2003. LNCS, vol. 2832, pp. 221–229. Springer, Heidelberg (2003)
Frick, M., Grohe, M.: Deciding first-order properties of locally treedecomposable graphs. J. ACM 48, 1184–1206 (2001)
Grohe, M.: Local tree-width, excluded minors, and approximation algorithms. To appear in Combinatorica
Kanj, I., Perković, L.: Improved parameterized algorithms for planar dominating set. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol. 2420, pp. 399–410. Springer, Heidelberg (2002)
Chang, M.-S., Kloks, T., Lee, C.-M.: Maximum clique transversals. In: Brandstädt, A., Le, V.B. (eds.) WG 2001. LNCS, vol. 2204, pp. 300–310. Springer, Heidelberg (2001)
Robertson, N., Seymour, P.D.: Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms 7, 309–322 (1986)
Robertson, N., Seymour, P.D.: Graph minors. V. Excluding a planar graph. J. Comb. Theory Series B 41, 92–111 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demaine, E.D., Fomin, F.V., Hajiaghayi, M.T., Thilikos, D.M. (2004). Bidimensional Parameters and Local Treewidth. In: Farach-Colton, M. (eds) LATIN 2004: Theoretical Informatics. LATIN 2004. Lecture Notes in Computer Science, vol 2976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24698-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-24698-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21258-4
Online ISBN: 978-3-540-24698-5
eBook Packages: Springer Book Archive