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

What problem does this paper attempt to address?

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
Trimming forests is hard (unless they are made of stars)

Lior Gishboliner,Yevgeny Levanzov,Asaf Shapira

2023-10-17

Abstract:Graph modification problems ask for the minimal number of vertex/edge additions/deletions needed to make a graph satisfy some predetermined property. A (meta) problem of this type, which was raised by Yannakakis in 1981, asks to determine for which properties ${\mathcal P}$, it is NP-hard to compute the smallest number of edge deletions needed to make a graph satisfy ${\mathcal P}$. Despite being extensively studied in the past 40 years, this problem is still wide open. In fact, it is open even when ${\mathcal P}$ is the property of being $H$-free, for some fixed graph $H$. In this case we use $\text{rem}_{H}(G)$ to denote the smallest number of edge deletions needed to turn $G$ into an $H$-free graph. Alon, Sudakov and Shapira [Annals of Math. 2009] proved that if $H$ is not bipartite, then computing $\text{rem}_{H}(G)$ is NP-hard. They left open the problem of classifying the bipartite graphs $H$ for which computing $\text{rem}_{H}(G)$ is NP-hard. In this paper we resolve this problem when $H$ is a forest, showing that computing $\text{rem}_{H}(G)$ is polynomial-time solvable if $H$ is a star forest and NP-hard otherwise. Our main innovation in this work lies in introducing a new graph theoretic approach for Yannakakis's problem, which differs significantly from all prior works on this subject. In particular, we prove new results concerning an old and famous conjecture of Erdős and Sós, which are of independent interest.

Combinatorics,Computational Complexity
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
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.
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
Cooperative colorings of forests

Peter Bradshaw

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

2022-08-18

Abstract:Given a family $\mathcal G$ of graphs spanning a common vertex $V$, a cooperative coloring of $\mathcal G$ is a collection of one independent set from each graph of $\mathcal G$ such that the union of these independent sets equals $V$. We prove that when $d$ is large, there exists a family $\mathcal G$ of $(1+o(1)) \frac{\log d}{\log \log d}$ forests of maximum degree $d$ that admits no cooperative coloring, which significantly improves a result of Aharoni, Berger, Chudnovsky, Havet, and Jiang (Electronic Journal of Combinatorics, 2020). Our family $\mathcal G$ consists entirely of star forests, and we show that this value for $|\mathcal G|$ is asymptotically best possible in the case that $\mathcal G$ is a family of star forests.

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
Vertex decomposability of complexes associated to forests

Anurag Singh

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

2021-01-14

Abstract:In this article, we discuss the vertex decomposability of three well-studied simplicial complexes associated to forests. In particular, we show that the bounded degree complex of a forest and the complex of directed trees of a multidiforest are vertex decomposable. We then prove that the non-cover complex of a forest is either contractible or homotopy equivalent to a sphere. Finally, we provide a complete characterization of forests whose non-cover complexes are vertex decomposable.

Combinatorics
Infinite Ramsey-Minimal Graphs for Star Forests

Fawwaz Fakhrurrozi Hadiputra,Valentino Vito

DOI: https://doi.org/10.1007/s00373-024-02752-1

2024-02-11

Graphs and Combinatorics

Abstract:For graphs F , G , and H , we write if every red-blue coloring of the edges of F produces a red copy of G or a blue copy of H . The graph F is said to be ( G , H )-minimal if it is subgraph-minimal with respect to this property. The characterization problem for Ramsey-minimal graphs is classically done for finite graphs. In 2021, Barrett and the second author generalized this problem to infinite graphs. They asked which pairs ( G , H ) admit a Ramsey-minimal graph and which ones do not. We show that any pair of star forests such that at least one of them involves an infinite-star component admits no Ramsey-minimal graph. Also, we construct a Ramsey-minimal graph for a finite star forest versus a subdivision graph. This paper builds upon the results of Burr et al. (Discrete Math 33:227–237, 1981) on Ramsey-minimal graphs for finite star forests.

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
On a Conjecture of Erd\H os on Size Ramsey Number of Star Forests

Akbar Davoodi,Ramin Javadi,Azam Kamranian,Ghaffar Raeisi

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

2021-11-03

Combinatorics

Abstract:Given graphs $ F_1, F_2$ and $G$, we say that $G$ is Ramsey for $(F_1,F_2)$ and we write $G\rightarrow(F_1, F_2)$, if for every edge coloring of $G$ by red and blue, there is either a red copy of $F_1$ or a blue copy of $F_2$ in $G$. The size Ramsey number $\hat{r}(F_1, F_2)$ is defined as the minimum number of edges of a graph $G$ such that $G\rightarrow(F_1, F_2)$. This paper provides the exact value of $\hat{r}(F_1, F_2)$ for many pairs $(F_1, F_2)$ of star forests, giving a partial solution to a conjecture of Burr et al. (Ramsey-minimal graphs for multiple copies, Indagationes Mathematicae, 81(2) (1978), 187-195).
Largest common subgraph of two forests

