Twin-Width is Linear in the Poset Width

06/29/2021
by   Jakub Balabán, et al.
0

Twin-width is a new parameter informally measuring how diverse are the neighbourhoods of the graph vertices, and it extends also to other binary relational structures, e.g. to digraphs and posets. It was introduced just very recently, in 2020 by Bonnet, Kim, Thomasse and Watrigant. One of the core results of these authors is that FO model checking on graph classes of bounded twin-width is in FPT. With that result, they also claimed that posets of bounded width have bounded twin-width, thus capturing prior result on FO model checking of posets of bounded width in FPT. However, their translation from poset width to twin-width was indirect and giving only a very loose double-exponential bound. We prove that posets of width d have twin-width at most 9d with a direct and elegant argument, and show that this bound is asymptotically tight. Specially, for posets of width 2 we prove that in the worst case their twin-width is also equal 2. These two theoretical results are complemented with straightforward algorithms to construct the respective contraction sequence for a given poset.

READ FULL TEXT

page 1

page 7

page 9

research
04/30/2020

Twin-width I: tractable FO model checking

Inspired by a width invariant defined on permutations by Guillemot and M...
research
07/15/2022

First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs

We characterise the classes of tournaments with tractable first-order mo...
research
04/28/2022

Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs

The complexity of the problem of deciding properties expressible in FO l...
research
05/23/2022

From Width-Based Model Checking to Width-Based Automated Theorem Proving

In the field of parameterized complexity theory, the study of graph widt...
research
02/27/2022

A logic-based algorithmic meta-theorem for mim-width

We introduce a logic called distance neighborhood logic with acyclicity ...
research
09/12/2019

Examples, counterexamples, and structure in bounded width algebras

We study bounded width algebras which are minimal in the sense that ever...
research
09/24/2022

Twin-width V: linear minors, modular counting, and matrix multiplication

We continue developing the theory around the twin-width of totally order...

Please sign up or login with your details

Forgot password? Click here to reset