On Decomposing Graphs Into Forests and Pseudoforests

Logan Grout,Benjamin Moore

DOI: https://doi.org/10.48550/arXiv.1904.12435

2019-04-29

Combinatorics

Abstract:We prove that for $k \in \mathbb{N}$ and $d \leq 2k+2$, if a graph has maximum average degree at most $2k + \frac{2d}{d+k+1}$, then $G$ decomposes into $k+1$ pseudoforests, where one of the pseudoforests has all connected components having at most $d$ edges.

What problem does this paper attempt to address?

The pseudoforest analogue for the Strong Nine Dragon Tree Conjecture is true

Logan Grout,Benjamin Moore

DOI: https://doi.org/10.1016/j.jctb.2020.07.001

2020-11-01

Abstract:We prove that for any positive integers k and d, if a graph G has maximum average degree at most <math>2k+2dd+k+1</math>, then G decomposes into <math>k+1</math> pseudoforests <math>C1,…,Ck+1</math> so that for at least one of the pseudoforests, each connected component has at most d edges.

mathematics
Decomposition of Sparse Graphs into Forests: The Nine Dragon Tree Conjecture for $k \le 2$

Min Chen,Seog-Jin Kim,Alexandr Kostochka,Douglas B. West,Xuding Zhu

DOI: https://doi.org/10.48550/arXiv.1502.04755

2015-02-17

Abstract:For a loopless multigraph $G$, the fractional arboricity $Arb(G)$ is the maximum of $\frac{|E(H)|}{|V(H)|-1}$ over all subgraphs $H$ with at least two vertices. Generalizing the Nash-Williams Arboricity Theorem, the Nine Dragon Tree Conjecture asserts that if $Arb(G)\le k+\frac{d}{k+d+1}$, then $G$ decomposes into $k+1$ forests with one having maximum degree at most $d$. The conjecture was previously proved for $d=k+1$ and for $k=1$ when $d \le 6$. We prove it for all $d$ when $k \le 2$, except for $(k,d)=(2,1)$.

Combinatorics
Beyond the Pseudoforest Strong Nine Dragon Tree Theorem

Sebastian Mies,Benjamin Moore,Evelyne Smith Roberge

2023-10-02

Abstract:The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a decomposition into $k+1$ pseudoforests where in one pseudoforest $F$ the components of $F$ have at most $d$ edges. This was proven in 2020. We strengthen this theorem by showing that we can find such a decomposition where additionally $F$ is acyclic, the diameter of the components of $F$ is at most $2\ell + 2$, where $\ell = \lfloor\frac{d-1}{k+1} \rfloor$, and at most $2\ell + 1$ if $d \equiv 1 \bmod k+1$. Furthermore, for any component $K$ of $F$ and any $z \in \mathbb N$, we have $diam(K) \leq 2z$ if $e(K) \geq d - z(k-1) + 1$. We also show that both diameter bounds are best possible as an extension for both the Strong Nine Dragon Tree Conjecture for pseudoforests and its original conjecture for forests. In fact, they are still optimal even if we only enforce $F$ to have any constant maximum degree, instead of enforcing every component of $F$ to have at most $d$ edges.

Combinatorics
Decompositions into two linear forests of bounded lengths

Rutger Campbell,Florian Hörsch,Benjamin Moore

DOI: https://doi.org/10.1016/j.disc.2024.113962

IF: 0.961

2024-03-22

Discrete Mathematics

Abstract:For some k∈Z≥0∪{∞} , we call a linear forest k -bounded if each of its components has at most k edges. We will say a (k,l) -bounded linear forest decomposition of a graph G is a partition of E(G) into the edge sets of two linear forests Fk,Fl where Fk is k -bounded and Fl is l -bounded. We show that the problem of deciding whether a given graph has such a decomposition is NP-complete if both k and l are at least 2, NP-complete if k≥9 and l=1 , and is in P for (k,l)=(2,1) . Before this, the only known NP-complete cases were the (2,2) and (3,3) cases. Our hardness result answers a question of Bermond et al. from 1984. We also show that planar graphs of girth at least nine decompose into a linear forest and a matching, which in particular is stronger than 3-edge-coloring such graphs.

