English
Related papers

Related papers: Treelike decompositions for transductions of spars…

200 papers

Transductions are a general formalism for expressing transformations of graphs (and more generally, of relational structures) in logic. We prove that a graph class $\mathscr{C}$ can be $\mathsf{FO}$-transduced from a class of bounded-height…

Combinatorics · Mathematics 2022-04-01 Michał Pilipczuk , Patrice Ossona de Mendez , Sebastian Siebertz

(First-order) transductions are a basic notion capturing graph modifications that can be described in first-order logic. In this work, we propose an efficient algorithmic method to approximately reverse the application of a transduction,…

Logic in Computer Science · Computer Science 2026-01-22 Jan Dreier , Jakub Gajarský , Michał Pilipczuk

This paper studies graphs that have two tree decompositions with the property that every bag from the first decomposition has a bounded-size intersection with every bag from the second decomposition. We show that every graph in each of the…

Combinatorics · Mathematics 2018-05-21 Vida Dujmović , Gwenaël Joret , Pat Morin , Sergey Norin , David R. Wood

This is a companion paper to the paper "Hyperstability in the Erdos-Sos Conjecture". In that paper the following rough structure theorem was proved for graphs G containing no copy of a bounded degree tree T: from any such G, one can delete…

Combinatorics · Mathematics 2024-09-24 Alexey Pokrovskiy

The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem definable in first-order logic can be solved in linear time on bounded expansion…

Discrete Mathematics · Computer Science 2024-02-14 Jan Dreier

We prove several negative results about first-order transducibility for classes of sparse graphs: - for every $t \in \mathbb{N}$, the class of graphs of treewidth at most $t+1$ is not transducible from the class of graphs of treewidth at…

Logic in Computer Science · Computer Science 2025-05-22 Jakub Gajarský , Jeremi Gładkowski , Jan Jedelský , Michał Pilipczuk , Szymon Toruńczyk

The Pathwidth Theorem states that if a class of graphs has unbounded pathwidth, then it contains all trees as graph minors. We prove a similar result for dense graphs. More precisely, we give a finite family of tree-like patterns and prove…

Logic in Computer Science · Computer Science 2026-04-09 Mikołaj Bojańczyk , Pierre Ohlmann

The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…

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

The theory of sparse structures usually uses tree like structures as building blocks. In the context of sparse/dense dichotomy this role is played by graphs with bounded tree depth. In this paper we survey results related to this concept…

Combinatorics · Mathematics 2016-08-09 Jaroslav Nesetril , Patrice Ossona De Mendez

We prove that every oriented tree on $n$ vertices with bounded maximum degree appears as a spanning subdigraph of every directed graph on $n$ vertices with minimum semidegree at least $n/2+o(n)$. This can be seen as a directed graph…

Combinatorics · Mathematics 2026-05-20 Richard Mycroft , Tássio Naia

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

A recent result of Condon, Kim, K\"{u}hn and Osthus implies that for any $r\geq (\frac{1}{2}+o(1))n$, an $n$-vertex almost $r$-regular graph $G$ has an approximate decomposition into any collections of $n$-vertex bounded degree trees. In…

Combinatorics · Mathematics 2018-08-28 Jaehoon Kim , Younjin Kim , Hong Liu

Treewidth is a graph parameter that plays a fundamental role in several structural and algorithmic results. We study the problem of decomposing a given graph $G$ into node-disjoint subgraphs, where each subgraph has sufficiently large…

Data Structures and Algorithms · Computer Science 2013-04-08 Chandra Chekuri , Julia Chuzhoy

Graph classes of bounded tree rank were introduced recently in the context of the model checking problem for first-order logic of graphs. These graph classes are a common generalization of graph classes of bounded degree and bounded…

Discrete Mathematics · Computer Science 2025-10-08 Jakub Gajarský , Rose McCarty

In a series of four papers we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$…

Combinatorics · Mathematics 2017-07-31 Jan Hladký , János Komlós , Diana Piguet , Miklós Simonovits , Maya J. Stein , Endre Szemerédi

Tree decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. Planar decompositions generalise tree decompositions by allowing an arbitrary planar graph to index the decomposition. We prove that…

Combinatorics · Mathematics 2007-06-13 David R. Wood , Jan Arne Telle

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 introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various…

Combinatorics · Mathematics 2021-04-23 Jaroslav Nesetril , Patrice Ossona De Mendez

The Tree Decomposition Conjecture by Bar\'at and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of…

Combinatorics · Mathematics 2016-03-02 Martin Merker
‹ Prev 1 2 3 10 Next ›