English
Related papers

Related papers: Ordered graphs of bounded twin-width

200 papers

We investigate a structural generalisation of treewidth we call $\mathcal{A}$-blind-treewidth where $\mathcal{A}$ denotes an annotated graph class. This width parameter is defined by evaluating only the size of those bags $B$ of…

Combinatorics · Mathematics 2024-10-03 J. Pascal Gollin , Sebastian Wiederrecht

In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomass\'e…

Combinatorics · Mathematics 2025-10-28 Édouard Bonnet , O-joung Kwon , David R. Wood

For a graph class $\mathcal G$ and a graph $H$, the four $\mathcal G$-covering numbers of $H$, namely global ${\rm cn}_{g}^{\mathcal{G}}(H)$, union ${\rm cn}_{u}^{\mathcal{G}}(H)$, local ${\rm cn}_{l}^{\mathcal{G}}(H)$, and folded ${\rm…

Combinatorics · Mathematics 2025-04-25 Miriam Goetze , Peter Stumpf , Torsten Ueckerdt

This paper is a contribution to the study of hereditary classes of relational structures, these classes being quasi-ordered by embeddability. It deals with the specific case of ordered sets of width two and the corresponding bichains and…

Combinatorics · Mathematics 2022-08-30 Maurice Pouzet , Imed Zaguia

Recently, the saturation problem of $0$-$1$ matrices gained a lot of attention. This problem can be regarded as a saturation problem of ordered bipartite graphs. Motivated by this, we initiate the study of the saturation problem of ordered…

Combinatorics · Mathematics 2022-03-11 Vladimir Bošković , Balázs Keszegh

We prove that isomorphism of tournaments of twin width at most $k$ can be decided in time $k^{O(\log k)}n^{O(1)}$. This implies that the isomorphism problem for classes of tournaments of bounded or moderately growing twin width is in…

Data Structures and Algorithms · Computer Science 2026-03-11 Martin Grohe , Daniel Neuen

Consider a family of graphs having a fixed girth and a large size. We give an optimal lower asymptotic bound on the number of even cycles of any constant length, as the order of the graphs tends to infinity.

Combinatorics · Mathematics 2016-03-31 József Solymosi , Ching Wong

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the…

Data Structures and Algorithms · Computer Science 2014-07-09 Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté

This paper considers the notion of herdability, a set-based reachability condition, which asks whether the state of a system can be controlled to be element-wise larger than a non-negative threshold. The basic theory of herdable systems is…

Systems and Control · Computer Science 2018-04-13 Sebastian F. Ruf , Magnus Egerstedt , Jeff S. Shamma

In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to…

Combinatorics · Mathematics 2018-01-04 Yangjing Long

We consider limit probabilities of first order properties in random graphs with a given degree sequence. Under mild conditions on the degree sequence, we show that the closure set of limit probabilities is a finite union of closed…

Combinatorics · Mathematics 2024-05-24 Alberto Larrauri , Guillem Perarnau

Monadic second order logic can be used to express many classical notions of sets of vertices of a graph as for instance: dominating sets, induced matchings, perfect codes, independent sets or irredundant sets. Bounds on the number of sets…

Discrete Mathematics · Computer Science 2020-05-08 Matthieu Rosenfeld

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

The query complexity of graph properties is well-studied when queries are on edges. We investigate the same when queries are on nodes. In this setting a graph $G = (V, E)$ on $n$ vertices and a property $\mathcal{P}$ are given. A black-box…

Computational Complexity · Computer Science 2015-10-29 Nikhil Balaji , Samir Datta , Raghav Kulkarni , Supartha Podder

A geometric grid class consists of those permutations that can be drawn on a specified set of line segments of slope \pm1 arranged in a rectangular pattern governed by a matrix. Using a mixture of geometric and language theoretic methods,…

Combinatorics · Mathematics 2012-02-06 Michael H. Albert , M. D. Atkinson , Mathilde Bouvel , Nik Ruškuc , Vincent Vatter

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On…

Category Theory · Mathematics 2021-05-13 Zoltan A. Kocsis , Benjamin Merlin Bumpus

It is known that every proper minor-closed class of graphs has bounded stack-number (a.k.a. book thickness and page number). While this includes notable graph families such as planar graphs and graphs of bounded genus, many other graph…

Computational Geometry · Computer Science 2016-08-24 Vida Dujmović , Fabrizio Frati

The implicit graph conjecture states that every sufficiently small, hereditary graph class has a labeling scheme with a polynomial-time computable label decoder. We approach this conjecture by investigating classes of label decoders defined…

Computational Complexity · Computer Science 2018-02-02 Maurice Chandoo

If P is a hereditary property then we show that, for the existence of a perfect f-factor, P is a sufficient condition for countable graphs and yields a sufficient condition for graphs of size aleph_1. Further we give two examples of a…

Logic · Mathematics 2007-05-23 Frank Niedermeyer , Saharon Shelah , Karsten Steffens