Dieter Rautenbach,Florian Werner

2024-03-06

Abstract:A common subgraph of two graphs $G_1$ and $G_2$ is a graph that is isomorphic to subgraphs of $G_1$ and $G_2$. In the largest common subgraph problem the task is to determine a common subgraph for two given graphs $G_1$ and $G_2$ that is of maximum possible size ${\rm lcs}(G_1,G_2)$. This natural problem generalizes the well-studied graph isomorphism problem, has many applications, and remains NP-hard even restricted to unions of paths. We present a simple $4$-approximation algorithm for forests, and, for every fixed $\epsilon\in (0,1)$, we show that, for two given forests $F_1$ and $F_2$ of order at most $n$, one can determine in polynomial time a common subgraph $F$ of $F_1$ and $F_2$ with at least ${\rm lcs}(F_1,F_2)-\epsilon n$ edges. Restricted to instances with ${\rm lcs}(F_1,F_2)\geq cn$ for some fixed positive $c$, this yields a polynomial time approximation scheme. Our approach relies on the approximation of the given forests by structurally simpler forests that are composed of copies of only $O(\log (n))$ different starlike rooted trees and iterative quantizations of the options for the solutions.

Data Structures and Algorithms,Discrete Mathematics,Combinatorics
A star-comb lemma for finite digraphs

Florian Reich

2024-06-06

Abstract:It is well-known that for any set $U$ of vertices in a connected graph $G$ there is either a subdivided star in $G$ with a large number of leaves in $U$, or a comb in $G$ with a large number of teeth in $U$. In this paper we extend this property to directed graphs. More precisely, we prove that for any set $U$ of vertices in a strongly connected directed graph $D$, there exists a strongly connected substructure of $D$ attached to a large number of vertices in $U$ that is either shaped by a star or shaped by a comb.

Combinatorics
Extremal problems for star forests and cliques

Yongchun Lu,Yongchun Lu,Liying Kang

2024-04-09

Abstract:Given a family of graphs $\mathcal{F}$, the Turán number $ex(n, \mathcal{F})$ denotes the maximum number of edges in any $\mathcal{F}$-free graph on $n$ vertices. Recently, Alon and Frankl studied of maximum number of edges in an $n$-vertex $\{K_{k+1}, M_{s+1}\}$-free graph, where $K_{k+1}$ is a complete graph on $k+1$ vertices and $M_{s+1}$ is a matching of $s+1$ edges. They determined the exact value of $ex(n, \{K_{k+1},M_{s+1}\})$. In this paper, we extend the matching $M_{s+1}$ to star forest $(s+1)S_l$, and determine the exact value of $ex(n, \{K_{k+1},(s+1)S_l\})$ for sufficiently large enough $n$. Furthermore, all the extremal graphs are obtained.

Combinatorics
Partitioning a Planar Graph into two Triangle-Forests

Kolja Knauer,Clément Rambaud,Torsten Ueckerdt

2024-10-18

Abstract:We show that the vertices of every planar graph can be partitioned into two sets, each inducing a so-called triangle-forest, i.e., a graph with no cycles of length more than three. We further discuss extensions to locally planar graphs. After finishing the paper we noticed that our main result was already proved much earlier by Carsten Thomassen [Decomposing a Planar Graph into Degenerate Graphs, JCTB 1995].

Combinatorics,Discrete Mathematics
Decomposing highly edge-connected graphs into homomorphic copies of a fixed tree

Martin Merker

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

2016-03-01

Abstract:The Tree Decomposition Conjecture by Barát and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of $T$, then $G$ can be edge-decomposed into subgraphs isomorphic to $T$. So far this conjecture has only been verified for paths, stars, and a family of bistars. We prove a weaker version of the Tree Decomposition Conjecture, where we require the subgraphs in the decomposition to be isomorphic to graphs that can be obtained from $T$ by vertex-identifications. We call such a subgraph a homomorphic copy of $T$. This implies the Tree Decomposition Conjecture under the additional constraint that the girth of $G$ is greater than the diameter of $T$. As an application, we verify the Tree Decomposition Conjecture for all trees of diameter at most 4.

Combinatorics
Extremal Problems on Forest Cuts and Acyclic Neighborhoods in Sparse Graphs

