Abstract
Perhaps the best known kernelization result is the kernel of size 335k for the Planar Dominating Set problem by Alber et al. [1], later improved to 67k by Chen et al. [5]. This result means roughly, that the problem of finding the smallest dominating set in a planar graph is easy when the optimal solution is small. On the other hand, it is known that Planar Dominating Set parameterized by k′ = |V| − k (also known as Planar Nonblocker) has a kernel of size 2k′. This means that Planar Dominating Set is easy when the optimal solution is very large. We improve the kernel for Planar Nonblocker to \(\frac{7}{4}k'\). This also implies that Planar Dominating Set has no kernel of size at most \((\frac{7}{3}-\epsilon)k\), for any ε > 0, unless P = NP. This improves the previous lower bound of (2 − ε)k of [5]. Both of these results immediately generalize to H-minor free graphs (without changing the constants).
In our proof of the bound on the kernel size we use a variant of the discharging method (used e.g. in the proof of the four color theorem). We give some arguments that this method is natural in the context of kernelization and we hope it will be applied to get improved kernel size bounds for other problems as well.
As a by-product we show a result which might be of independent interest: every n-vertex graph with no isolated vertices and such that every pair of degree 1 vertices is at distance at least 5 and every pair of degree 2 vertices is at distance at least 2 has a dominating set of size at most \(\frac{3}7n\).
Work supported by the National Science Centre (grant N206 567140).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alber, J., Fellows, M.R., Niedermeier, R.: Polynomial-time data reduction for dominating set. J. ACM 51(3), 363–384 (2004)
Appel, K., Haken, W.: Every planar map is four colorable part I. Discharging. Illinois J. of Math. 21, 429–490 (1977)
Bodlaender, H.L., Fomin, F.V., Lokshtanov, D., Penninkx, E., Saurabh, S., Thilikos, D.M.: (meta) kernelization. In: Proc. FOCS 2009, pp. 629–638 (2009)
Borodin, O.V., Kostochka, A.V., Woodall, D.R.: List edge and list total colourings of multigraphs. J. Comb. Theory, Ser. B 71(2), 184–204 (1997)
Chen, J., Fernau, H., Kanj, I.A., Xia, G.: Parametric duality and kernelization: Lower bounds and upper bounds on kernel size. SIAM J. Comput. 37(4), 1077–1106 (2007)
Dehne, F., Fellows, M., Fernau, H., Prieto, E., Rosamond, F.: NONBLOCKER: Parameterized Algorithmics for MINIMUM DOMINATING SET. In: Wiedermann, J., Tel, G., Pokorný, J., Bieliková, M., Štuller, J. (eds.) SOFSEM 2006. LNCS, vol. 3831, pp. 237–245. Springer, Heidelberg (2006)
Dvorak, Z., Skrekovski, R., Valla, T.: Planar graphs of odd-girth at least 9 are homomorphic to the petersen graph. SIAM J. Disc. Math. 22(2), 568–591 (2008)
Fomin, F.V., Lokshtanov, D., Saurabh, S., Thilikos, D.M.: Bidimensionality and kernels. In: Charikar, M. (ed.) SODA, pp. 503–510. SIAM (2010)
Guo, J., Niedermeier, R.: Linear Problem Kernels for NP-Hard Problems on Planar Graphs. In: Arge, L., Cachin, C., Jurdziński, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol. 4596, pp. 375–386. Springer, Heidelberg (2007)
Kanj, I.A., Zhang, F.: On the Independence Number of Graphs with Maximum Degree 3. In: Kolman, P., Kratochvíl, J. (eds.) WG 2011. LNCS, vol. 6986, pp. 238–249. Springer, Heidelberg (2011)
Kostochka, A.V., Stodolsky, B.Y.: An upper bound on the domination number of n-vertex connected cubic graphs. Discrete Mathematics 309(5), 1142–1162 (2009)
Kowalik, L., Pilipczuk, M., Suchan, K.: Towards optimal kernel for connected vertex cover in planar graphs. CoRR abs/1110.1964 (2011)
McCuaig, W., Shepherd, B.: Domination in graphs with minimum degree two. J. Graph Th. 13(6), 749–762 (1989)
Reed, B.A.: Paths, stars and the number three. Combinatorics, Probability & Computing 5, 277–295 (1996)
Robertson, N., Sanders, D.P., Seymour, P.D., Thomas, R.: The four-colour theorem. J. Comb. Theory, Ser. B 70(1), 2–44 (1997)
Wang, J., Yang, Y., Guo, J., Chen, J.: Linear Problem Kernels for Planar Graph Problems with Small Distance Property. In: Murlak, F., Sankowski, P. (eds.) MFCS 2011. LNCS, vol. 6907, pp. 592–603. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalik, Ł. (2012). Nonblocker in H-Minor Free Graphs: Kernelization Meets Discharging. In: Thilikos, D.M., Woeginger, G.J. (eds) Parameterized and Exact Computation. IPEC 2012. Lecture Notes in Computer Science, vol 7535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33293-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-33293-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33292-0
Online ISBN: 978-3-642-33293-7
eBook Packages: Computer ScienceComputer Science (R0)