×

Uniform kernelization complexity of hitting forbidden minors. (English) Zbl 1441.68107

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 629-641 (2015).
Summary: The \(\mathcal {F}\)-Minor-Free Deletion problem asks, for a fixed set \(\mathcal {F}\) and an input consisting of a graph \(G\) and integer \(k\), whether \(k\) vertices can be removed from \(G\) such that the resulting graph does not contain any member of \(\mathcal {F} \) as a minor. F. V. Fomin et al. [“Planar \(\mathcal {F}\)-deletion: approximation, kernelization and optimal FPT algorithms”, in: Proceedings of the 53rd annual IEEE symposium on foundations of computer science, FOCS’12. Los Alamitos, CA: IEEE Computer Society. 470–479 (2012; doi:10.1109/FOCS.2012.62)] showed that the special case when \(\mathcal {F} \) contains at least one planar graph has a kernel of size \(f(\mathcal {F}) {\cdot} k^{g(\mathcal {F})}\) for some functions \(f\) and \(g\). They left open whether this Planar \(\mathcal {F}\)-Minor-Free Deletion problem has kernels whose size is uniformly polynomial, of the form \(f(\mathcal {F}) {\cdot} k^c\) for some universal constant \(c\). We prove that some Planar \(\mathcal {F}\)-Minor-Free Deletion problems do not have uniformly polynomial kernels (unless \(\mathrm{NP} \subseteq \mathrm{coNP/poly}\)), not even when parameterized by the vertex cover number. On the positive side, we consider the problem of determining whether \(k\) vertices can be removed to obtain a graph of treedepth at most \({\eta} \). We prove that this problem admits uniformly polynomial kernels with \({\mathcal {O}}(k^6)\) vertices for every fixed \({\eta} \).
For the entire collection see [Zbl 1316.68014].

MSC:

68Q27 Parameterized complexity, tractability and kernelization
05C83 Graph minors

References:

[1] Adler, I., Grohe, M., Kreutzer, S.: Computing excluded minors. In: Proceedings of the 19th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2008), pp. 641-650. ACM-SIAM (2008) · Zbl 1192.68810
[2] Bodlaender, H., Fomin, F.V., Lokshtanov, D., Penninkx, E., Saurabh, S., Thilikos, D.M.: (Meta) Kernelization. In: Proc. 50th FOCS, pp. 629-638. IEEE (2009) · Zbl 1292.68089
[3] Bodlaender, HL; Jansen, BMP; Kratsch, S.; Fomin, FV; Kaski, P., Kernel bounds for structural parameterizations of pathwidth, Algorithm Theory - SWAT 2012, 352-363 (2012), Heidelberg: Springer, Heidelberg · Zbl 1357.68078 · doi:10.1007/978-3-642-31155-0_31
[4] Chekuri, C., Chuzhoy, J.: Polynomial bounds for the grid-minor theorem. In: Proc. 46th STOC, pp. 60-69 (2014) · Zbl 1315.05131
[5] Cygan, M.; Lokshtanov, D.; Pilipczuk, M.; Pilipczuk, M.; Saurabh, S.; Marx, D.; Rossmanith, P., On the hardness of losing width, Parameterized and Exact Computation, 159-168 (2012), Heidelberg: Springer, Heidelberg · Zbl 1352.68089 · doi:10.1007/978-3-642-28050-4_13
[6] Dell, H., Marx, D.: Kernelization of packing problems. In: Proc. 23rd SODA, pp. 68-81 (2012) · Zbl 1421.68072
[7] Downey, R.G., Fellows, M.R.: Fundamentals of Parameterized Complexity. Texts in Computer Science. Springer (2013) · Zbl 1358.68006
[8] Fomin, F., Lokshtanov, D., Saurabh, S., Thilikos, D.M.: Bidimensionality and kernels. In: Proc. 21st SODA, pp. 503-510 (2010) · Zbl 1288.68116
[9] Fomin, FV; Jansen, BMP; Pilipczuk, M., Preprocessing subgraph and minor problems: When does a small vertex cover help?, J. Comput. System Sci., 80, 2, 468-495 (2014) · Zbl 1277.68095 · doi:10.1016/j.jcss.2013.09.004
[10] Fomin, F.V., Lokshtanov, D., Misra, N., Philip, G., Saurabh, S.: Hitting forbidden minors: approximation and kernelization. In: Proc. 28th STACS, pp. 189-200 (2011) · Zbl 1230.68107
[11] Fomin, F.V., Lokshtanov, D., Misra, N., Saurabh, S.: Planar \(\cal F\)-Deletion: approximation, kernelization and optimal FPT algorithms. In: Proc. 53rd FOCS, pp. 470-479 (2012)
[12] Gajarský, J.; Hliněný, P.; Obdržálek, J.; Ordyniak, S.; Reidl, F.; Rossmanith, P.; Sánchez Villaamil, F.; Sikdar, S.; Bodlaender, HL; Italiano, GF, Kernelization using structural parameters on sparse graph classes, Algorithms - ESA 2013, 529-540 (2013), Heidelberg: Springer, Heidelberg · Zbl 1353.68126 · doi:10.1007/978-3-642-40450-4_45
[13] Giannopoulou, A.C., Jansen, B.M.P., Lokshtanov, D., Saurabh, S.: Uniform kernelization complexity of hitting forbidden minors (2015). CoRR, abs/1502.03965 · Zbl 1441.68107
[14] Hermelin, D., Wu, X.: Weak compositions and their applications to polynomial lower bounds for kernelization. In: Proc. 23rd SODA, pp. 104-113 (2012) · Zbl 1421.68086
[15] Kim, EJ; Langer, A.; Paul, C.; Reidl, F.; Rossmanith, P.; Sau, I.; Sikdar, S.; Fomin, FV; Freivalds, R.; Kwiatkowska, M.; Peleg, D., Linear kernels and single-exponential algorithms via protrusion decompositions, Automata, Languages, and Programming, 613-624 (2013), Heidelberg: Springer, Heidelberg · Zbl 1336.68201 · doi:10.1007/978-3-642-39206-1_52
[16] Nesetril, J.; Ossona de Mendez, P., Tree-depth, subgraph coloring and homomorphism bounds, Eur. J. Comb., 27, 6, 1022-1041 (2006) · Zbl 1089.05025 · doi:10.1016/j.ejc.2005.01.010
[17] Reidl, F.; Rossmanith, P.; Villaamil, FS; Sikdar, S.; Esparza, J.; Fraigniaud, P.; Husfeldt, T.; Koutsoupias, E., A faster parameterized algorithm for treedepth, Automata, Languages, and Programming, 931-942 (2014), Heidelberg: Springer, Heidelberg · Zbl 1412.68089
[18] Robertson, N.; Seymour, PD, Graph minors. I. Excluding a forest, J. Comb. Theory, Ser. B, 35, 1, 39-61 (1983) · Zbl 0521.05062 · doi:10.1016/0095-8956(83)90079-5
[19] Robertson, N.; Seymour, PD, Graph minors. V. Excluding a planar graph, J. Combin. Theory Ser. B, 41, 1, 92-114 (1986) · Zbl 0598.05055 · doi:10.1016/0095-8956(86)90030-4
[20] Robertson, N.; Seymour, PD, Graph minors. XIII. The disjoint paths problem, J. Combin. Theory Ser. B, 63, 1, 65-110 (1995) · Zbl 0823.05038 · doi:10.1006/jctb.1995.1006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.