English
Related papers

Related papers: The Planar Tree Packing Theorem

200 papers

The weak variant of Hanani-Tutte theorem says that a graph is planar, if it can be drawn in the plane so that every pair of edges cross an even number of times. Moreover, we can turn such a drawing into an embedding without changing the…

Computational Geometry · Computer Science 2016-05-06 Radoslav Fulek

Tree Containment is a fundamental problem in phylogenetics useful for verifying a proposed phylogenetic network, representing the evolutionary history of certain species. Tree Containment asks whether the given phylogenetic tree (for…

Populations and Evolution · Quantitative Biology 2024-06-14 Arkadiy Dushatskiy , Esther Julien , Leen Stougie , Leo van Iersel

A 2-tree is a graph that can be formed by starting with a triangle and iterating the operation of making a new vertex adjacent to two adjacent vertices of the existing graph. Leizhen Cai asked in 1995 whether every maximal planar graph…

Combinatorics · Mathematics 2022-03-22 Allan Bickle

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…

Combinatorics · Mathematics 2025-05-30 Michael Krivelevich , Matthew Kwan , Benny Sudakov

A topological graph is a graph drawn in the plane. A topological graph is $k$-plane, $k>0$, if each edge is crossed at most $k$ times. We study the problem of partitioning the edges of a $k$-plane graph such that each partite set forms a…

A tuple (s1,t1,s2,t2) of vertices in a simple undirected graph is 2-linked when there are two vertex-disjoint paths respectively from s1 to t1 and s2 to t2. A graph is 2-linked when all such tuples are 2-linked. We give a new and simple…

Data Structures and Algorithms · Computer Science 2025-08-15 Samuel Humeau , Damien Pous

Given a graph, we can form a spanning forest by first sorting the edges in some order, and then only keep edges incident to a vertex which is not incident to any previous edge. The resulting forest is dependent on the ordering of the edges,…

Combinatorics · Mathematics 2018-02-16 Steve Butler , Misa Hamanaka , Marie Hardt

We show that the edges of any planar graph of maximum degree at most $9$ can be partitioned into $4$ linear forests and a matching. Combined with known results, this implies that the edges of any planar graph $G$ of odd maximum degree…

Combinatorics · Mathematics 2023-02-28 Marthe Bonamy , Jadwiga Czyżewska , Łukasz Kowalik , Michał Pilipczuk

We prove that if $T_1,\dots, T_n$ is a sequence of bounded degree trees so that $T_i$ has $i$ vertices, then $K_n$ has a decomposition into $T_1,\dots, T_n$. This shows that the tree packing conjecture of Gy\'arf\'as and Lehel from 1976…

Combinatorics · Mathematics 2019-03-14 Felix Joos , Jaehoon Kim , Daniela Kühn , Deryk Osthus

We show that P2T - the problem of deciding whether the edge set of a simple graph can be partitioned into two trees or not - is NP-complete.

Computational Complexity · Computer Science 2010-02-23 Domotor Palvolgyi

We consider the problem of finding the smallest graph that contains two input trees each with at most $n$ vertices preserving their distances. In other words, we look for an isometric-universal graph with the minimum number of vertices for…

Data Structures and Algorithms · Computer Science 2025-06-17 Edgar Baucher , François Dross , Cyril Gavoille

An $r$-matching in a graph $G$ is a collection of edges in $G$ such that the distance between any two edges is at least $r$. A $2$-matching is also called an induced matching. In this paper, we estimate the maximum number of $r$-matchings…

Combinatorics · Mathematics 2014-11-18 Dong Yeap Kang , Jaehoon Kim , Younjin Kim , Hiu-Fai Law

We show that if a graph admits a packing and a covering both consisting of $\lambda$ many spanning trees, where $\lambda$ is some infinite cardinal, then the graph also admits a decomposition into $\lambda$ many spanning trees. For finite…

Combinatorics · Mathematics 2024-05-27 Joshua Erde , Pascal Gollin , Atilla Joó , Paul Knappe , Max Pitz

Given a set of points in the plane, we want to establish a connection network between these points that consists of several disjoint layers. Motivated by sensor networks, we want that each layer is spanning and plane, and that no edge is…

A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show the surprising fact that it is NP-hard to compute the crossing number of near-planar graphs. A graph is 1-planar if it has a drawing where every…

Computational Geometry · Computer Science 2012-03-28 Sergio Cabello , Bojan Mohar

We study the problem of decomposing (clustering) a tree with respect to costs attributed to pairs of nodes, so as to minimize the sum of costs for those pairs of nodes that are in the same component (cluster). For the general case and for…

Discrete Mathematics · Computer Science 2017-08-17 Jan-Hendrik Lange , Bjoern Andres

A linear forest is a collection of vertex-disjoint paths. The Linear Arboricity Conjecture states that every graph of maximum degree $\Delta$ can be decomposed into at most $\lceil(\Delta+1)/2\rceil$ linear forests. We prove that $\Delta/2…

Combinatorics · Mathematics 2025-07-29 Micha Christoph , Nemanja Draganić , António Girão , Eoin Hurley , Lukas Michel , Alp Müyesser

For a simple drawing $D$ of the complete graph $K_n$, two (plane) subdrawings are compatible if their union is plane. Let $\mathcal{T}_D$ be the set of all plane spanning trees on $D$ and $\mathcal{F}(\mathcal{T}_D)$ be the compatibility…

We study Clustered Planarity with Linear Saturators, which is the problem of augmenting an $n$-vertex planar graph whose vertices are partitioned into independent sets (called clusters) with paths - one for each cluster - that connect all…

Data Structures and Algorithms · Computer Science 2024-10-01 Giordano Da Lozzo , Robert Ganian , Siddharth Gupta , Bojan Mohar , Sebastian Ordyniak , Meirav Zehavi

Given a spanning tree $T$ of a planar graph $G$, the co-tree of $T$ is the spanning tree of the dual graph $G^*$ with edge set $(E(G)-E(T))^*$. Gr\"unbaum conjectured in 1970 that every planar 3-connected graph $G$ contains a spanning tree…

Discrete Mathematics · Computer Science 2024-02-09 Christian Ortlieb , Jens M. Schmidt