DeepAI AI Chat
Log In Sign Up

Twin-width and polynomial kernels

by   Édouard Bonnet, et al.

We study the existence of polynomial kernels, for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. Our main result is that a polynomial kernel for k-Dominating Set on graphs of twin-width at most 4 would contradict a standard complexity-theoretic assumption. The reduction is quite involved, especially to get the twin-width upper bound down to 4, and can be tweaked to work for Connected k-Dominating Set and Total k-Dominating Set (albeit with a worse upper bound on the twin-width). The k-Independent Set problem admits the same lower bound by a much simpler argument, previously observed [ICALP '21], which extends to k-Independent Dominating Set, k-Path, k-Induced Path, k-Induced Matching, etc. On the positive side, we obtain a simple quadratic vertex kernel for Connected k-Vertex Cover and Capacitated k-Vertex Cover on graphs of bounded twin-width. Interestingly the kernel applies to graphs of Vapnik-Chervonenkis density 1, and does not require a witness sequence. We also present a more intricate O(k^1.5) vertex kernel for Connected k-Vertex Cover. Finally we show that deciding if a graph has twin-width at most 1 can be done in polynomial time, and observe that most optimization/decision graph problems can be solved in polynomial time on graphs of twin-width at most 1.


page 3

page 5

page 7

page 13

page 15

page 21

page 25

page 29


Semitotal Domination: New hardness results and a polynomial-time algorithm for graphs of bounded mim-width

A semitotal dominating set of a graph G with no isolated vertex is a dom...

Approximating Highly Inapproximable Problems on Graphs of Bounded Twin-Width

For any ε > 0, we give a polynomial-time n^ε-approximation algorithm for...

Polynomial Kernels for Generalized Domination Problems

In this paper, we study the parameterized complexity of a generalized do...

Parameterized algorithms for locating-dominating sets

A locating-dominating set D of a graph G is a dominating set of G where ...

Interior point methods are not worse than Simplex

Whereas interior point methods provide polynomial-time linear programmin...

Rank Based Approach on Graphs with Structured Neighborhood

In this paper, we combine the rank-based approach and the neighbor-equiv...

A general kernelization technique for domination and independence problems in sparse classes

We unify and extend previous kernelization techniques in sparse classes ...