Twin-width and polynomial kernels (original) (raw)
Abstract: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 kkk-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 kkk-Dominating Set and Total kkk-Dominating Set (albeit with a worse upper bound on the twin-width). The kkk-Independent Set problem admits the same lower bound by a much simpler argument, previously observed [ICALP '21], which extends to kkk-Independent Dominating Set, kkk-Path, kkk-Induced Path, kkk-Induced Matching, etc. On the positive side, we obtain a simple quadratic vertex kernel for Connected kkk-Vertex Cover and Capacitated kkk-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(k1.5)O(k^{1.5})O(k1.5) vertex kernel for Connected kkk-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.
Submission history
From: Édouard Bonnet [view email]
[v1] Tue, 6 Jul 2021 20:46:27 UTC (208 KB)
[v2] Tue, 14 Sep 2021 15:08:21 UTC (208 KB)