Incompressibility through Colors and IDs
ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I
On problems without polynomial kernels
Journal of Computer and System Sciences
FOCS '09 Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Infeasibility of instance compression and succinct PCPs for NP
Journal of Computer and System Sciences
Kernel bounds for disjoint cycles and disjoint paths
Theoretical Computer Science
Preprocessing for treewidth: a combinatorial analysis through kernelization
ICALP'11 Proceedings of the 38th international colloquim conference on Automata, languages and programming - Volume Part I
Data reduction for graph coloring problems
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Known algorithms on graphs of bounded treewidth are probably optimal
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Hi-index | 0.00 |
Let 驴驴0 be an integer and G be a graph. A set X⊆V(G) is called a 驴-treewidth modulator in G if G驴X has treewidth at most 驴. Note that a 0-treewidth modulator is a vertex cover, while a 1-treewidth modulator is a feedback vertex set of G. In the 驴/驴-Treewidth Modulator problem we are given an undirected graph G, a 驴-treewidth modulator X⊆V(G) in G, and an integer ℓ and the objective is to determine whether there exists an 驴-treewidth modulator Z⊆V(G) in G of size at most ℓ. In this paper we study the kernelization complexity of 驴/驴-Treewidth Modulator parameterized by the size of X. We show that for every fixed 驴 and 驴 that either satisfy 1≤驴驴, or 驴=0 and 2≤驴, the 驴/驴-Treewidth Modulator problem does not admit a polynomial kernel unless NP⊆coNP/poly. This resolves an open problem raised by Bodlaender and Jansen (STACS, pp. 177---188, 2011). Finally, we complement our kernelization lower bounds by showing that 驴/0-Treewidth Modulator admits a polynomial kernel for any fixed 驴.