Twin-width VI: the lens of contraction sequences

10/30/2021
by   Édouard Bonnet, et al.
0

A contraction sequence of a graph consists of iteratively merging two of its vertices until only one vertex remains. The recently introduced twin-width graph invariant is based on contraction sequences. More precisely, if one puts red edges between two vertices representing non-homogeneous subsets, the twin-width is the minimum integer d such that a contraction sequence keeps red degree at most d. By changing the condition imposed on the trigraphs (i.e., graphs with some edges being red) and possibly slightly tweaking the notion of contractions, we show how to characterize the well-established bounded rank-width, tree-width, linear rank-width, path-width, and proper minor-closed classes by means of contraction sequences. As an application we give a transparent alternative proof of the celebrated Courcelle's theorem (actually of its generalization by Courcelle, Makowsky, and Rotics), that MSO_2 (resp. MSO_1) model checking on graphs with bounded tree-width (resp. bounded rank-width) is fixed-parameter tractable in the size of the input sentence. We then explore new avenues along the general theme of contraction sequences both in order to refine the landscape between bounded tree-width and bounded twin-width (via spanning twin-width) and to capture more general classes than bounded twin-width. To this end, we define an oriented version of twin-width, where appearing red edges are oriented away from the newly contracted vertex, and the mere red out-degree should remain bounded. Surprisingly, classes of bounded oriented twin-width coincide with those of bounded twin-width. Finally we examine, from an algorithmic standpoint, the concept of partial contraction sequences, where, instead of terminating on a single-vertex graph, the sequence ends when reaching a particular target class.

READ FULL TEXT

page 3

page 5

page 7

page 9

page 13

page 17

page 23

page 25

research
06/17/2020

Twin-width II: small classes

The twin-width of a graph G is the minimum integer d such that G has a d...
research
04/30/2020

Twin-width I: tractable FO model checking

Inspired by a width invariant defined on permutations by Guillemot and M...
research
02/24/2022

Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)

In a reduction sequence of a graph, vertices are successively identified...
research
07/28/2020

Twin-width III: Max Independent Set and Coloring

We recently introduced the graph invariant twin-width, and showed that f...
research
06/16/2022

Twin-width and types

We study problems connected to first-order logic in graphs of bounded tw...
research
07/04/2023

Sparse Graphs of Twin-width 2 Have Bounded Tree-width

Twin-width is a structural width parameter introduced by Bonnet, Kim, Th...
research
04/01/2022

Twin-width VIII: delineation and win-wins

We introduce the notion of delineation. A graph class 𝒞 is said delineat...

Please sign up or login with your details

Forgot password? Click here to reset