The 6-Girth-Thickness of the Complete Graph Arxiv:1709.07466V4
Total Page:16
File Type:pdf, Size:1020Kb
The 6-girth-thickness of the complete graph Hector´ Castaneda-L~ opez´ y Pablo C. Palomino z Andrea B. Ramos-Tort z Christian Rubio-Montiel x Claudia Silva-Ruiz z May 20, 2019 Abstract The g-girth-thickness θ(g; G) of a graph G is the minimum number of planar sub- graphs of girth at least g whose union is G. In this paper, we determine the 6-girth- thickness θ(6;Kn) of the complete graph Kn in almost all cases. And also, we calculate by computer the missing value of θ(4;Kn). Keywords: Thickness, planar decomposition, complete graph, girth. 2010 Mathematics Subject Classification: 05C10. arXiv:1709.07466v4 [math.CO] 17 May 2019 1 Introduction In this paper, all graphs are finite and simple. A graph in which any two vertices are adjacent is called a complete graph and it is denoted by Kn if it has n vertices. If a graph can be drawn yFacultad de Ciencias, Universidad Aut´onoma del Estado de M´exico, 50000, Toluca, Mexico, [email protected]. zFacultad de Ciencias, Universidad Nacional Aut´onoma de M´exico, 04510, Mexico City, Mexico, [pablop96|ramos tort|callame]@ciencias.unam.mx. xDivisi´onde Matem´aticase Ingenier´ıa,FES Acatl´an,Universidad Nacional Aut´onomade M´exico,53150, Naucalpan, Mexico, [email protected]. 1 in the Euclidean plane such that no inner point of its edges is a vertex or lies on another edge, then the graph G is called planar. The girth of a graph is the size of its shortest cycle or if it is acyclic. It is known that an acyclic graph of order n has size at most n 1 and a planar1 graph of order n and finite girth g has size at most g (n 2), see [8]. − g−2 − The thickness θ(G) of a graph G is the minimum number of planar subgraphs whose union is G. Equivalently, it is the minimum number of colors used in any edge coloring of G such that each set of edges in the same chromatic class induces a planar subgraph. The concept of the thickness was introduced by Tutte [19]. The problem to determine the thickness of a graph G is NP-hard [15], and only a few of exact results are known, for instance, when G is a complete graph [2, 5, 6], a complete multipartite graph [7, 11, 18, 21, 22] or a hypercube [14]. Generalizations of the thickness for the complete graphs also have been studied such that the outerthickness θo, defined similarly but with outerplanar instead of planar [12], and the S- thickness θS, considering the thickness on a surface S instead of the plane [4]. The thickness has many applications, for example, in the design of circuits [1], in the Ringel's earth-moon problem [13], or to bound the achromatic numbers of planar graphs [3]. See also [16]. In [17], the g-girth-thickness θ(g; G) of a graph G was defined as the minimum number of planar subgraphs of girth at least g whose union is G. Indeed, the g-girth thickness generalizes the thickness when g = 3 and the arboricity number when g = . 1 This paper is organized as follows. In Section 2, we obtain the 6-girth-thickness θ(6;Kn) n+2 of the complete graph Kn getting that θ(6;Kn) equals , except for n = 3t + 1, t 4 3 ≥ and n = 2, for which θ(6;K2) = 1. In Section 3, we show that there exists a set of 3 6 planar triangle-free subgraphs of K10 whose union is K10. The decomposition was found by computer and, as a consequence, we disproved the conjecture that appears in [17] about the missing case of the 4-girth-thickness of the complete graph. 2 Determining θ(6;Kn) A planar graph of n vertices with girth at least 6 has size at most 3(n 2)=2 for n 6 and − ≥ size at most n 1 for 1 n 5, therefore, the 6-girth-thickness θ(6;Kn) of the complete − ≤ ≤ graph Kn is at least n(n 1) n + 1 2 n + 2 − = + = 3(n 2) 3 3n 6 3 − − for n 6, as well as, n+2 for n 1; 3; 4; 5 . We have the following theorem. ≥ 3 2 f g n+2 Theorem 2.1. The 6-girth-thickness θ(6;Kn) of Kn is equal to 3 except possibly when n = 3t + 1, for t 4, and n = 2 for which θ(6;K2) = 1. ≥ 6 2 Proof. To begin with, Figure 1 displays equality for n = 2; 4; 7; 10 with θ(6;Kn) = 1; 2; 3; 4, respectively. The rest of the cases for 1 n 10 are obtained by the hereditary property of ≤ ≤ the induced subgraphs. We remark that the decomposition of K10 was found by computer using the database of the connected planar graphs of order 10 that appears in [9]. a) 1 b) 1 2 2 3 2 4 3 1 4 c) 2 3 3 4 1 2 7 7 7 1 2 6 4 5 3 6 5 1 6 5 4 d) 5 5 1 6 1 4 7 3 6 4 1 8 4 8 9 9 8 3 5 1 10 10 7 5 10 2 2 9 9 2 2 6 4 3 7 3 6 7 10 8 Figure 1: A decomposition of Kn into θ(6;Kn) planar subgraphs of girth at least 6: a) for n = 2, b) for n = 4, c) for n = 7 and d) for n = 10. Now, we need to distinguish two main cases, namely, when t is even or t is odd for n = 3t, that is, when n = 6k and n = 6k + 3 for k 2. The cases n = 6k 1 and n = 6k + 2, i.e., for n = 3t + 1, are obtained by the hereditary≥ property of the induced− subgraphs, that is, since K6k−1 K6k and K6k+2 K6k+3, we have ⊂ ⊂ 2k + 1 θ(6;K6k−1) θ(6;K6k) and ≤ ≤ 2k + 2 θ(6;K6k+2) θ(6;K6k+3), respectively. ≤ ≤ Therefore, the case of n = 6k shows a decomposition of K6k into 2k + 1 planar subgraphs of girth at least 6, while the case of n = 6k+3 shows a decomposition of K6k+3 into 2k+2 planar subgraphs of girth at least 6. Both constructions are based on the planar decomposition of K6k of Beineke and Harary [5] (see also [2, 6, 20]) but we use the combinatorial approach 3 given in [3]. Then, for the sake of completeness, we give a decomposition of K6k in order to obtain its usual thickness. In the remainder of this proof, all sums are taken modulo 2k. We recall that complete graphs of even order 2k are decomposable into a cyclic factorization of Hamiltonian paths, see [10]. Let Gx be a complete graph of order 2k, label its vertex set x x V (G ) as x1; x2; : : : ; x2k and let be the Hamiltonian path with edges f g Fi xixi+1; xi+1xi−1; xi−1xi+2; xi+2xi−2; : : : ; xi+k+1xi+k; x x x for all i 1; 2; : : : ; k . The partition E( 1 );E( 2 );:::;E( k ) is such factorization of x 2 f g x f F Fx F g G . We remark that the center of i has the edge ei = xi+ k xi+ 3k , see Figure 2. F d 2 e d 2 e a) b) xi+1 xi+1 xi xi xi 1 xi 1 − − xi+ k 1 d 2 e− x k x k i+ 2 1 i+ d e− d 2 e x k i+ 2 x 3k x 3k i+ d e i+ 2 +1 d 2 e d e x 3k x 3k i+ 2 1 i+ d e− d 2 e xi+k 1 xi+k 1 − − x i+k xi+k xi+k+1 xi+k+1 x x Figure 2: The Hamiltonian path i : Left a) The edge ei in bold for k odd. Right b) The x F edge ei in bold for k even. u v w Let G , G and G be the complete subgraphs of K6k having 2k vertices each of them and w u v u v w such that G is K6k (V (G ) V (G )). The vertices of V (G ), V (G ) and V (G ) are labeled n [ as u1; u2; : : : ; u2k , v1; v2; : : : ; v2k and w1; w2; : : : ; w2k , respectively. f g f g f g x x x Let x be an element of u; v; w . Take the cyclic factorization E( 1 );E( 2 );:::;E( k ) x f g f F F x F g of G into Hamiltonian paths and denote as Px and Px the subpaths of containing k i i+k Fi vertices and the leaves xi and xi+k, respectively. We define the other leaves of Pxi and Pxi+k as f(xi) and f(xi+k), respectively and according to the parity of k, that is (see Figure 2), 8 8 <x 3k if k is odd, <x k if k is odd, i+ 2 i+ 2 f(xi) = d e and f(xi+k) = d e :xi+ k if k is even. :xi+ 3k if k is even. d 2 e d 2 e We remark that the set of edges xixi+k : 1 i k is the same set of edges that f ≤ ≤ g f(xi)f(xi+k): 1 i k .