• Abstract and Figures
• Public Full-text

The linear arboricity conjecture for graphs of low degeneracy⋆ Manu Basavaraju1, Arijit Bishnu2, Mathew Francis3, and Drimit Pattanayak2 1 National Institute of Technology Karnataka, Surathkal. Email: [email protected] 2 Indian Statistical Institute, Kolkata. Email: [email protected],[email protected] 3 Indian Statistical Institute, Chennai Centre. Email: [email protected] Abstract. A k-linear coloring of a graph G is an edge coloring of G with k colors so that each color class forms a linear forest—a forest whose each connected component is a path. The linear arboricity ′ χl(G) of G is the minimum integer k such that there exists a k-linear coloring of G. Akiyama, Exoo and ∆ G G χ′ G ( )+1 ∆ G Harary conjectured in 1980 that for every graph , l( ) ≤ l 2 m where ( ) is the maximum degree of G. First, we prove the conjecture for 3-degenerate graphs. This establishes the conjecture for graphs of treewidth at most 3 and provides an alternative proof for the conjecture in some classes of graphs like cubic graphs and triangle-free planar graphs for which the conjecture was already known to ∆ G G χ′ G ( ) ∆ G be true. Next, for every 2-degenerate graph , we show that l( )= l 2 m if ( ) ≥ 5. We conjecture that this equality holds also when ∆(G) ∈ {3, 4} and show that this is the case for some well-known subclasses of 2-degenerate graphs. All our proofs can be converted into linear time algorithms. 1 Introduction All graphs considered in this paper are finite, simple and undirected. For a graph G, we let V (G) and E(G) denote its vertex set and edge set, respectively. The neighborhood of a vertex u in G, denoted by NG(u), is the set {v : uv ∈ E(G)}. We abbreviate it to just N(u) when the graph G is clear from the context. Given a graph G, the degree of a vertex u ∈ V (G) is |N(u)| and is denoted by dG(u). The maximum degree of a graph G, denoted by ∆(G), is defined to be max{dG(u): u ∈ V (G)}. When the graph G under consideration is clear, we sometimes abbreviate ∆(G) to just ∆. For any terms not defined here, please refer [9]. Given a graph G on n vertices and an integer t, an ordering v1, v2,...,vn of the vertices of G such that for each 1 ≤ i ≤ n, |{vj : vj ∈ N(vi) and j >i}| ≤ t is called a t-degeneracy ordering of G. A graph G is said to be t-degenerate if it has a t-degeneracy ordering. Equivalently, a graph G is t-degenerate if every subgraph of G has minimum degree at most t. The class of 2-degenerate and 3-degenerate graphs are well studied in the literature and they contain many well known graph classes — the class of 2-degenerate graphs contains classes like outerplanar graphs and series-parallel graphs (also called partial 2-trees), and the class arXiv:2007.06066v2 [math.CO] 7 Apr 2021 of 3-degenerate graphs contains triangle-free planar graphs and graphs of treewidth at most 3 (also called partial 3-trees). It is not difficult to see that the maximum number of edges possible in a k-degenerate graph k+1 n is kn − 2 , for all n ≥ k, and 2 for all n ≤ k. Note that even though a 3-degenerate graph can contain only as many edges as a planar graph on n vertices—at most 3n − 6 edges (when n ≥ 3)—they contain a large number of non-planar graphs as well. In fact, the class of 2-degenerate graphs itself contains plenty of non-planar graphs, since the graph obtained by subdividing each edge (replace every edge with a path of length 2) of any non-planar graph remains non-planar, but is a 2-degenerate graph. An edge coloring of a graph G using the colors {1, 2,...,k} is a mapping c : E(G) →{1, 2,...,k}. Given an edge coloring using colors {1, 2,...,k}, the color class i, for some i ∈ {1, 2,...,k}, is the set of edges c−1(i)= {e ∈ E(G): c(e)= i}. Graphs without cycles are known as forests. The arboricity of a graph is the minimum integer k such that its edge set can be partitioned into k forests. A linear forest is a forest whose each connected component is ⋆ A preliminary version of this paper [5] appeared in the proceedings of the conference WG 2020. a path. The linear arboricity of a graph is the minimum number of linear forests into which its edge set can be partitioned. A k-linear coloring of a graph G is an edge coloring of G such that each color class is a linear forest. Or in other words, it is an edge coloring in which every vertex has at most two edges of the same color incident with it and there is no cycle in the graph whose edges all receive the same color. The linear arboricity of a ′ graph G is clearly the smallest integer k such that it has a k-linear coloring and is denoted by χl(G). The ′ parameter χl(G) was introduced by Harary [16]. The linear arboricity conjecture, first stated by Akiyama, Exoo and Harary [1], is as follows. Conjecture 1 (Linear Arboricity Conjecture) For every graph G, ∆(G)+1 χ′(G) ≤ . l 2 1.1 Brief history ′ ∆(G) Note that for any graph G, χl(G) ≥ 2 , since in any linear coloring of G, there can be at most 2 edges l m of the same color incident with any vertex. In fact, as noted by Harary [16], if G is a ∆(G)-regular graph, ′ ∆(G)+1 then χl(G) ≥ 2 . The linear arboricity conjecture suggests that this lower bound for regular graphs l m is tight. The conjecture has been proven for all graphs G such that ∆(G) ∈{3, 4, 5, 6, 8, 10} [1,2,11,14] and was shown to be true for planar graphs by Wu and Wu [21,22]. Cygan et al. [8] proved that the linear ∆ arboricity of planar graphs which have ∆ ≥ 10 is 2 . Works of Alon [3], Alon and Spencer [4], and Ferber et al. [12] show that the conjecture holds asymptotically — in particular, for any ǫ > 0 there exists a ∆0 ′ 1 such that χl(G) ≤ ( 2 + ǫ)∆(G) whenever ∆(G) ≥ ∆0. From Vizing’s Theorem [20], which says that any ′ graph can be properly edge colored with ∆ +1 colors, we get that χl(G) ≤ ∆(G)+1 for any graph G. The 3∆ 3∆+2 best known general bound for linear arboricity is 5 when ∆ is even and 5 for ∆ odd, obtained by Guldan [14,15]. ′ ∆(G)+k−1 Kainen [18] showed that χl(G) ≤ 2 for every k-degenerate graph G. This result implies that the linear arboricity conjecture is truel for 2-degeneratem graphs. In fact, a stronger statement is known to be true for 2-degenerate graphs: the “acyclic chromatic index” of 2-degenerate graphs is at most ∆ + 1 [6]. The ′ acyclic chromatic index χa(G) of a graph G is the minimum number of colors required to properly color the edges of G — i.e. no two incident edges get the same color — such that the union of any two color classes is a forest. Since the union of any two color classes in such a coloring will always be a linear forest, we get ′ ′ χa(G) that χl(G) ≤ 2 , and so the linear arboricity conjecture for 2-degenerate graphs follows from the fact l m ′ that for every 2-degenerate graph G, χa(G) ≤ ∆(G) + 1. Although arboricity can be computed in polynomial time [13], computing linear arboricity is NP-hard [19]. ′ ∆ As χl(G) ≥ 2 for any graph G, a 2-factor approximation algorithm for computing linear arboricity can be obtained using Vizing’s Theorem. Cygan et al. [8] showed an O(n log n) algorithm that produces a linear coloring of every planar graph on n vertices with the optimum number of colors when ∆(G) ≥ 9. Duncan, Eppstein and Kobourov [10] gave an O(n) algorithm to construct a 2-linear coloring of a graph of maximum degree 3 using depth-first search. Linear arboricity has applications in File Retrieval Systems [17]. 1.2 Our results We prove the linear arboricity conjecture for 3-degenerate graphs. A consequence of this result is that the linear arboricity conjecture holds for the class of graphs having treewidth at most 3 (also called partial 3-trees). Our method can also serve as an alternative proof for the validity of the linear arboricity conjecture on triangle-free planar graphs, Halin graphs, and cubic graphs, for which the conjecture is already known to be true. 2 ′ ∆(G) Cygan et al. [8] showed that for every planar graph G, χl(G) ≤ 2 , if ∆(G) ≥ 10. This upper bound does not hold for all planar graphs with ∆ ≤ 5 and for the range 6 ≤l ∆ ≤m9, it is open whether every planar ∆ ′ ∆(G) graph has a 2 -linear coloring. We show that every 2-degenerate graph G has χl(G)= 2 if ∆(G) ≥ 5. ′ l m The statement is not true when ∆ ≤ 2, but we conjecture that χl(G) = 2 for every 2-degenerate graph G when ∆(G) ∈ {3, 4}. As evidence towards this conjecture, we prove the existence of 2-linear colorings in various subclasses of 2-degenerate graphs having ∆ ≤ 4. An implication of one of these results is that every 2-degenerate graph on n vertices with maximum degree 4 and having 2n − 3 edges (the maximum possible number of edges) contains a Hamiltonian path.

Load more

  23

Copy Link