Twin-Width III: Max Independent Set, Min Dominating Set, and Coloring
Édouard Bonnet,Colin Geniet,Eun Jung Kim,Stéphan Thomassé,Rémi Watrigant
DOI: https://doi.org/10.1137/21m142188x
2024-10-18
SIAM Journal on Computing
Abstract:SIAM Journal on Computing, Volume 53, Issue 5, Page 1602-1640, October 2024. We recently introduced the notion of twin-width, a novel graph invariant, and showed that first-order model checking can be solved in time [math] for [math]-vertex graphs given with a witness that the twin-width is at most [math], called [math]-contraction sequence or [math]-sequence, and formulas of size [math] [Bonnet et al., JACM '22]. The inevitable price to pay for such a general result is that [math] is a tower of exponentials of height roughly [math]. In this paper, we show that algorithms based on twin-width need not be impractical. We present [math]-time algorithms for [math]-independent set, [math]-scattered set, [math]-clique, and [math]-dominating set when an [math]-sequence of the graph is given in input. We further show how to solve the weighted version of [math]-independent set, subgraph isomorphism, and induced subgraph isomorphism in the slightly worse running time [math]. Up to logarithmic factors in the exponent, all these running times are optimal unless the exponential time hypothesis fails. Like our first-order model checking algorithm, these new algorithms are based on a dynamic programming scheme following the sequence of contractions forward. We then show a second algorithmic use of the contraction sequence by starting at its end and rewinding it. As an example of such a reverse scheme, we present a polynomial-time algorithm that properly colors the vertices of a graph with relatively few colors, thereby establishing that bounded twin-width classes are [math]-bounded. This significantly extends the [math]-boundedness of bounded rank-width classes and does so with a very concise proof. It readily yields a constant approximation for max independent set on [math]-free graphs of bounded twin-width and a [math]-approximation for min coloring on bounded twin-width graphs. We further observe that a constant approximation for max independent set on bounded twin-width graphs (but arbitrarily large clique number) would actually imply a polynomial-time approximation scheme. The third algorithmic use of twin-width builds on the second one. Playing the contraction sequence backward, we show that bounded twin-width graphs can be edge-partitioned into a linear number of bicliques such that both sides of the bicliques are on consecutive vertices in a fixed vertex ordering. This property is trivially shared with graphs of bounded average degree. Given that biclique edge-partition, we show how to solve the unweighted single-source shortest paths, and hence all-pairs shortest paths, in time [math] and time [math], respectively. In sharp contrast, even diameter does not admit a truly subquadratic algorithm on bounded twin-width graphs unless the strong exponential time hypothesis fails. The fourth algorithmic use of twin-width builds on the so-called versatile tree of contractions [Bonnet et al., Comb. Theory '22], a branching and more robust witness of low twin-width. We present constant-approximation algorithms for min dominating set and related problems on bounded twin-width graphs by showing that the integrality gap is constant. This is done by going down the versatile tree and stopping according to a problem-dependent criterion. At the reached node, a greedy approach yields the desired approximation.
computer science, theory & methods,mathematics, applied