English
Related papers

Related papers: Induced subgraphs and tree-decompositions VII. Bas…

200 papers

Erd\H{o}s and Hajnal conjectured that for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ has a clique or a stable set of size at least $|G|^c$ (a graph is $H$-free if it has no induced subgraph isomorphic to $H$).…

Combinatorics · Mathematics 2026-04-21 Tung Nguyen , Alex Scott , Paul Seymour

We prove that a hereditary graph class $\mathcal{G}$ defined by finitely many excluded induced subgraphs has bounded tree-$\alpha$ if and only if it is "$(\mathrm{tw},\omega)$-bounded" (that is, for all $t\in \mathbb N$, the class of all…

Combinatorics · Mathematics 2026-05-05 Sepehr Hajebi , Sophie Spirkl

Paths $P_1,\ldots,P_k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P_i$ and $P_j$ have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to decide if…

Data Structures and Algorithms · Computer Science 2021-10-28 Petr A. Golovach , Daniël Paulusma , Erik Jan van Leeuwen

For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if…

Data Structures and Algorithms · Computer Science 2023-05-03 Matthew Johnson , Barnaby Martin , Sukanya Pandey , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

Two sets $X, Y$ of vertices in a graph $G$ are "anticomplete" if $X\cap Y=\varnothing$ and there is no edge in $G$ with an end in $X$ and an end in $Y$. We prove that every graph $G$ of sufficiently large treewidth contains two anticomplete…

Combinatorics · Mathematics 2025-11-25 Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl

For an integer $t$, a graph $G$ is called {\em{$C_{>t}$-free}} if $G$ does not contain any induced cycle on more than~$t$ vertices. We prove the following statement: for every pair of integers $d$ and $t$ and a CMSO$_2$ statement~$\phi$,…

Data Structures and Algorithms · Computer Science 2021-01-13 Peter Gartland , Daniel Lokshtanov , Marcin Pilipczuk , Michal Pilipczuk , Pawel Rzazewski

It is known that the class of all graphs not containing a graph $H$ as an induced subgraph is cop-bounded if and only if $H$ is a forest whose every component is a path. In this study, we characterize all sets $\mathscr{H}$ of graphs with…

Combinatorics · Mathematics 2020-07-14 Masood Masjoody , Ladislav Stacho

An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and…

Combinatorics · Mathematics 2011-01-14 Matt DeVos , Zdeněk Dvořák , Jacob Fox , Jessica McDonald , Bojan Mohar , Diego Scheide

For a graph $G$, let $f_o(G)$ denote the maximum order of an induced subgraph of $G$ all of whose vertices have odd degree, and let $\chi(G)$ denote the chromatic number of $G$. Scott (CPC, 1992) proved that $f_o(G) \ge |V(G)|/(2\chi(G))$…

Combinatorics · Mathematics 2026-04-22 Bo Ning

Call a simple graph $H$ of order $n$ well-separable, if by deleting a separator set of size $o(n)$ the leftover will have components of size at most $o(n)$. We prove, that bounded degree well-separable spanning subgraphs are easy to embed:…

Combinatorics · Mathematics 2007-07-18 Béla Csaba

It is known that every graph of sufficiently large chromatic number and bounded clique number contains, as an induced subgraph, a subdivision of any fixed forest, and a subdivision of any fixed cycle. Equivalently, forests and triangles are…

Combinatorics · Mathematics 2021-05-24 Maria Chudnovsky , Alex Scott , Paul Seymour

We prove that for all $0\leq t\leq k$ and $d\geq 2k$, every graph $G$ with treewidth at most $k$ has a `large' induced subgraph $H$, where $H$ has treewidth at most $t$ and every vertex in $H$ has degree at most $d$ in $G$. The order of $H$…

Combinatorics · Mathematics 2007-05-23 Prosenjit Bose , Vida Dujmovic , David R. Wood

Let $ir(G)$ and $\gamma(G)$ be the irredundance number and the domination number of a graph $G$, respectively. A graph $G$ is called irredundance perfect if $ir(H)=\gamma(H)$ for every induced subgraph $H$ of $G$. The subclass of $P_6$-free…

Combinatorics · Mathematics 2026-03-26 Vadim Zverovich , Pavel Skums , Lutz Volkmann

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…

Combinatorics · Mathematics 2022-02-02 Tara Abrishami , Maria Chudnovsky , Kristina Vušković

A graph $H$ is said to be positive if the homomorphism density $t_H(G)$ is non-negative for all weighted graphs $G$. The positive graph conjecture proposes a characterisation of such graphs, saying that a graph is positive if and only if it…

Combinatorics · Mathematics 2024-04-29 David Conlon , Joonkyung Lee , Leo Versteegen

Subdividing an edge $uv$ in a graph replaces it by a path $u w v$ with one new vertex. For a graph $H$, the \textsc{$H$-free Subdivision} problem asks whether, given a graph $G$ and an integer $k$, one can destroy all induced copies of $H$…

Data Structures and Algorithms · Computer Science 2026-04-28 Marta Piecyk , R. B. Sandeep

We prove that the \emph{standard zero forcing number} $Z(G)$ and the \emph{positive semidefinite zero forcing number} $Z_+(G)$ are equal for all claw-free graphs $G$. This result resolves a conjecture proposed by the computer program…

Combinatorics · Mathematics 2024-12-19 Randy Davila , Houston Schuerger , Ben Small

A graph is $H$-free if it does not contain an induced subgraph isomorphic to $H$. We denote by $P_k$ and $C_k$ the path and the cycle on $k$ vertices, respectively. In this paper, we prove that 4-COLORING is NP-complete for $P_7$-free…

Computational Complexity · Computer Science 2013-10-07 Shenwei Huang

For a graph $G$, $\chi(G)$ will denote its chromatic number, and $\omega(G)$ its clique number. A graph $G$ is said to be perfectly divisible if for all induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A$, $B$ such…

Combinatorics · Mathematics 2021-04-08 T. Karthick , Jenny Kaufmann , Vaidy Sivaraman