F. Botler,Y. S. Couto,C. G. Fernandes,E. F. de Figueiredo,R. Gómez,V. F. dos Santos,C. M. Sato

2024-11-27

Abstract:Chernyshev, Rauch, and Rautenbach proved that every connected graph on $n$ vertices with less than $\frac{11}{5}n-\frac{18}{5}$ edges has a vertex cut that induces a forest, and conjectured that the same remains true if the graph has less than $3n-6$ edges. We improve their result by proving that every connected graph on $n$ vertices with less than $\frac{9}{4}n$ edges has a vertex cut that induces a forest. We also study weaker versions of the problem that might lead to an improvement on the bound obtained.

Combinatorics,Discrete Mathematics
Induced subgraphs and tree-decompositions VII. Basic obstructions in $H$-free graphs

Tara Abrishami,Bogdan Alecu,Maria Chudnovsky,Sepehr Hajebi,Sophie Spirkl

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

2023-11-08

Abstract:We say a class $\mathcal{C}$ of graphs is clean if for every positive integer $t$ there exists a positive integer $w(t)$ such that every graph in $\mathcal{C}$ with treewidth more than $w(t)$ contains an induced subgraph isomorphic to one of the following: the complete graph $K_t$, the complete bipartite graph $K_{t,t}$, a subdivision of the $(t\times t)$-wall or the line graph of a subdivision of the $(t \times t)$-wall. In this paper, we adapt a method due to Lozin and Razgon (building on earlier ideas of Weißauer) to prove that the class of all $H$-free graphs (that is, graphs with no induced subgraph isomorphic to a fixed graph $H$) is clean if and only if $H$ is a forest whose components are subdivided stars. Their method is readily applied to yield the above characterization. However, our main result is much stronger: for every forest $H$ as above, we show that forbidding certain connected graphs containing $H$ as an induced subgraph (rather than $H$ itself) is enough to obtain a clean class of graphs. Along the proof of the latter strengthening, we build on a result of Davies and produce, for every positive integer $\eta$, a complete description of unavoidable connected induced subgraphs of a connected graph $G$ containing $\eta$ vertices from a suitably large given set of vertices in $G$. This is of independent interest, and will be used in subsequent papers in this series.

Combinatorics
Induced Subforests and Superforests

Dieter Rautenbach,Florian Werner

2024-03-21

Abstract:Graph isomorphism, subgraph isomorphism, and maximum common subgraphs are classical well-investigated objects. Their (parameterized) complexity and efficiently tractable cases have been studied. In the present paper, for a given set of forests, we study maximum common induced subforests and minimum common induced superforests. We show that finding a maximum subforest is NP-hard already for two subdivided stars while finding a minimum superforest is tractable for two trees but NP-hard for three trees. For a given set of $k$ trees, we present an efficient greedy $\left(\frac{k}{2}-\frac{1}{2}+\frac{1}{k}\right)$-approximation algorithm for the minimum superforest problem. Finally, we present a polynomial time approximation scheme for the maximum subforest problem for any given set of forests.

Data Structures and Algorithms,Combinatorics
Forest Cuts in Sparse Graphs

Vsevolod Chernyshev,Johannes Rauch,Dieter Rautenbach

2024-09-26

Abstract:We propose the conjecture that every graph $G$ of order $n$ with less than $3n-6$ edges has a vertex cut that induces a forest. Maximal planar graphs do not have such vertex cuts and show that the density condition would be best possible. We verify the conjecture for planar graphs and show that every graph $G$ of order $n$ with less than $\frac{11}{5}n-\frac{18}{5}$ edges has a vertex cut that induces a forest.

Combinatorics

Decomposition of Geometric Graphs into Star Forests

Star-Forest Decompositions of Complete Graphs

Trimming forests is hard (unless they are made of stars)

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

On Decomposing Graphs Into Forests and Pseudoforests

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

Cooperative colorings of forests

Decompositions into two linear forests of bounded lengths

Vertex decomposability of complexes associated to forests

Infinite Ramsey-Minimal Graphs for Star Forests

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

On a Conjecture of Erd\H os on Size Ramsey Number of Star Forests

Largest common subgraph of two forests

A star-comb lemma for finite digraphs

Extremal problems for star forests and cliques

Partitioning a Planar Graph into two Triangle-Forests

Decomposing highly edge-connected graphs into homomorphic copies of a fixed tree

Extremal Problems on Forest Cuts and Acyclic Neighborhoods in Sparse Graphs

Induced subgraphs and tree-decompositions VII. Basic obstructions in $H$-free graphs

Induced Subforests and Superforests

Forest Cuts in Sparse Graphs