mathematics
Decomposition of Geometric Graphs into Star Forests

János Pach,Morteza Saghafian,Patrick Schnider

2023-08-25

Abstract:We solve a problem of Dujmović and Wood (2007) by showing that a complete convex geometric graph on $n$ vertices cannot be decomposed into fewer than $n-1$ star-forests, each consisting of noncrossing edges. This bound is clearly tight. We also discuss similar questions for abstract graphs.

Combinatorics,Computational Geometry
Partition of Sparse Graphs into Two Forests with Bounded Degree

Matthew Yancey

2024-03-08

Abstract:Borodin and Kostochka proved that for $d_2 \geq 2d_1+2$ and a graph $G$ where every subgraph $H$ satisfies $$ e(H) < \left(2 - \frac{d_2+2}{(d_1+2)(d_2+1)}\right)n(H) + \frac{1}{d_2+1} $$ has a vertex partition $V(G) = V_1 \cup V_2$ such that $G[V_i]$ has maximum degree at most $d_i$ for each $i$. We show that under the same conditions we can additionally conclude that each $G[V_i]$ is a forest.

Combinatorics
The complexity of decomposing a graph into a matching and a bounded linear forest

Agnijo Banerjee,João Pedro Marciano,Adva Mond,Jan Petr,Julien Portier

2023-04-07

Abstract:Deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded linear forest was recently shown by Campbell, H{ö}rsch and Moore to be NP-complete for every $k \ge 9$, and solvable in polynomial time for $k=1,2$. In the first part of this paper, we close this gap by showing that this problem is in NP-complete for every $k \ge 3$. In the second part of the paper, we show that deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded star forest is polynomially solvable for any $k \in \mathbb{N} \cup \{ \infty \}$, answering another question by Campbell, H{ö}rsch and Moore from the same paper.

Computational Complexity,Combinatorics
A faster algorithm for the $k$-forest problem: breaking the $O_k(n^{3/2})$ complexity barrier

Pavel Arkhipov,Vladimir Kolmogorov

2024-09-30

Abstract:The $k$-forest problem asks to find $k$ forests in a graph $G$ maximizing the number of edges in their union. We show how to solve this problem in $O(k^3 \min\{kn, m\} \log^2 n + k \cdot{\rm MAXFLOW}(m, m) \log n)$ time, breaking the $O_k(n^{3/2})$ complexity barrier of previously known approaches. Our algorithm relies on three subroutines: the directed $k$-forest problem with bounded indegree condition, the $k$-pseudoforest problem, and the top clump computation.

Data Structures and Algorithms
Star-Forest Decompositions of Complete Graphs

Todor Antić,Jelena Glišić,Milan Milivojčević

2024-02-17

Abstract:We deal with the problem of decomposing a complete geometric graph into plane star-forests. In particular, we disprove a recent conjecture by Pach, Saghafian and Schnider by constructing for each $n$ a complete geometric graph on $n$ vertices which can be decomposed into $\frac{n}{2}+1$ plane star-forests. Additionally we prove that for even $n$, every decomposition of complete abstract graph on $n$ vertices into $\frac{n}{2}+1$ star-forests is composed of a perfect matching and $\frac{n}{2}$ star-forests with two edge-balanced components, which we call broken double stars.

Combinatorics,Computational Geometry
Regular bipartite decompositions of pseudorandom graphs

Asaf Ferber,Bryce Frederickson,Dingjia Mao,Liana Yepremyan,Yizhe Zhu

2024-10-17

