Structural Parameterizations for Two Bounded Degree Problems Revisited

04/28/2023
by   Michael Lampis, et al.
0

We revisit two well-studied problems, Bounded Degree Vertex Deletion and Defective Coloring, where the input is a graph G and a target degree Δ and we are asked either to edit or partition the graph so that the maximum degree becomes bounded by Δ. Both are known to be parameterized intractable for treewidth. We revisit the parameterization by treewidth, as well as several related parameters and present a more fine-grained picture of the complexity of both problems. Both admit straightforward DP algorithms with table sizes (Δ+2)^tw and (χ_d(Δ+1))^tw respectively, where tw is the input graph's treewidth and χ_d the number of available colors. We show that both algorithms are optimal under SETH, even if we replace treewidth by pathwidth. Along the way, we also obtain an algorithm for Defective Coloring with complexity quasi-linear in the table size, thus settling the complexity of both problems for these parameters. We then consider the more restricted parameter tree-depth, and bridge the gap left by known lower bounds, by showing that neither problem can be solved in time n^o(td) under ETH. In order to do so, we employ a recursive low tree-depth construction that may be of independent interest. Finally, we show that for both problems, an vc^o(vc) algorithm would violate ETH, thus already known algorithms are optimal. Our proof relies on a new application of the technique of d-detecting families introduced by Bonamy et al. Our results, although mostly negative in nature, paint a clear picture regarding the complexity of both problems in the landscape of parameterized complexity, since in all cases we provide essentially matching upper and lower bounds.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/11/2018

Parameterized (Approximate) Defective Coloring

In Defective Coloring we are given a graph G = (V, E) and two integers χ...
research
10/02/2019

TE-ETH: Lower Bounds for QBFs of Bounded Treewidth

The problem of deciding the validity (QSAT) of quantified Boolean formul...
research
05/01/2019

Parameterized Complexity of Conflict-free Graph Coloring

Given a graph G, a q-open neighborhood conflict-free coloring or q-ONCF-...
research
04/27/2023

Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

The QSAT problem, which asks to evaluate a quantified Boolean formula (Q...
research
07/09/2019

A complexity dichotomy for hitting connected minors on bounded treewidth graphs: the chair and the banner draw the boundary

For a fixed connected graph H, the {H}-M-DELETION problem asks, given a ...
research
07/05/2023

Approximate Turing kernelization and lower bounds for domination problems

An α-approximate polynomial Turing kernelization is a polynomial-time al...
research
11/30/2020

On structural parameterizations of the selective coloring problem

In the Selective Coloring problem, we are given an integer k, a graph G,...

Please sign up or login with your details

Forgot password? Click here to reset