English
Related papers

Related papers: Forcing the Wheel

200 papers

Minimum Bisection denotes the NP-hard problem to partition the vertex set of a graph into two sets of equal sizes while minimizing the width of the bisection, which is defined as the number of edges between these two sets. We first consider…

Combinatorics · Mathematics 2017-08-23 Cristina G. Fernandes , Tina Janne Schmidt , Anusch Taraz

Given any polytope $P$ and any generic linear functional ${\bf c} $, one obtains a directed graph $G(P,{\bf c})$ from the 1-skeleton of $P$ by orienting each edge $e(u,v)$ from $u$ to $v$ for ${\bf c} (u) < {\bf c} ( v)$. For $P$ a simple…

Combinatorics · Mathematics 2023-08-10 Patricia Hersh

Let $P$ be a convex $d$-polytope and $0 \leq k \leq d-1$. In 2023, this author proved the following inequalities, resolving a question of B\'ar\'any: \[ \frac{f_k(P)}{f_0(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose k} +…

Combinatorics · Mathematics 2024-01-30 Joshua Hinman

The Linear Arboricity Conjecture asserts that the linear arboricity of a graph with maximum degree $\Delta$ is $\lceil (\Delta+1)/2 \rceil$. For a $2k$-regular graph $G$, this implies $la(G) = k+1$. In this note, we utilize a network flow…

Combinatorics · Mathematics 2025-12-15 Tapas Kumar Mishra

Monadic second order logic (MSO2) plays an important role in parameterized complexity due to the Courcelle's theorem. This theorem states that the problem of checking if a given graph has a property specified by a given MSO2 formula can be…

Artificial Intelligence · Computer Science 2026-04-13 Petr Kučera , Petr Martinek

A \emph{queue layout} of a graph consists of a \emph{linear order} of its vertices and a partition of its edges into \emph{queues}, so that no two independent edges of the same queue are nested. The \emph{queue number} of a graph is the…

Data Structures and Algorithms · Computer Science 2019-08-12 Michael A. Bekos , Henry Förster , Martin Gronemann , Tamara Mchedlidze , Fabrizio Montecchiani , Chrysanthi Raftopoulou , Torsten Ueckerdt

The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the…

Combinatorics · Mathematics 2017-02-01 A. Collins , J. Foniok , N. Korpelainen , V. Lozin , V. Zamaraev

It is known for many algorithmic problems that if a tree decomposition of width $t$ is given in the input, then the problem can be solved with exponential dependence on $t$. A line of research by Lokshtanov, Marx, and Saurabh [SODA 2011]…

Computational Complexity · Computer Science 2024-02-20 Barış Can Esmer , Jacob Focke , Dániel Marx , Paweł Rzążewski

We establish a conjecture of Defant, Hopkins, Poznanovi\'{c}, and Propp concerning the dimensions of toggleability spaces for products of chains, shifted staircases, type-A root posets, and type-B posets. Generalizing this result, we show…

Combinatorics · Mathematics 2025-08-22 Ben Adenbaum , Spencer Daugherty , Nicholas Mayers

Let $G$ be a simple, undirected, finite graph with vertex set $V(G)$ and edge set $E(G)$. A $k$-dimensional box is a Cartesian product of closed intervals $[a_1,b_1]\times [a_2,b_2]\times...\times [a_k,b_k]$. The {\it boxicity} of $G$,…

Combinatorics · Mathematics 2010-03-12 Abhijin Adiga , Diptendu Bhowmick , L. Sunil Chandran

A graph is $k$-planar if it can be drawn in the plane such that no edge is crossed more than $k$ times. While for $k=1$, optimal $1$-planar graphs, i.e., those with $n$ vertices and exactly $4n-8$ edges, have been completely characterized,…

Computational Geometry · Computer Science 2017-03-21 Michael A. Bekos , Michael Kaufmann , Chrysanthi N. Raftopoulou

A ladder is a $2 \times k$ grid graph. When does a graph class $\mathcal{C}$ exclude some ladder as a minor? We show that this is the case if and only if all graphs $G$ in $\mathcal{C}$ admit a proper vertex coloring with a bounded number…

Combinatorics · Mathematics 2022-10-19 Tony Huynh , Gwenaël Joret , Piotr Micek , Michał T. Seweryn , Paul Wollan

We prove the following theorem. Given a planar graph $G$ and an integer $k$, it is possible in polynomial time to randomly sample a subset $A$ of vertices of $G$ with the following properties: (i) $A$ induces a subgraph of $G$ of treewidth…

Data Structures and Algorithms · Computer Science 2016-04-21 Fedor V. Fomin , Daniel Lokshtanov , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

A graph has {\em path-width} at most $w$ if it can be built from a sequence of graphs each with at most $w+1$ vertices, by overlapping consecutive terms. Every graph with path-width at least $w-1$ contains every $w$-vertex forest as a…

Combinatorics · Mathematics 2023-09-12 P. Seymour

We show that every connected graph $G$ has a tree decomposition indexed by a tree $T$ such that $T$ is a subgraph of $G$ and the width of the tree decomposition is bounded from above by a function of the pathwidth of $G$. This answers a…

Combinatorics · Mathematics 2026-03-02 Romain Bourneuf , Gwenaël Joret , Piotr Micek , Martin Milanič , Michał Pilipczuk

A famous theorem of Dilworth asserts that any finite poset of width $k$ can be decomposed into $k$ chains. We study the following problem: given a Borel poset $P$ of finite width $k$, is it true that it can be decomposed into $k$ Borel…

Combinatorics · Mathematics 2020-04-07 Bartłomiej Bosek , Jarosław Grytczuk , Zbigniew Lonc

Let $(P,\leq)$ be a finite poset (partially ordered set), where $P$ has cardinality $n$. Consider linear extensions of $P$ as permutations $x_1x_2\cdots x_n$ in one-line notation. For distinct elements $x,y\in P$, we define…

Combinatorics · Mathematics 2018-02-02 Emily J. Olson , Bruce E. Sagan

We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(\Delta(G),k)}$ for some graph $H$ with bounded treewidth, some path $P$, and some function $f$. This resolves an open problem of Ossona de…

Combinatorics · Mathematics 2024-09-04 Marc Distel , Robert Hickingbotham , Michał T. Seweryn , David R. Wood

A variant of the Erd\H{o}s-S\'os conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges.…

Combinatorics · Mathematics 2025-12-19 Alexey Pokrovskiy , Leo Versteegen , Ella Williams

In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is…

Combinatorics · Mathematics 2018-09-10 Joseph Doolittle