Abstract:In 1972, Kotzig proved that for every even $n$, the complete graph $K_n$ can be decomposed into $\lceil\log_2n\rceil$ edge-disjoint regular bipartite spanning subgraphs, which is best possible. In this paper, we study regular bipartite decompositions of $(n,d,\lambda)$-graphs, where $n$ is an even integer and $d_0\leq d\leq n-1$ for some absolute constant $d_0$. With a randomized algorithm, we prove that such an $(n,d,\lambda)$-graph with $\lambda\leq d/12$ can be decomposed into at most $\log_2 d + 36$ regular bipartite spanning subgraphs. This is best possible up to the additive constant term. As a consequence, we also improve the best known bounds on $\lambda = \lambda(d)$ by Ferber and Jain (2020) to guarantee that an $(n,d,\lambda)$-graph on an even number of vertices admits a $1$-factorization, showing that $\lambda \leq cd$ is sufficient for some absolute constant $c > 0$.

Combinatorics
Complexity results on the decomposition of a digraph into directed linear forests and out-stars

Florian Hörsch,Lucas Picasarri-Arrieta

2024-09-05

Abstract:We consider two decomposition problems in directed graphs. We say that a digraph is $k$-bounded for some $k \in \mathbb{Z}_{\geq 1}$ if each of its connected components contains at most $k$ arcs. For the first problem, a directed linear forest is a collection of vertex-disjoint directed paths and we consider the problem of decomposing a given digraph into a $k$-bounded and an $\ell$-bounded directed linear forest for some fixed $k,\ell \in \mathbb{Z}_{\geq 1}\cup \{\infty\}$. We give a full dichotomy for this problem by showing that it can be solved in polynomial time if $k+\ell \leq 3$ and is NP-complete otherwise. This answers a question of Campbell, Hörsch, and Moore. For the second problem, we say that an out-galaxy is a vertex-disjoint collection of out-stars. Again, we give a full dichotomy of when a given digraph can be edge-decomposed into a $k$-bounded and an $\ell$-bounded out-galaxy for fixed $k,\ell \in \mathbb{Z}_{\geq 1}\cup \{\infty\}$. More precisely, we show that the problem can be solved in polynomial time if $\min\{k,\ell\}\in \{1,\infty\}$ and is NP-complete otherwise.

Combinatorics,Discrete Mathematics
Linear arboricity of graphs with large minimum degree

Yuping Gao,Songling Shan

2024-05-29

Abstract:In 1980, Akiyama, Exoo, and Harary conjectured that any graph $G$ can be decomposed into at most $\lceil(\Delta(G)+1)/2\rceil$ linear forests. We confirm the conjecture for sufficiently large graphs with large minimum degree. Precisely, we show that for any given $0<\varepsilon <1$, there exists $n_0 \in \mathbb{N}$ for which the following statement holds: If $G$ is a graph on $n\ge n_0$ vertices of minimum degree at least $(1+\varepsilon )n/2$, then $G$ can be decomposed into at most $\lceil(\Delta(G)+1)/2\rceil$ linear forests.

Combinatorics
The Strong Nine Dragon Tree Conjecture is True for $d \leq 2(k+1)$

Sebastian Mies,Benjamin Moore

2024-06-29

Abstract:The arboricity $\Gamma(G)$ of an undirected graph $G =(V,E)$ is the minimal number $k$ such that $E$ can be partitioned into $k$ forests on $V$. Nash-Williams' formula states that $k = \lceil \gamma(G) \rceil$, where $\gamma(G)$ is the maximum of $\frac{|E_{H}|}{|V_{H}|-1}$ over all subgraphs $(V_H , E_H )$ of $G$ with $|V_H | \geq 2$. The Strong Nine Dragon Tree Conjecture states that if $\gamma(G) \leq k + \frac{d}{d+k+1}$ for $k, d \in \mathbb{N}$, then there is a partition of the edge set of $G$ into $k + 1$ forests on $V$ such that one forest has at most $d$ edges in each connected component. Here we prove the Strong Nine Dragon Tree Conjecture when $d \leq 2(k +1)$, which is a new result for all $(k, d)$ such that $d > k + 1$. In fact, we prove a stronger theorem. We prove that a weaker sparsity notion, called $(k, d)$-sparseness, suffices to give the decomposition, under the assumption that the graph decomposes into $k+1$ forests. This is a new result for all $(k, d)$ where $d > 1$, and improves upon the recent resolution of the Overfull Nine Dragon Tree Theorem for all $(k, d)$ when $d \leq 2(k +1)$. As a corollary, we obtain that planar graphs of girth five decompose into a forest and a forest where every component has at most four edges, and by duality, we obtain that $5$-edge-connected planar graphs have a $\frac{4}{5}$-thin tree, improving a result of the authors that $5$-edge-connected planar graphs have a $\frac{5}{6}$-thin tree

