English
Related papers

Related papers: A shorter proof of the path-width theorem

200 papers

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

Dujmovi\'c, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every planar graph $G$ there is a graph $H$ with treewidth at most 8 and a path $P$ such that $G\subseteq H\boxtimes P$. We improve this result by replacing…

Combinatorics · Mathematics 2021-08-21 Torsten Ueckerdt , David R. Wood , Wendy Yi

Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every…

Combinatorics · Mathematics 2025-09-16 Tung Nguyen , Alex Scott , Paul Seymour

A graph $G$ is said to have \textit{bandwidth} at most $b$, if there exists a labeling of the vertices by $1,2,..., n$, so that $|i - j| \leq b$ whenever $\{i,j\}$ is an edge of $G$. Recently, B\"{o}ttcher, Schacht, and Taraz verified a…

Combinatorics · Mathematics 2015-03-17 Hao Huang , Choongbum Lee , Benny Sudakov

Dumas, Foucaud, Perez, and Todinca [SIAM J. Disc. Math., 2024] proved that if the vertex set of a graph $G$ can be covered by $k$ shortest paths, then the pathwidth of $G$ is bounded by $\mathcal{O}(k \cdot 3^k)$. We prove a coarse variant…

Combinatorics · Mathematics 2025-03-05 Meike Hatzel , Michał Pilipczuk

By the Grid Minor Theorem of Robertson and Seymour, every graph of sufficiently large tree-width contains a large grid as a minor. Tree-width may therefore be regarded as a measure of 'grid-likeness' of a graph. The grid contains a long…

Combinatorics · Mathematics 2018-02-15 Daniel Weißauer

In this paper and a companion paper, we prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as…

Combinatorics · Mathematics 2022-07-21 Bruce Reed , Maya Stein

In this paper, we prove a tight minimum degree condition in general graphs for the existence of paths between two given endpoints, whose lengths form a long arithmetic progression with common difference one or two. This allows us to obtain…

Combinatorics · Mathematics 2021-01-27 Jun Gao , Qingyi Huo , Chun-Hung Liu , Jie Ma

We give a short proof that every finite graph (or matroid) has a tree-decomposition that displays all maximal tangles. This theorem for graphs is a central result of the graph minors project of Robertson and Seymour and the extension to…

Combinatorics · Mathematics 2016-06-01 Johannes Carmesin

For a given finite graph $G$ of minimum degree at least $k$, let $G_{p}$ be a random subgraph of $G$ obtained by taking each edge independently with probability $p$. We prove that (i) if $p \ge \omega/k$ for a function $\omega=\omega(k)$…

Combinatorics · Mathematics 2013-05-28 Michael Krivelevich , Choongbum Lee , Benny Sudakov

The bidimensionality of a set of vertices $X$ in a graph $G$ is the maximum $k$ for which $G$ contains as a $X$-rooted minor the $(k \times k)$-grid. This notion allows for the following version of the Graph Minors Structure Theorem (GMST)…

Combinatorics · Mathematics 2026-05-27 Dimitrios M. Thilikos , Sebastian Wiederrecht

We give a simple proof of the "tree-width duality theorem" of Seymour and Thomas that the tree-width of a finite graph is exactly one less than the largest order of its brambles.

Combinatorics · Mathematics 2013-09-10 Frédéric Mazoit

Addressing a question posed by Chen and Ma from an asymptotic point of view, we present a short proof for the edge density needed to guarantee that two vertices of the same degree are connected by a path of a fixed length. In particular, we…

Combinatorics · Mathematics 2026-05-12 Yamaan Attwa , Matías Azócar Carvajal , Simona Boyadzhiyska , Théo Pierron , Anusch Taraz

Motivated by an induced counterpart of treewidth sparsifiers (i.e., sparse subgraphs keeping the treewidth large) provided by the celebrated Grid Minor theorem of Robertson and Seymour [JCTB '86] or by a classic result of Chekuri and…

Combinatorics · Mathematics 2024-05-24 Édouard Bonnet

Let $\mathcal{D}_k$ be the class of graphs for which every minor has minimum degree at most $k$. Then $\mathcal{D}_k$ is closed under taking minors. By the Robertson-Seymour graph minor theorem, $\mathcal{D}_k$ is characterised by a finite…

Combinatorics · Mathematics 2011-06-07 Gašper Fijavž , David R. Wood

We give a short proof that for every apex-forest $X$ on at least two vertices, graphs excluding $X$ as a minor have layered pathwidth at most $2|V(X)|-3$. This improves upon a result by Dujmovi\'c, Eppstein, Joret, Morin, and Wood (SIDMA,…

Combinatorics · Mathematics 2025-04-07 Jędrzej Hodor , Hoang La , Piotr Micek , Clément Rambaud

Let $T$ be a tree with $t$ edges. We show that the number of isomorphic (labeled) copies of $T$ in a graph $G = (V,E)$ of minimum degree at least $t$ is at least \[2|E| \prod_{v \in V} (d(v) - t + 1)^{\frac{(t-1)d(v)}{2|E|}}.\]…

Combinatorics · Mathematics 2015-11-24 Dhruv Mubayi , Jacques Verstraete

The visibility graph of a finite set of points in the plane has the points as vertices and an edge between two vertices if the line segment between them contains no other points. This paper establishes bounds on the edge- and…

Combinatorics · Mathematics 2013-01-24 Michael S. Payne , Attila Pór , Pavel Valtr , David R. Wood

The connected tree-width of a graph is the minimum width of a tree-decomposition whose parts induce connected subgraphs. Long cycles are examples of graphs that have small tree-width but large connected tree-width. We show that a graph has…

Combinatorics · Mathematics 2015-10-15 Reinhard Diestel , Malte Müller

Let $P(G)=(P_{0}(G),P_{1}(G),\cdots, P_{\rho}(G))$ be the path sequence of a graph $G$, where $P_{i}(G)$ is the number of paths with length $i$ and $\rho$ is the length of a longest path in $G$. In this paper, we first give the path…

General Mathematics · Mathematics 2024-12-03 Yirong Cai , Hanyuan Deng