Abstract
We develop new techniques to derive lower bounds on the kernel size for certain parameterized problems. For example, we show that unless \(\mathcal{P}\)=\(\mathcal{NP}\), planar vertex cover does not have a problem kernel of size smaller than 4k/3, and planar independent set and planar dominating set do not have kernels of size smaller than 2k. We derive an upper bound of 67k on the problem kernel for planar dominating set improving the previous 335k upper bound by Alber et al.
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., Niedermeier, R.: Polynomial-time data reduction for dominating set. Journal of the ACM 51(3), 363–384 (2004)
Alber, J., Fernau, H., Niedermeier, R.: Parameterized complexity: exponential speedup for planar graph problems. Journal of Algorithms 52, 26–56 (2004)
Alber, J., Fernau, H., Niedermeier, R.: Graph separators: a parameterized view. Journal of Computer and System Sciences 67, 808–832 (2003)
Bar-Yehuda, R., Even, S.: A local-ratio theorem for approximating the weighted vertex cover problem. Annals of Discrete Mathematics 25, 27–46 (1985)
Chen, J., Kanj, I.A., Jia, W.: Vertex cover: further observations and further improvement. Journal of Algorithms 41, 280–301 (2001)
Dinur, I., Safra, S.: On the importance of Being Biased (1.36 hardness of approximating Vertex-Cover). In: Proceedings of the 34th Annual ACM Symposium on Theory of Computing (STOC 2002), pp. 33–42 (2002); To appear in Annals of Mathematics
Downey, R., Fellows, M.: Parameterized Complexity. Springer, Heidelberg (1999)
Downey, R., Fellows, M., Stege, U.: Parameterized Complexity: A Framework for Systematically Confronting Computational Intractability. In: Graham, R., Kratochvíl, J., Nešetřil, J., Roberts, F. (eds.) Proceedings of the DIMACS-DIMATIA Workshop, Prague 1997. AMS-DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 49, pp. 49–99 (1999)
Fellows, M.: Parameterized complexity: the main ideas and connections to practical computing. Electronic Notes in Theoretical Computer Science 61 (2002)
Fellows, M., McCartin, C., Rosamond, F., Stege, U.: Coordinatized Kernels and Catalytic Reductions: An Improved FPT Algorithm for Max Leaf Spanning Tree and Other Problems. In: Kapoor, S., Prasad, S. (eds.) FST TCS 2000. LNCS, vol. 1974, pp. 240–251. Springer, Heidelberg (2000)
Grötzsch, H.: Ein Dreifarbensatz für dreikreisfreie Netze auf der Kugel. Wiss. Zeitschrift der Martin-Luther-Univ. Halle-Wittenberg, Math.-Naturwiss., Reihe 8, 109–120 (1959)
Khot, S., Raman, V.: Parameterized complexity of finding subgraphs with hereditary properties. Theoretical Computer Science 289, 997–1008 (2002)
Ore, O.: Theory of Graphs, Colloquium Publications XXXVIII. American Mathematical Society, Providence (1962)
Prieto, E., Sloper, C.: Either/or: Using vertex cover structure in designing FPT-algorithms-the case of k-internal spanning tree. In: Dehne, F., Sack, J.-R., Smid, M. (eds.) WADS 2003. LNCS, vol. 2748, pp. 474–483. Springer, Heidelberg (2003)
Uehara, R.: Probabilistic Algorithms and Complexity Classes, PhD thesis, Department of Computer Science and Information Mathematics, The University of Electro-Communications, Japan (March 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J., Fernau, H., Kanj, I.A., Xia, G. (2005). Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size. In: Diekert, V., Durand, B. (eds) STACS 2005. STACS 2005. Lecture Notes in Computer Science, vol 3404. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31856-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-31856-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24998-6
Online ISBN: 978-3-540-31856-9
eBook Packages: Computer ScienceComputer Science (R0)