Combinatorics
Decomposing a graph into subgraphs with small components

Rain Jiang,Kai Jiang,Minghui Jiang

DOI: https://doi.org/10.48550/arXiv.2110.00692

2021-10-02

Abstract:The component size of a graph is the maximum number of edges in any connected component of the graph. Given a graph $G$ and two integers $k$ and $c$, $(k,c)$-Decomposition is the problem of deciding whether $G$ admits an edge partition into $k$ subgraphs with component size at most $c$. We prove that for any fixed $k \ge 2$ and $c \ge 2$, $(k,c)$-Decomposition is NP-complete in bipartite graphs. Also, when both $k$ and $c$ are part of the input, $(k,c)$-Decomposition is NP-complete even in trees. Moreover, $(k,c)$-Decomposition in trees is W[1]-hard with parameter $k$, and is FPT with parameter $c$. In addition, we present approximation algorithms for decomposing a tree either into the minimum number of subgraphs with component size at most $c$, or into $k$ subgraphs minimizing the maximum component size. En route to these results, we also obtain a fixed-parameter algorithm for Bin Packing with the bin capacity as parameter.

Computational Complexity,Data Structures and Algorithms
Almost colour-balanced spanning forests in complete graphs

Lawrence Hollom,Adva Mond,Julien Portier

2024-10-08

Abstract:Given $K_n$ whose edges are coloured red and blue, and a forest $F$ of order $n$, we seek embeddings of $F$ with small imbalance, that is, difference between the numbers of red and blue edges. We show that if the $2$-colouring of the edges of $K_n$ is balanced, meaning that the numbers of red and blue edges are equal, and $F$ has maximum degree $\Delta$, then one can find an embedding of $F$ into $K_n$ whose imbalance is at most $\Delta/2 + 18$, which is essentially best possible and resolves a conjecture of Mohr, Pardey, and Rautenbach. Furthermore, we give a tighter bound for the imbalance for small values of $\Delta$. In particular, we prove that the imbalance can be taken to be constant in the case where $\Delta<n(1/4 - \eta)$ for any constant $\eta>0$.

Combinatorics
Large Degree Vertices in Longest Cycles of Graphs, II

Binlong Li,Liming Xiong,Jun Yin

DOI: https://doi.org/10.5614/ejgta.2019.7.2.7

2015-01-01

Discussiones Mathematicae Graph Theory

Abstract:In this paper, we consider the least integer d such that every k-connected graph G of order n (and of independent number α) has a longest cycle containing all vertices of degree at least d. We completely determine the d when k = 2. We propose a conjecture for those k-connected graph, where k ≥ 3.
Graphs of low average degree without independent transversals

Carla Groenland,Tomáš Kaiser,Oscar Treffers,Matthew Wales

DOI: https://doi.org/10.48550/arXiv.2106.15175

2022-05-10

Abstract:An independent transversal of a graph $G$ with a vertex partition $\mathcal P$ is an independent set of $G$ intersecting each block of $\mathcal P$ in a single vertex. Wanless and Wood proved that if each block of $\mathcal P$ has size at least $t$ and the average degree of vertices in each block is at most $t/4$, then an independent transversal of $\mathcal P$ exists. We present a construction showing that this result is optimal: for any $\varepsilon > 0$ and sufficiently large $t$, there is a family of forests with vertex partitions whose block size is at least $t$, average degree of vertices in each block is at most $(\frac14+\varepsilon)t$, and there is no independent transversal. This unexpectedly shows that methods related to entropy compression such as the Rosenfeld-Wanless-Wood scheme or the Local Cut Lemma are tight for this problem. Further constructions are given for variants of the problem, including the hypergraph version.

