- Email: [email protected]
On the packing chromatic number of Cartesian products, hexagonal lattice, and trees
Electronic Notes in Discrete Mathematics 29 (2007) 237–241 www.elsevier.com/locate/endm
On the packing chromatic number of Cartesian products, hexagonal lattice, and trees Boˇstjan Breˇsar 1,2 FEECS, University of Maribor, Slovenia
Sandi Klavˇzar Department of Mathematics and Computer Science, University of Maribor, Slovenia
Douglas F. Rall Department of Mathematics, Furman University, Greenville, SC, USA
Abstract The packing chromatic number χρ (G) of a graph G is the smallest integer k such that the vertex set of G can be partitioned into k packings with pairwise different widths. Several lower and upper bounds are obtained for the packing chromatic number of Cartesian products of graphs. It is proved that the packing chromatic number of the infinite hexagonal lattice lies between 6 and 8. Optimal lower and upper bounds are proved for subdivision graphs. Trees are also considered and monotone colorings are introduced. Keywords: Packing chromatic number, Cartesian product of graphs, Hexagonal lattice, Subdivision graph, Tree
1571-0653/$ – see front matter © 2007 Elsevier B.V. All rights reserved. doi:10.1016/j.endm.2007.07.040
238
1
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
Introduction
Let G = (V (G), E(G)) be a graph and let d be a positive integer. Then X ⊆ V (G) is a d-packing if vertices of X are pairwise at distance more than d. The integer d is called the width of the packing X. For instance, packings of width 1 are precisely the independent sets of G and those of width 2 correspond to the centers of pairwise disjoint closed neighborhoods in G. Note that if X is a packing of width d, then X is also a packing of width d − 1. Several applications of packings were proposed, for instance in resource placement in communication networks and error-correcting codes, cf. [6]. Consider now the following optimization problem. For a graph G find the smallest integer k such that V (G) can be partitioned into k packings X1 , . . . , Xk with pairwise different widths. Since such a partition has packings of k distinct widths and because the objective is to minimize k, we can assume that Xi is an i-packing for each i. (Of course, ∪ki=1 Xi = V (G).) We call the integer k the packing chromatic number of G and denote it χρ (G). Throughout the paper, packing colorings will be shortly called colorings. A (packing) coloring of G of size χρ (G) will be called a χρ (G)-coloring. The concept of the packing chromatic number was introduced for the first time by Goddard et al in [3] under the name broadcast chromatic number where an application to frequency assignments was indicated. We believe that the concept could have several additional applications, as for instance in resource placements and biological diversity. Moreover, the concept is both a packing and a coloring (i.e., a partitioning) concept. Hence, we decided to use “packing chromatic number” instead. A special type of packing chromatic number, called eccentric chromatic number, has been studied for trees by Sloper [9]. He proved that the infinite 3-regular tree has packing chromatic number 7. In [3] it was shown that for the infinite grid G, χρ (G) ≤ 22. The authors in addition asked what is the packing chromatic number of the hexagonal lattice.
2
Cartesian products
The Cartesian product G H of graphs G and H is the graph with vertex set V (G) × V (H), vertices (g, h) and (g , h ) being adjacent whenever gg ∈ E(G) and h = h , or g = g and hh ∈ E(H). 1
Supported by the Ministry of Science of Slovenia under the grant P1-0297. The author is also with the Institute of Mathematics, Physics and Mechanics, Jadranska 19, 1000 Ljubljana. 2 Email: [email protected]
239
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
Theorem 2.1 Let G and H be connected graphs on at least two vertices. Then χρ (G H) ≥ (χρ (G) + 1)|H| − diam(G H)(|H| − 1) − 1 . Corollary 2.2 Let n ≥ 2. Then for any graph G, χρ (G Kn ) ≥ nχρ (G) − (n − 1)diam(G) . For n = 2 Corollary 2.2 reduces to [3, Proposition 7.1]. We also consider upper bounds for χρ (G H) and in general we could obtain: χρ (G H) ≤ |G||H| − α(G H) + 1
(1) and ask the following.
Problem 2.3 Let G and H be graphs. Is it then true that χρ (G H) ≤ max{χρ (G)|H|, χρ (H)|G|} ? Note that if one of the factor graphs is complete, the answer is positive. Indeed, suppose G is complete, then χρ (G) = |G| and hence |H| · χρ (G) = |H||G|.
3
Hexagonal lattice
The hexagonal lattice plays a central role in many network applications, as for instance in frequency assignments [2,10,11].
6 3
4 2
3
3
2
2
3
3 6
3
2
5
4 2
6 5
2
7
5 2
3
3 6
3
2
2
4 2
6
3
4
3 5
2
3
2 3
2
2
8
3 6
2 3 3
2
5 2
3
4 2
6
3
2 3
2 3
2
7
3
2
8
4 2
5
3
2
3
5
3
7
3
2
8 2
6 2
4
3
2
4 2
3
3
2 3
2
6
3
2 3
5
3
2 3
2 3
4
7
3
2 3
2
5 2
8
8
3
2 3
2 3
2
4
4
3
3 6
3
2
6
3
2
6
5
2
7
3
2
7
3
5
3
2
5
2
8
3
2
4 2
3
Theorem 3.1 Let H be the infinite hexagonal lattice. Then 6 ≤ χρ (H) ≤ 8.
240
4
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
Subdivisions
The subdivision graph S(G) of a graph G is obtained from G by subdividing every edge of G. Then V (S(G)) = V (G) ∪ E(G). It was observed in [3, Proposition 3.2] that for a connected bipartite graph G with at least two edges, χρ (S(G)) = 3. In this section we consider the subdivision graph of an arbitrary graph. To deal with the general case, complete graphs are treated first. Lemma 4.1 For any n ≥ 3, χρ (S(Kn )) = n + 1. Note that for n = 2 the above lemma does not hold since χρ (S(K2 )) = 2. Theorem 4.2 For any connected graph G with at least 3 vertices, ω(G) + 1 ≤ χρ (S(G)) ≤ χρ (G) + 1 . Moreover, the bounds are best possible.
5
Trees and monotone colorings
Goddard et al in [3] ask what is the computational complexity of the coloring on trees, more precisely, whether the problem is polynomial? We present a few observations that do not support the positive answer of this question (yet, we could not prove that it is an NP-complete problem). Let G be a graph. For a coloring c : V (G) → {1, . . . , k}, and a color m, 1 ≤ m ≤ k, we denote by cm the cardinality of the class of vertices, colored by m, that is cm = |c−1 (m)|. Since the size of the largest k-packing in a graph is a decreasing function of k, the following definition is natural. A χρ (G)-coloring is monotone if c1 ≥ c2 ≥ · · · ≥ ck . At the first sight it seems plausible that any graph admits a monotone coloring. In fact, the following can be proved. Proposition 5.1 For any graph G and any m, where m ≤ χρ2(G) , there exists a χρ (G)-coloring c : V (G) → {1, . . . , k}, such that cm ≥ cn for all n ≥ 2m. However, we found a tree in which no optimal coloring is monotone. In fact, we found a family of trees Tk such that for any k ≥ 2, χρ (Tk ) = 3, and there exists a unique optimal coloring of Tk with c1 = k + 5, c2 = 2, c3 = k + 1. In particular, c3 > c2 .
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
241
Another desirable (and useful) property of an optimal coloring of a tree would be that the leaves are colored by 1 (with the possible exception if the leaf is a unique leaf-neighbor of its support vertex). However, we constructed a tree T in which there is a support vertex w of two leaves such that in any χρ (T )-coloring w is colored by 1, and the leaves by 2 and 3.
References [1] B. Breˇsar and B. Zmazek, On the independence graph of a graph, Discrete Math. 272 (2003) 263–268. [2] S. Fitzpatrick, J. Janssen, and R. Nowakowski, Distributive online channel assignment for hexagonal cellular networks with constraints, Discrete Appl. Math. 143 (2004) 84–91. [3] W. Goddard, S.M. Hedetniemi, S.T. Hedetniemi, J.M. Harris, D.F. Rall, Broadcast chromatic numbers of graphs, Ars Combin., in press. [4] J. Hagauer and S. Klavˇzar, On independence numbers of the Cartesian product of graphs, Ars Combin. 43 (1996) 149–157. [5] W. Imrich and S. Klavˇzar, Product Graphs: Structure and Recognition, WileyInterscience, New York, 2000. [6] P.K. Jha, Perfect r-domination in the Kronecker product of three cycles, IEEE Trans. Circuits Systems I Fund. Theory Appl. 49 (2002) 89–92. [7] S. Klavˇzar, Some new bounds and exact results on the independence number of Cartesian product graphs, Ars Combin. 74 (2005) 173–186. [8] S.P. Martin, J.S. Powell, and D.F. Rall, On the independence number of the Cartesian product of caterpillars, Ars Combin. 60 (2001) 73–84. [9] C. Sloper, An eccentric coloring of trees, Australas. J. Combin. 29 (2004) 309– 321. ˇ ˇ [10] P. Sparl and J. Zerovnik, 2-local 5/4-competitive algorithm for multicoloring triangle-free hexagonal graphs, Inform. Process. Lett. 90 (2004) 239–246. [11] K.S. Sudeep and S. Vishwanathan, A technique for multicoloring triangle-free hexagonal graphs, Discrete Math. 300 (2005) 256–259. [12] V.G. Vizing, Cartesian product of graphs, Vychisl. Sistemy (in Russian) 9 (1963) 30–43. English translation: Comp. El. Syst. 2 (1966) 352–365.
On the packing chromatic number of Cartesian products, hexagonal lattice, and trees Boˇstjan Breˇsar 1,2 FEECS, University of Maribor, Slovenia
Sandi Klavˇzar Department of Mathematics and Computer Science, University of Maribor, Slovenia
Douglas F. Rall Department of Mathematics, Furman University, Greenville, SC, USA
Abstract The packing chromatic number χρ (G) of a graph G is the smallest integer k such that the vertex set of G can be partitioned into k packings with pairwise different widths. Several lower and upper bounds are obtained for the packing chromatic number of Cartesian products of graphs. It is proved that the packing chromatic number of the infinite hexagonal lattice lies between 6 and 8. Optimal lower and upper bounds are proved for subdivision graphs. Trees are also considered and monotone colorings are introduced. Keywords: Packing chromatic number, Cartesian product of graphs, Hexagonal lattice, Subdivision graph, Tree
1571-0653/$ – see front matter © 2007 Elsevier B.V. All rights reserved. doi:10.1016/j.endm.2007.07.040
238
1
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
Introduction
Let G = (V (G), E(G)) be a graph and let d be a positive integer. Then X ⊆ V (G) is a d-packing if vertices of X are pairwise at distance more than d. The integer d is called the width of the packing X. For instance, packings of width 1 are precisely the independent sets of G and those of width 2 correspond to the centers of pairwise disjoint closed neighborhoods in G. Note that if X is a packing of width d, then X is also a packing of width d − 1. Several applications of packings were proposed, for instance in resource placement in communication networks and error-correcting codes, cf. [6]. Consider now the following optimization problem. For a graph G find the smallest integer k such that V (G) can be partitioned into k packings X1 , . . . , Xk with pairwise different widths. Since such a partition has packings of k distinct widths and because the objective is to minimize k, we can assume that Xi is an i-packing for each i. (Of course, ∪ki=1 Xi = V (G).) We call the integer k the packing chromatic number of G and denote it χρ (G). Throughout the paper, packing colorings will be shortly called colorings. A (packing) coloring of G of size χρ (G) will be called a χρ (G)-coloring. The concept of the packing chromatic number was introduced for the first time by Goddard et al in [3] under the name broadcast chromatic number where an application to frequency assignments was indicated. We believe that the concept could have several additional applications, as for instance in resource placements and biological diversity. Moreover, the concept is both a packing and a coloring (i.e., a partitioning) concept. Hence, we decided to use “packing chromatic number” instead. A special type of packing chromatic number, called eccentric chromatic number, has been studied for trees by Sloper [9]. He proved that the infinite 3-regular tree has packing chromatic number 7. In [3] it was shown that for the infinite grid G, χρ (G) ≤ 22. The authors in addition asked what is the packing chromatic number of the hexagonal lattice.
2
Cartesian products
The Cartesian product G H of graphs G and H is the graph with vertex set V (G) × V (H), vertices (g, h) and (g , h ) being adjacent whenever gg ∈ E(G) and h = h , or g = g and hh ∈ E(H). 1
Supported by the Ministry of Science of Slovenia under the grant P1-0297. The author is also with the Institute of Mathematics, Physics and Mechanics, Jadranska 19, 1000 Ljubljana. 2 Email: [email protected]
239
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
Theorem 2.1 Let G and H be connected graphs on at least two vertices. Then χρ (G H) ≥ (χρ (G) + 1)|H| − diam(G H)(|H| − 1) − 1 . Corollary 2.2 Let n ≥ 2. Then for any graph G, χρ (G Kn ) ≥ nχρ (G) − (n − 1)diam(G) . For n = 2 Corollary 2.2 reduces to [3, Proposition 7.1]. We also consider upper bounds for χρ (G H) and in general we could obtain: χρ (G H) ≤ |G||H| − α(G H) + 1
(1) and ask the following.
Problem 2.3 Let G and H be graphs. Is it then true that χρ (G H) ≤ max{χρ (G)|H|, χρ (H)|G|} ? Note that if one of the factor graphs is complete, the answer is positive. Indeed, suppose G is complete, then χρ (G) = |G| and hence |H| · χρ (G) = |H||G|.
3
Hexagonal lattice
The hexagonal lattice plays a central role in many network applications, as for instance in frequency assignments [2,10,11].
6 3
4 2
3
3
2
2
3
3 6
3
2
5
4 2
6 5
2
7
5 2
3
3 6
3
2
2
4 2
6
3
4
3 5
2
3
2 3
2
2
8
3 6
2 3 3
2
5 2
3
4 2
6
3
2 3
2 3
2
7
3
2
8
4 2
5
3
2
3
5
3
7
3
2
8 2
6 2
4
3
2
4 2
3
3
2 3
2
6
3
2 3
5
3
2 3
2 3
4
7
3
2 3
2
5 2
8
8
3
2 3
2 3
2
4
4
3
3 6
3
2
6
3
2
6
5
2
7
3
2
7
3
5
3
2
5
2
8
3
2
4 2
3
Theorem 3.1 Let H be the infinite hexagonal lattice. Then 6 ≤ χρ (H) ≤ 8.
240
4
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
Subdivisions
The subdivision graph S(G) of a graph G is obtained from G by subdividing every edge of G. Then V (S(G)) = V (G) ∪ E(G). It was observed in [3, Proposition 3.2] that for a connected bipartite graph G with at least two edges, χρ (S(G)) = 3. In this section we consider the subdivision graph of an arbitrary graph. To deal with the general case, complete graphs are treated first. Lemma 4.1 For any n ≥ 3, χρ (S(Kn )) = n + 1. Note that for n = 2 the above lemma does not hold since χρ (S(K2 )) = 2. Theorem 4.2 For any connected graph G with at least 3 vertices, ω(G) + 1 ≤ χρ (S(G)) ≤ χρ (G) + 1 . Moreover, the bounds are best possible.
5
Trees and monotone colorings
Goddard et al in [3] ask what is the computational complexity of the coloring on trees, more precisely, whether the problem is polynomial? We present a few observations that do not support the positive answer of this question (yet, we could not prove that it is an NP-complete problem). Let G be a graph. For a coloring c : V (G) → {1, . . . , k}, and a color m, 1 ≤ m ≤ k, we denote by cm the cardinality of the class of vertices, colored by m, that is cm = |c−1 (m)|. Since the size of the largest k-packing in a graph is a decreasing function of k, the following definition is natural. A χρ (G)-coloring is monotone if c1 ≥ c2 ≥ · · · ≥ ck . At the first sight it seems plausible that any graph admits a monotone coloring. In fact, the following can be proved. Proposition 5.1 For any graph G and any m, where m ≤ χρ2(G) , there exists a χρ (G)-coloring c : V (G) → {1, . . . , k}, such that cm ≥ cn for all n ≥ 2m. However, we found a tree in which no optimal coloring is monotone. In fact, we found a family of trees Tk such that for any k ≥ 2, χρ (Tk ) = 3, and there exists a unique optimal coloring of Tk with c1 = k + 5, c2 = 2, c3 = k + 1. In particular, c3 > c2 .
B. Brešar et al. / Electronic Notes in Discrete Mathematics 29 (2007) 237–241
241
Another desirable (and useful) property of an optimal coloring of a tree would be that the leaves are colored by 1 (with the possible exception if the leaf is a unique leaf-neighbor of its support vertex). However, we constructed a tree T in which there is a support vertex w of two leaves such that in any χρ (T )-coloring w is colored by 1, and the leaves by 2 and 3.
References [1] B. Breˇsar and B. Zmazek, On the independence graph of a graph, Discrete Math. 272 (2003) 263–268. [2] S. Fitzpatrick, J. Janssen, and R. Nowakowski, Distributive online channel assignment for hexagonal cellular networks with constraints, Discrete Appl. Math. 143 (2004) 84–91. [3] W. Goddard, S.M. Hedetniemi, S.T. Hedetniemi, J.M. Harris, D.F. Rall, Broadcast chromatic numbers of graphs, Ars Combin., in press. [4] J. Hagauer and S. Klavˇzar, On independence numbers of the Cartesian product of graphs, Ars Combin. 43 (1996) 149–157. [5] W. Imrich and S. Klavˇzar, Product Graphs: Structure and Recognition, WileyInterscience, New York, 2000. [6] P.K. Jha, Perfect r-domination in the Kronecker product of three cycles, IEEE Trans. Circuits Systems I Fund. Theory Appl. 49 (2002) 89–92. [7] S. Klavˇzar, Some new bounds and exact results on the independence number of Cartesian product graphs, Ars Combin. 74 (2005) 173–186. [8] S.P. Martin, J.S. Powell, and D.F. Rall, On the independence number of the Cartesian product of caterpillars, Ars Combin. 60 (2001) 73–84. [9] C. Sloper, An eccentric coloring of trees, Australas. J. Combin. 29 (2004) 309– 321. ˇ ˇ [10] P. Sparl and J. Zerovnik, 2-local 5/4-competitive algorithm for multicoloring triangle-free hexagonal graphs, Inform. Process. Lett. 90 (2004) 239–246. [11] K.S. Sudeep and S. Vishwanathan, A technique for multicoloring triangle-free hexagonal graphs, Discrete Math. 300 (2005) 256–259. [12] V.G. Vizing, Cartesian product of graphs, Vychisl. Sistemy (in Russian) 9 (1963) 30–43. English translation: Comp. El. Syst. 2 (1966) 352–365.