TY - GEN
T1 - Weak compositions and their applications to polynomial lower bounds for kernelization
AU - Hermelin, Dan
AU - Wu, Xi
PY - 2012/1/1
Y1 - 2012/1/1
N2 - In this paper we use the notion of weak compositions to obtain polynomial kernelization lower-bounds for several natural parameterized problems. Let d ≥ 2 be some constant and let L1,L2 ⊆{0, 1}*x ℕ be two parameterized problems where the unparameterized version of L1 is NP-hard. Assuming coNP ⊈ NP/poly, our framework essentially states that composing t L1-instances each with parameter k, to an L2-instance with parameter k′ ≤ t1/d kO(1), implies that L2 does not have a kernel of size O(kd-ε) for any ε > 0. We show two examples of weak composition and derive polynomial kernelization lower bounds for d-BIPARTITE REGULAR PERFECT CODE and d-DIMENSIONAL MATCHING, parameterized by the solution size k. By reduction, using linear parameter transformations, we then derive the following lower-bounds for kernel sizes when the parameter is the solution size k (assuming coNP ⊈ NP/poly): • d-SET PACKING, d-SET COVER, d-EXACT SET COVER, HITTING SET WITH d-BOUNDED OCCURRENCES, and EXACT HITTING SET WITH d-BOUNDED OCCURRENCES have no kernels of size O(kd-3-ε) for any ε > 0. • Kd PACKING and INDUCED K1,d PACKING have no kernels of size O(kd-4-ε) for any ε > 0. • d-RED-BLUE DOMINATING SET and d-STEINER TREE have no kernels of sizes O(k d-3-ε) and O(kd-4-ε), respectively, for any ε > 0. Our results give a negative answer to an open question raised by Dom, Lokshtanov, and Saurabh [ICALP2009] regarding the existence of uniform polynomial kernels for the problems above. All our lower bounds transfer automatically to compression lower bounds, a notion defined by Harnik and Naor [SICOMP2010] to study the compressibility of NP instances with cryptographic applications. We believe weak composition can be used to obtain polynomial kernelization lower bounds for other interesting parameterized problems. In the last part of the paper we strengthen previously known super-polynomial kernelization lower bounds to super-quasi-polynomial lower bounds, by showing that quasi-polynomial kernels for compositional NP-hard parameterized problems implies the collapse of the exponential hierarchy. These bounds hold even the kernelization algorithms are allowed to run in quasipolynomial time.
AB - In this paper we use the notion of weak compositions to obtain polynomial kernelization lower-bounds for several natural parameterized problems. Let d ≥ 2 be some constant and let L1,L2 ⊆{0, 1}*x ℕ be two parameterized problems where the unparameterized version of L1 is NP-hard. Assuming coNP ⊈ NP/poly, our framework essentially states that composing t L1-instances each with parameter k, to an L2-instance with parameter k′ ≤ t1/d kO(1), implies that L2 does not have a kernel of size O(kd-ε) for any ε > 0. We show two examples of weak composition and derive polynomial kernelization lower bounds for d-BIPARTITE REGULAR PERFECT CODE and d-DIMENSIONAL MATCHING, parameterized by the solution size k. By reduction, using linear parameter transformations, we then derive the following lower-bounds for kernel sizes when the parameter is the solution size k (assuming coNP ⊈ NP/poly): • d-SET PACKING, d-SET COVER, d-EXACT SET COVER, HITTING SET WITH d-BOUNDED OCCURRENCES, and EXACT HITTING SET WITH d-BOUNDED OCCURRENCES have no kernels of size O(kd-3-ε) for any ε > 0. • Kd PACKING and INDUCED K1,d PACKING have no kernels of size O(kd-4-ε) for any ε > 0. • d-RED-BLUE DOMINATING SET and d-STEINER TREE have no kernels of sizes O(k d-3-ε) and O(kd-4-ε), respectively, for any ε > 0. Our results give a negative answer to an open question raised by Dom, Lokshtanov, and Saurabh [ICALP2009] regarding the existence of uniform polynomial kernels for the problems above. All our lower bounds transfer automatically to compression lower bounds, a notion defined by Harnik and Naor [SICOMP2010] to study the compressibility of NP instances with cryptographic applications. We believe weak composition can be used to obtain polynomial kernelization lower bounds for other interesting parameterized problems. In the last part of the paper we strengthen previously known super-polynomial kernelization lower bounds to super-quasi-polynomial lower bounds, by showing that quasi-polynomial kernels for compositional NP-hard parameterized problems implies the collapse of the exponential hierarchy. These bounds hold even the kernelization algorithms are allowed to run in quasipolynomial time.
UR - http://www.scopus.com/inward/record.url?scp=84860172570&partnerID=8YFLogxK
U2 - 10.1137/1.9781611973099.9
DO - 10.1137/1.9781611973099.9
M3 - Conference contribution
SN - 978-1-61197-210-8
T3 - Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
SP - 104
EP - 113
BT - Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms
PB - Society for Industrial and Applied Mathematics Publications
T2 - 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012
Y2 - 17 January 2012 through 19 January 2012
ER -