Combinatorics
Bounded indegree $k$-forests problem and a faster algorithm for directed graph augmentation

Pavel Arkhipov,Vladimir Kolmogorov

2024-09-23

Abstract:We consider two problems for a directed graph $G$, which we show to be closely related. The first one is to find $k$ edge-disjoint forests in $G$ of maximal size such that the indegree of each vertex in these forests is at most $k$. We describe a min-max characterization for this problem and show that it can be solved in $O(k \delta m \log n)$ time, where $(n,m)$ is the size of $G$ and $\delta$ is the difference between $k$ and the edge connectivity of the graph. The second problem is the directed edge-connectivity augmentation problem, which has been extensively studied before: find a smallest set of directed edges whose addition to the graph makes it strongly $k$-connected. We improve the complexity for this problem from $O(k \delta (m+\delta n)\log n)$ [Gabow, STOC 1994] to $O(k \delta m \log n)$, by exploiting our solution for the first problem. A similar approach with the same complexity also works for the undirected version of the problem.

Data Structures and Algorithms,Discrete Mathematics,Combinatorics
Partitioning graphs with linear minimum degree

Jie Ma,Hehui Wu

2023-06-14

Abstract:We prove that there exists an absolute constant $C>0$ such that, for any positive integer $k$, every graph $G$ with minimum degree at least $Ck$ admits a vertex-partition $V(G)=S\cup T$, where both $G[S]$ and $G[T]$ have minimum degree at least $k$, and every vertex in $S$ has at least $k$ neighbors in $T$. This confirms a question posted by Kühn and Osthus and is tight up to a constant factor. Our proof combines probabilistic methods with structural arguments based on Ore's Theorem on $f$-factors of bipartite graphs.

Combinatorics
An extension of Nash‐Williams and Tutte's Theorem

Xuqian Fang,Daqing Yang

DOI: https://doi.org/10.1002/jgt.23189

2024-09-28

Journal of Graph Theory

Abstract:The celebrated Nash‐Williams and Tutte's Theorem states that a graph G contains k edge‐disjoint spanning trees if and only if νf(G)≥k , where νf(G)=min∣P∣>1∣E(G/P)∣∣P∣−1,Pis a partition ofV(G). In this paper, we prove that, for integers k≥0 , d≥1 , if νf(G)>k+d−1d , then G contains k edge‐disjoint spanning trees and another forest F with ∣E(F)∣>d−1d(∣V(G)∣−1) , and if F is not a spanning tree, then F has a component with at least d edges. Moreover, the bound of νf(G) is sharp.

mathematics

On Decomposing Graphs Into Forests and Pseudoforests

The pseudoforest analogue for the Strong Nine Dragon Tree Conjecture is true

Decomposition of Sparse Graphs into Forests: The Nine Dragon Tree Conjecture for $k \le 2$

Beyond the Pseudoforest Strong Nine Dragon Tree Theorem

Decompositions into two linear forests of bounded lengths

Decomposition of Geometric Graphs into Star Forests

Partition of Sparse Graphs into Two Forests with Bounded Degree

The complexity of decomposing a graph into a matching and a bounded linear forest

A faster algorithm for the $k$-forest problem: breaking the $O_k(n^{3/2})$ complexity barrier

Star-Forest Decompositions of Complete Graphs

Regular bipartite decompositions of pseudorandom graphs

Complexity results on the decomposition of a digraph into directed linear forests and out-stars

Linear arboricity of graphs with large minimum degree

The Strong Nine Dragon Tree Conjecture is True for $d \leq 2(k+1)$

Decomposing a graph into subgraphs with small components

Almost colour-balanced spanning forests in complete graphs

Large Degree Vertices in Longest Cycles of Graphs, II

Graphs of low average degree without independent transversals

Bounded indegree $k$-forests problem and a faster algorithm for directed graph augmentation

Partitioning graphs with linear minimum degree

An extension of Nash‐Williams and Tutte's Theorem