English
Related papers

Related papers: Smaller Extended Formulations for the Spanning Tre…

200 papers

Let $G$ be a connected $n$-vertex graph in a proper minor-closed class $\mathcal G$. We prove that the extension complexity of the spanning tree polytope of $G$ is $O(n^{3/2})$. This improves on the $O(n^2)$ bounds following from the work…

Combinatorics · Mathematics 2021-12-21 Manuel Aprile , Samuel Fiorini , Tony Huynh , Gwenaël Joret , David R. Wood

In the study of extensions of polytopes of combinatorial optimization problems, a notorious open question is that for the size of the smallest extended formulation of the Minimum Spanning Tree problem on a complete graph with $n$ nodes. The…

Discrete Mathematics · Computer Science 2017-02-07 Kaveh Khoshkhah , Dirk Oliver Theis

We prove that for every $n$-vertex graph $G$, the extension complexity of the correlation polytope of $G$ is $2^{O(\mathrm{tw}(G) + \log n)}$, where $\mathrm{tw}(G)$ is the treewidth of $G$. Our main result is that this bound is tight for…

Discrete Mathematics · Computer Science 2018-10-19 Pierre Aboulker , Samuel Fiorini , Tony Huynh , Marco Macchia , Johanna Seif

We prove that any planar graph on $n$ vertices has less than $O(5{.}2852^n)$ spanning trees. Under the restriction that the planar graph is 3-connected and contains no triangle and no quadrilateral the number of its spanning trees is less…

Combinatorics · Mathematics 2010-09-07 Kevin Buchin , André Schulz

We consider relations between the size, treewidth, and local crossing number (maximum number of crossings per edge) of graphs embedded on topological surfaces. We show that an $n$-vertex graph embedded on a surface of genus $g$ with at most…

Combinatorics · Mathematics 2017-07-18 Vida Dujmović , David Eppstein , David R. Wood

Let $P$ be a polytope. The hitting number of $P$ is the smallest size of a hitting set of the facets of $P$, i.e., a subset of vertices of $P$ such that every facet of $P$ has a vertex in the subset. An extended formulation of $P$ is the…

Combinatorics · Mathematics 2021-06-24 Manuel Aprile

We show the existence of a polynomial-size extended formulation for the base polytope of a $(k,\ell)$-sparsity matroid. For an undirected graph $G=(V,E)$, the size of the formulation is $O(|V||E|)$ when $k \geq \ell$ and $O(|V|^2 |E|)$ when…

Combinatorics · Mathematics 2014-03-31 Satoru Iwata , Naoyuki Kamiyama , Naoki Katoh , Shuji Kijima , Yoshio Okamoto

Chung and Graham [J. London Math. Soc., 1983] claimed that there exists an $n$-vertex graph $G$ containing all $n$-vertex trees as subgraphs that has at most $\frac{5}{2}n \log_2 n + O(n)$ edges. We identify an error in their proof. This…

Combinatorics · Mathematics 2025-12-02 Jaehoon Kim , Minseo Kim

We prove that the extension complexity of the independence polytope of every regular matroid on $n$ elements is $O(n^6)$. Past results of Wong and Martin on extended formulations of the spanning tree polytope of a graph imply a $O(n^2)$…

Combinatorics · Mathematics 2019-12-23 Manuel Aprile , Samuel Fiorini

In this paper, we show that for an $n$-vertex graph $G$ of genus $g$, the edge expansion of $G$ can be determined in time $n^{O(g^2)}$. We show that the same is true for various other similar measures of edge connectivity.

Discrete Mathematics · Computer Science 2010-04-27 Viresh Patel

In the study of extensions of polytopes of combinatorial optimization problems, a notorious open question is that for the size of the smallest extended formulation of the Minimum Spanning Tree problem on a complete graph with $n$ nodes. The…

Discrete Mathematics · Computer Science 2017-01-03 Kaveh Khoshkhah , Dirk Oliver Theis

We exhibit an $n$-node graph whose independent set polytope requires extended formulations of size exponential in $\Omega(n/\log n)$. Previously, no explicit examples of $n$-dimensional $0/1$-polytopes were known with extension complexity…

Computational Complexity · Computer Science 2016-04-26 Mika Göös , Rahul Jain , Thomas Watson

In this article, we give two extended space formulations, respectively, for the induced tree and path polytopes of chordal graphs with vertex and edge variables. These formulations are obtained by proving that the induced tree and path…

Discrete Mathematics · Computer Science 2026-01-14 Alexandre Dupont-Bouillard

The number of spanning trees of a graph $G$, denoted $\tau(G)$, is a well studied graph parameter with numerous connections to other areas of mathematics. In a recent remarkable paper, answering a question of Sedl\'a\v{c}ek from 1969, Chan,…

Combinatorics · Mathematics 2025-08-26 Noga Alon , Matija Bucić , Lior Gishboliner

We consider the convex hull $P_{\varphi}(G)$ of all satisfying assignments of a given MSO formula $\varphi$ on a given graph $G$. We show that there exists an extended formulation of the polytope $P_{\varphi}(G)$ that can be described by…

Data Structures and Algorithms · Computer Science 2023-06-22 Petr Kolman , Martin Koutecký , Hans Raj Tiwary

Given a graph $G=(V,E)$, a tree cover is a collection of trees $\mathcal{T}=\{T_1,T_2,...,T_q\}$, such that for every pair of vertices $u,v\in V$ there is a tree $T\in\mathcal{T}$ that contains a $u-v$ path with a small stretch. If the…

Data Structures and Algorithms · Computer Science 2025-11-11 Michael Elkin , Idan Shabat

Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and…

Combinatorics · Mathematics 2024-11-20 Kenta Noguchi , Carol T. Zamfirescu

We prove that the spanning trees of any outerplanar triangulation $G$ can be listed so that any two consecutive spanning trees differ in an exchange of two edges that share an end vertex. For outerplanar graphs $G$ with faces of arbitrary…

Discrete Mathematics · Computer Science 2024-12-23 Nastaran Behrooznia , Torsten Mütze

For any graph $G$, let $t(G)$ be the number of spanning trees of $G$, $L(G)$ be the line graph of $G$ and for any non-negative integer $r$, $S_r(G)$ be the graph obtained from $G$ by replacing each edge $e$ by a path of length $r+1$…

Combinatorics · Mathematics 2017-04-24 Fengming Dong , Weigen Yan

We provide an extended formulation of size O(log n)^{\lfloor d/2 \rfloor} for the cyclic polytope with dimension d and n vertices (i,i^2,\ldots,i^d), i in [n]. First, we find an extended formulation of size log(n) for d= 2. Then, we use…

Optimization and Control · Mathematics 2018-04-18 Yuri Bogomolov , Samuel Fiorini , Aleksandr Maksimenko , Kanstantsin Pashkovich
‹ Prev 1 2 3 10 Next ›