English
Related papers

Related papers: Stable graphs of bounded twin-width

200 papers

We study two notions of being well-structured for classes of graphs that are inspired by classic model theory. A class of graphs $C$ is monadically stable if it is impossible to define arbitrarily long linear orders in vertex-colored graphs…

Discrete Mathematics · Computer Science 2020-07-16 Jaroslav Nesetril , Patrice Ossona de Mendez , Michal Pilipczuk , Roman Rabinovich , Sebastian Siebertz

We prove that if $\mathcal{C}$ is a hereditary class of graphs that is polynomially $\chi$-bounded, then the class of graphs that admit decompositions into pieces belonging to $\mathcal{C}$ along cuts of bounded rank is also polynomially…

Discrete Mathematics · Computer Science 2020-07-08 Marthe Bonamy , Michał Pilipczuk

We prove that for every $t\in \mathbb{N}$ there is a constant $\gamma_t$ such that every graph with twin-width at most $t$ and clique number $\omega$ has chromatic number bounded by $2^{\gamma_t \log^{4t+3} \omega}$. In other words, we…

Combinatorics · Mathematics 2022-02-16 Michał Pilipczuk , Marek Sokołowski

Connections between structural graph theory and finite model theory recently gained a lot of attention. In this setting, many interesting questions remain on the properties of dependent (NIP) hereditary classes of graphs, in particular…

Combinatorics · Mathematics 2026-01-01 Hector Buffière , Patrice Ossona de Mendez

We consider hereditary classes of graphs equipped with a total order. We provide multiple equivalent characterisations of those classes which have bounded twin-width. In particular, we prove a grid theorem for classes of ordered graphs…

Logic in Computer Science · Computer Science 2021-07-07 Pierre Simon , Szymon Toruńczyk

Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths. These results show a strong link between the properties of these graph classes considered from the point…

Logic in Computer Science · Computer Science 2019-11-19 Jaroslav Nesetril , Patrice Ossona de Mendez , Roman Rabinovich , Sebastian Siebertz

Monadically stable and monadically NIP classes of structures were initially studied in the context of model theory and defined in logical terms. They have recently attracted attention in the area of structural graph theory, as they…

Logic in Computer Science · Computer Science 2023-11-28 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz , Szymon Toruńczyk

Nowhere dense classes of graphs are classes of sparse graphs with rich structural and algorithmic properties, however, they fail to capture even simple classes of dense graphs. Monadically stable classes, originating from model theory,…

Discrete Mathematics · Computer Science 2022-06-30 Jan Dreier , Nikolas Mählmann , Amer E. Mouawad , Sebastian Siebertz , Alexandre Vigny

A class of graphs G is chi-bounded if the chromatic number of graphs in G is bounded by a function of the clique number. We show that if a class G is chi-bounded,then every class of graphs admitting a decomposition along cuts of small rank…

Combinatorics · Mathematics 2011-07-13 Zdenek Dvorak , Daniel Kral

Let $\mathcal{C}$ be a class of graphs closed under taking induced subgraphs. We say that $\mathcal{C}$ has the {\em clique-stable set separation property} if there exists $c \in \mathbb{N}$ such that for every graph $G \in \mathcal{C}$…

Combinatorics · Mathematics 2019-12-19 Maria Chudnovsky , Paul Seymour

We establish a list of characterizations of bounded twin-width for hereditary, totally ordered binary structures. This has several consequences. First, it allows us to show that a (hereditary) class of matrices over a finite alphabet either…

We investigate the structure of graphs of twin-width at most $1$, and obtain the following results: - Graphs of twin-width at most $1$ are permutation graphs. In particular they have an intersection model and a linear structure. - There is…

Discrete Mathematics · Computer Science 2025-01-03 Jungho Ahn , Hugo Jacob , Noleen Köhler , Christophe Paul , Amadeus Reinald , Sebastian Wiederrecht

Graph transformations definable in logic can be described using the notion of transductions. By understanding transductions as a basic embedding mechanism, which captures the possibility of encoding one graph in another graph by means of…

Combinatorics · Mathematics 2025-01-09 Michał Pilipczuk

A class of graphs $\mathscr{C}$ is monadically stable if for any unary expansion $\widehat{\mathscr{C}}$ of $\mathscr{C}$, one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from $\widehat{\mathscr{C}}$. It…

The twin-width of a graph $G$ is the minimum integer $d$ such that $G$ has a $d$-contraction sequence, that is, a sequence of $|V(G)|-1$ iterated vertex identifications for which the overall maximum number of red edges incident to a single…

Discrete Mathematics · Computer Science 2020-06-18 Édouard Bonnet , Colin Geniet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant

We give an exact characterization of monotone graph classes C with bounded average degree that satisfy the following property: The domination number of every graph from C is bounded by a linear function of its 2-independence number.

Combinatorics · Mathematics 2026-01-22 Marthe Bonamy , Zdeněk Dvořák , Lukas Michel , David Mikšaník

We show that every graph with twin-width $t$ has chromatic number $O(\omega ^{k_t})$ for some integer $k_t$, where $\omega$ denotes the clique number. This extends a quasi-polynomial bound from Pilipczuk and Soko{\l}owski and generalizes a…

Discrete Mathematics · Computer Science 2025-01-20 Romain Bourneuf , Stéphan Thomassé

We study classes of graphs with bounded clique-width that are well-quasi-ordered by the induced subgraph relation, in the presence of labels on the vertices. We prove that, given a finite presentation of a class of graphs, one can decide…

Combinatorics · Mathematics 2026-05-29 Maël Dumas , Aliaume Lopez

Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths -- a result that shows a strong link between the properties of these graph classes considered from the…

Logic in Computer Science · Computer Science 2019-09-05 Jaroslav Nesetril , Patrice Ossona de Mendez , Roman Rabinovich , Sebastian Siebertz

In this paper, we give a lengthy proof of a small result! A graph is bisplit if its vertex set can be partitioned into three stable sets with two of them inducing a complete bipartite graph. We prove that these graphs satisfy the…

Discrete Mathematics · Computer Science 2023-06-22 Laurent Beaudou , Giacomo Kahn , Matthieu Rosenfeld
‹ Prev 1 2 3 10 Next ›