中文
相关论文

相关论文: Decomposition horizons and a characterization of s…

200 篇论文

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…

组合数学 · 数学 2026-01-01 Hector Buffière , Patrice Ossona de Mendez

Stability and dependence are model-theoretic notions that have recently proved highly effective in the study of structural and algorithmic properties of hereditary graph classes, and are considered key notions for generalizing to hereditary…

组合数学 · 数学 2026-04-02 H. Buffière , E. Kim , P. Ossona de Mendez

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…

Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph…

组合数学 · 数学 2022-02-02 Tara Abrishami , Maria Chudnovsky , Kristina Vušković

The graph parameter shrub-depth is a dense analog of tree-depth. We characterize classes of bounded shrub-depth by forbidden induced subgraphs. The obstructions are well-controlled flips of large half-graphs and of disjoint unions of many…

计算机科学中的逻辑 · 计算机科学 2025-01-24 Nikolas Mählmann

We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth.…

组合数学 · 数学 2025-04-02 Bogdan Alecu , Édouard Bonnet , Pedro Bureo Villafana , Nicolas Trotignon

A conjecture in algorithmic model theory predicts that the model-checking problem for first-order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is monadically dependent. Originating in model theory,…

组合数学 · 数学 2024-03-28 Jan Dreier , Nikolas Mählmann , Szymon Toruńczyk

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…

计算机科学中的逻辑 · 计算机科学 2023-11-28 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz , Szymon Toruńczyk

In this paper, we revisit the split decomposition of graphs and give new combinatorial and algorithmic results for the class of totally decomposable graphs, also known as the distance hereditary graphs, and for two non-trivial subclasses,…

离散数学 · 计算机科学 2011-04-19 Emeric Gioan , Christophe Paul

For a fixed graph $H$ and for arbitrarily large host graphs $G$, the number of homomorphisms from $H$ to $G$ and the number of subgraphs isomorphic to $H$ contained in $G$ have been extensively studied in extremal graph theory and graph…

组合数学 · 数学 2021-07-05 Chun-Hung Liu

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…

计算机科学中的逻辑 · 计算机科学 2021-07-07 Pierre Simon , Szymon Toruńczyk

In this paper, we exploit the theory of dense graph limits to provide a new framework to study the stability of graph partitioning methods, which we call structural consistency. Both stability under perturbation as well as asymptotic…

组合数学 · 数学 2016-08-15 Peter Diao , Dominique Guillot , Apoorva Khare , Bala Rajaratnam

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the…

计算机科学中的逻辑 · 计算机科学 2022-01-27 Jan Dreier , Jakub Gajarský , Sandra Kiefer , Michał Pilipczuk , Szymon Toruńczyk

We prove that for every class of graphs $\mathcal{C}$ which is nowhere dense, as defined by Nesetril and Ossona de Mendez, and for every first order formula $\phi(\bar x,\bar y)$, whenever one draws a graph $G\in \mathcal{C}$ and a subset…

离散数学 · 计算机科学 2017-11-07 Michał Pilipczuk , Sebastian Siebertz , Szymon Toruńczyk

We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more…

组合数学 · 数学 2023-09-29 Zdeněk Dvořák , David R. Wood

A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness notion from algorithmic graph theory is essentially the…

逻辑 · 数学 2010-11-18 Hans Adler , Isolde Adler

We show that many graphs with bounded treewidth can be described as subgraphs of the strong product of a graph with smaller treewidth and a bounded-size complete graph. To this end, define the "underlying treewidth" of a graph class…

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,…

离散数学 · 计算机科学 2022-06-30 Jan Dreier , Nikolas Mählmann , Amer E. Mouawad , Sebastian Siebertz , Alexandre Vigny

We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding…

组合数学 · 数学 2025-05-30 Michael Krivelevich , Matthew Kwan , Benny Sudakov

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…

组合数学 · 数学 2025-04-25 Miriam Goetze , Peter Stumpf , Torsten Ueckerdt
‹ 上一页 1 2 3 10 下一页 ›