JAM Journal of Applied Mathematics 1687-0042 1110-757X Hindawi Publishing Corporation 380861 10.1155/2013/380861 380861 Research Article Some Conclusion on Unique k-List Colorable Complete Multipartite Graphs http://orcid.org/0000-0002-4181-9528 Wang Yanning 1, 2 http://orcid.org/0000-0001-9730-6871 Wang Yanyan 3 Zhang Xuguang 2 Gao Huijun 1 School of Sciences Yanshan University Qinhuangdao, Hebei 066004 China ysu.edu.cn 2 Key Lab of Industrial Computer Control Engineering of Hebei Province Institute of Electrical Engineering Yanshan University Qinhuangdao, Hebei 066004 China ysu.edu.cn 3 School of Economics and Management Yanshan University Qinhuangdao, Hebei 066004 China ysu.edu.cn 2013 8 10 2013 2013 06 03 2013 04 09 2013 11 09 2013 2013 Copyright © 2013 Yanning Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

If a graph G admits a k-list assignment L such that G has a unique L-coloring, then G is called uniquely k-list colorable graph, or UkLC graph for short. In the process of characterizing UkLC graphs, the complete multipartite graphs K1*r,s(r,sN) are often researched. But it is usually not easy to construct the unique k-list assignment of K1*r,s. In this paper, we give some propositions about the property of the graph K1*r,s when it is UkLC, which provide a very significant guide for constructing such list assignment. Then a special example of UkLC graphs K1*r,s as a application of these propositions is introduced. The conclusion will pave the way to characterize UkLC complete multipartite graphs.

1. Introduction

In this section, some definitions and results about list colorings which are referred to throughout the paper are introduced. For the necessary definitions and notation, we refer the reader to standard texts, such as . Following the paper , we use the notation Ks*r(r,sN, N is the set of natural numbers) for a complete r-partite graph in which each part is of size s. Notation such as Ks*r,t,(r,s,tN) is used similarly.

The idea of list colorings of graphs is due, independently, to Vizing  and Erdős et al. . For a graph G=(V,E) and each vertex vV(G), let L(v) denote a list of colors available for v. L={L(v)vV(G)} is said to be a list assignment of G. If |L(v)|=k for all vV(G), then L is called k-list assignment of G. For example, the numbers nearby the vertices in Figure 1 are 2-list assignment of the graph. A list coloring from a given collection of lists is a proper coloring c such that c(v) is chosen from L(v). We will refer to such a coloring as an L-coloring . In Figure 1, the set of circled numbers makes a 2-list coloring of the graph.

The list of graph.

The list coloring model can be used in the channel assignment . The fixed channel allocation scheme leads to low channel utilization across the whole channel. It requires a more effective channel assignment and management policy, which allows unused parts of channel to become available temporarily for other usages so that the scarcity of the channel can be largely mitigated . It is a discrete optimization problem. A model for channel availability observed by the secondary users is introduced in . We abstract each secondary network topology into a graph, where vertices represent wireless users such as wireless lines, WLANs, or cells, and edges represent interferences between vertices. In particular, if two vertices are connected by an edge in the graph, we assume that these two vertices cannot use the same spectrum simultaneously. In addition, we associate with each vertex a set, which represents the available spectra at this location. Due to the differences in the geographical location of each vertex, the sets of spectra of different nodes may be different. Then a list coloring model is constructed.

The research of list coloring consists of two parts: the choosability and the unique list colorability. Some relations between uniquely list colorability and choosability of a graph are presented in . In this paper, we research the unique list colorability of graph.

The concept of unique list coloring was introduced by Dinitz and Martin  and independently by Mahmoodian and Mahdian , which can be used to study defining set of k-coloring  and critical sets in Latin squares . Let G be a graph with n vertices, and suppose that for each vertex v in G, there exists a list of k colors L(v), such that there exists a unique L-coloring for G; then G is called uniquely k-list colorable graph or a UkLC graph for short. It is obvious that the set of circled numbers makes a 2-list coloring of the graph in Figure 2. For a graph G, it is said to have the property M(k) if and only if it is not uniquely k-list colorable graph. So G has the property M(k) if for any collection of lists assigned to its vertices, each of size k, either there is no list coloring for G or there exist two list colorings. Note that the m-number of a graph G, denoted by m(G), is defined to be the least integer k such that G has the property M(k).

The list coloring of graph.

It is clear from the definition of uniquely k-list colorable graphs that each UkLC graph is also a U(k-1)LC graph . That is to say that, a graph which has the property M(k-1) also has the property M(k).

Mahdian and Mahmoodian  characterized uniquely 2-list colorable graphs. They showed the following.

Proposition 1 (see [<xref ref-type="bibr" rid="B5">5</xref>]).

A connected graph has the property M(2) if and only if every block of G is either a cycle, a complete graph, or a complete bipartite graph.

In paper , it is showed that recognizing uniquely k-list colorable graphs is Σ2p-complete for every k3; then uniquely 3-list colorable graphs are unlikely to have a nice characterization. But Ghebleh and Mahmoodian  and He et al.  have characterized the U3LC complete multipartite graphs, and one has the following.

Proposition 2 (see [<xref ref-type="bibr" rid="B14">14</xref>]).

The graphs K3,3,3, K2,4,4, K2,3,5, K2,2,9, K1,2,2,2, K1,1,2,3, K1,1,1,2,2, K1*4,6, K1*5,5, and K1*6,4 are U3LC.

Proposition 3 (see [<xref ref-type="bibr" rid="B16">16</xref>]).

Let G be a complete multipartite graph; then G is U3LC if and only if it has one of the graphs in Proposition 2 as an induced subgraph.

Wang et al.  have characterized U4LC complete multipartite graphs with at least 6 parts except for finitely many of them.

In the process of characterizing UkLC complete multipartite graphs, it is often researched that the property M(k) of complete multipartite graphs has only one part whose size is more than one; that is, K1*r,s  (r,sN). Paper  studied the property M(3) of graphs K1*r,3 and K1,1,1,r. The following was concluded.

Proposition 4 (see [<xref ref-type="bibr" rid="B14">14</xref>]).

For every r2, m(K1*r,3)=m(K1,1,1,r)=3.

The property M(4) of graphs K1*r,5 and K1*5,r is researched in paper , and it is showed the following.

Proposition 5 (see [<xref ref-type="bibr" rid="B19">19</xref>]).

For every r1, K1*5,r and K1*r,5 have the property M(4), and if r5, then m(K1*5,r)=m(K1*r,5)=4.

Conclusions above are generalized by Wang et al.  recently.

Proposition 6 (see [<xref ref-type="bibr" rid="B20">20</xref>]).

For every r1, k2, K1*r,(2k-3) has the property M(k).

Proposition 7 (see [<xref ref-type="bibr" rid="B20">20</xref>]).

For every r1, k2, K1*(2k-3),r has the property M(k).

But there is no other conclusion about what are the maximal numbers r and s such that the graph K1*r,s is a UkLC graph for every k. Besides, the property of list assignment of UkLC graph K1*r,s is still unclear, and there is a lack of the necessary conditions for the UkLC graph K1*r,s. It seems that the larger k is, the more difficult the characterizing UkLC graphs are.

In fact, if we want to proof that some graph K1*r,s is a UkLC graph, we must find a k-list assignment such that there exists a unique list coloring. In general it is not easy to construct such list assignment, and it usually requires a lot of skills. But if some properties of such graphs are known, the construction process perhaps will become easier. In addition, it is hoped that one can obtain some properties of UkLC graph K1*r,s for every k, not only for special k.

In this paper the property of the graph K1*r,s is researched when it is a UkLC graph. The paper is organized as follows. In Section 2, we give some propositions about the property of the graph K1*r,s when it is a UkLC graph. According to these propositions, a special example of UkLC graphs K1*r,s is introduced in Section 3. In Section 4, we discuss the results and give an open problem. The conclusion will pave the way to characterize UkLC complete multipartite graphs.

2. Property of the U<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M141"><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:math></inline-formula>LC Graph <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M142"><mml:mrow><mml:msub><mml:mrow><mml:mi>K</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn><mml:mi>*</mml:mi><mml:mi>r</mml:mi><mml:mo mathvariant="bold">,</mml:mo><mml:mi>s</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula>

In this section, we list some theorems about the property of the graph K1*r,s when it is UkLC, as it is conducive to construct the list assignment of UkLC complete multipartite graphs and characterize the UkLC graphs.

Theorem 8.

For every r1, if K1*r,s is a UkLC graph, then s2 (r,sN).

Proof.

If s=1, K1*r,s=K1*(r+1) has the property M(2) by Proposition 1; so it is not a U2LC graph, nor a UkLC graph which is contradictory to the suppose.

In view of these facts, it is supposed that s2 for a UkLC graph K1*r,s in the following.

In the process of proving Theorem 9, for convenience, the r+1 parts of K1*r,s are denoted by Vi={vi} for i=1,2,,r and Vr+1={vr+1,vr+2,,vr+s}. For the given k-list assignment L: L(vi)={ci,1,ci,2,,ci,k}, i=1,2,,r+s, there is a unique k-list color c: c(vi)=ci,1, i=1,2,,r+s. Furthermore, one has Di={ci,1}, i=1,2,,r; Di¯={ci,2,ci,3,,ci,k}, i=1,2,,r; Dr+1={cr+1,1,cr+2,1,,cr+s,1}; Dr+1¯={cr+1,2,cr+1,3,,cr+1,k,cr+2,2,cr+2,3,,cr+2,k,,cr+s,2,cr+s,3,,cr+s,k}.

Theorem 9.

Suppose that r1, k3, and s3. Suppose that for some r, s, k, K1*r,s is a UkLC graph, and the unique k-list color c from the k-list assignment L is defined as above; then one has the following:

ci,1cj,1, where 1i,jr and ij; ci,1cj,1, where 1ir, r+1jr+s;

|Dr+1|2;

|Dr+1|s-2;

ci,1{cj,2,cj,3,,cj,k}, i,j=r+1,r+2,,r+s;

|i=1r+1Di|=|i=1r+1Di¯| and Di¯jiDi, i,j=1,2,,r+1;

there must be a i (1ir) such that Di¯Dr+1.

Proof.

Let G=K1*r,s.

From the definition of the UkLC graph, this conclusion is obvious.

Suppose that |Dr+1|=1, which means that cr+1,1=cr+2,1==cr+s,1.

Let H=G-Vr+1=K1*r. We introduce a (k-1)-list assignment L to H as follows. For every vertex v in H, if aL(v), then L(v)=L(v){cr+1,1}; otherwise L(v)=L(v){b} where bL(v) and bc(v). Since L induces a list coloring c for G, H has exactly a L-coloring, namely, the restriction of c on H. H=K1*r has the property M(2) by Proposition 1; so it has the property M(k), and we can obtain a new L-coloring of H. From the construction of L, we know that the new L-coloring can be extended to G. Thus, G has a new L-coloring which is different from c which is contradictory to the fact that c is the unique k-list color.

We use the reduction to absurdity.

Case 1. One has |Dr+1|=s which means that cr+1,1,cr+2,1,,cr+s,1 are pairwise different.

Adding new edges between any two vertices in {vr+1,vr+2,,vr+s}, the resulting graph is G=Kr+s. Note that c is also a proper L-coloring of G, and G has the property M(2) by Proposition 1; hence G has the property M(k). So we can obtain another coloring of G, which is also a legal L-coloring for G, which is contradictory to the fact that c is the unique k-list color.

Case 2. One has |Dr+1|=s-1 which means that in {vr+1,vr+2,,vr+s} there are just two vertices assigned a common color, and the others are pairwise different.

Not loss of generality, we say that cr+1,1=cr+2,1 and ck,1 are pairwise different for k=r+3,r+4,,r+s. Adding new edges between any two vertices in {v1,v2,,vr,vr+3,vr+4,,vr+s}, the resulting graph is G′′=Kr+s-2. A (k-1)-list assignment L to G′′ is introduced as follows. For every vertex v in G′′, if cr+1,1L(v), then L(v)=L(v){cr+1,1}; otherwise L(v)=L(v){b} where bL(v) and bc(v). It is obvious that |L(v)|=k-1 for every vV(G′′), and the restriction of c on G′′ is an L-coloring of G′′. Obviously, G′′=K1*(r+s-2) has the property M(2) by the Proposition 1 and the property M(k-1). By the property M(k-1) of G′′, we can obtain a new L-coloring c of G′′, which can be extended to G as follows. For every vertex v in G, if vV(G′′), then c′′(v)=c(v); otherwise c′′(v)=c(v). From the construction of L, it is obvious that c′′ is a new L-coloring of G which is contradictory to the fact that c is the unique k-list color.

In sum, |Dr+1|s-2.

If i=j, then it is obvious that the conclusion is true. If ij, then we suppose that the conclusion is wrong, which means that there are two numbers i0 and j0 such that i0j0 and ci0,1{cj0,2,cj0,3,,cj0,k}. It is clear that ci0,1cj0,1. Let c(vj0)=ci0,1 and let c(vk)=ck,1 for k=1,2,,r+s but kj0. Obviously, c is a new L-coloring of G which is contradictory to the fact that c is the unique k-list color.

Proof by contradiction. Suppose that |i=1r+1Di||i=1r+1Di¯|, and there are i0 and j0 such that 1i0r+s, 2j0k and ci0,j0i=1r+1Di. Let c(vi0)=ci0,j0 and let c(vk)=ck,1 for k=1,2,,r+s but ki0. Obviously c is a new L-coloring of G which is contradictory to the fact that c is the unique k-list color. Then from (3) we know that Di¯jiDi, i,j=1,2,,r+1.

By contradiction. Suppose for every i (1ir) that Di¯Dr+1; then it is obtained that |Di¯Dr+1|1. So we get that |L(vi)Dr+1|2 for every 1ir. Let H=G-Vr+1=K1*r. We introduce a 2-list assignment L to H as follows. For every vertex vi in H, we obtain L(vi) by randomly getting rid of k-2 elements from L(vi) such that L(vi)Dr+1=Φ and |L(vi)|=2, as can be done because |L(vi)Dr+1|2. Since L induces a list coloring c for G, H has exactly one L-coloring, namely, the restriction of c on H. H=K1*r has the property M(2) by Proposition 1; so we can obtain a new L-coloring of H. From the construction of L, we know that the new L-coloring can be extended to G. Thus, G has a new L-coloring which is different from c which is contradictory to the fact that c is the unique k-list color.

3. An Example of U<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M373"><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:math></inline-formula>LC Graphs <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M374"><mml:mrow><mml:msub><mml:mrow><mml:mi>K</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn><mml:mi>*</mml:mi><mml:mi>r</mml:mi><mml:mo mathvariant="bold">,</mml:mo><mml:mi>s</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula>

According the property of UkLC graph in Theorem 9, we construct a list assignment of graph K1*r,s for special r and s and prove that the graph is a UkLC graph in this section.

Theorem 10.

Let M=(k-1)(2k-2k-1) where k2, the graph K1*(2k-2),M is a UkLC graph.

Proof.

For convenience, the (2k-1) parts of K1*(2k-2),M are denoted by Vi={vi} for i=1,2,,2k-2 and V2k-1={u1,u2,,uM}.

Let A={1,2,,2k-2}. We denote all (k-1)-subsets of A by {A1,A2,,Am}, where m=(2k-2k-1). Now consider K1*(2k-2),M with the following k-list of colors on vertices. For i=1,2,,2k-2, L(vi)={i,2k-1,2k,,3k-3}. For every t=1,2,,m, j=1,2,,k-1, L(u(j-1)*m+t)={j+2k-2}At.

For example, when k=3, K1*(2k-2),M=K1*4,12, and the above mentioned k-list assignment L for K1*4,12 is as follows: (1){{1_56},{2_56},{3_56},{4_56},l{5_12,5_13,5_14,5_23,5_24,5_34,6_12,6_13,6_14,6_23,6_24,6_34}}.

Note that the list assignment L makes a total of 3k-3 colors. Since K1*(2k-2),M is a complete (2k-1)-partite graph, the last part V2k-1 can take k-1 colors at the most. From the construction of L, it is obtained obviously that {2k-1,2k,,3k-3} is the unique choice for a k-list coloring from L. Then the Vi  (1i2k-2) must take the color i. In the example above, the colors in the list coloring are marked by underlines. So a unique k-list coloring from L is made and K1*(2k-2),M is a UkLC graph.

Notice that for every r1, k2, K1*(2k-3),r has the property M(k) by Proposition 7. Now the graph K1*(2k-2),M in Theorem 10 is a UkLC graph; so it is wrong with the proposition “for every r1, k2, K1*(2k-2),r has the property M(k)”. Therefore, (2k-3) is the maximal numbers in Proposition 7.

4. Discussion and Some Open Problems

It is not easy to characterize UkLC complete multipartite for any k. In fact, it is a very tricky job to construct a k-list assignment such that there exists a unique list coloring. Theorem 9 provides a direction for constructing such list assignment of K1*r,s, and perhaps it makes construction easier for the researchers. Furthermore, Theorem 9 is true for every k(k2 and kN), and the conclusion is extensive.

It must be noted that the conditions in Theorem 9 are only necessary conditions of K1*r,s for UkLC graph, not sufficient conditions.

Theorem 10 can be regarded as a application of Theorem 9. And from Theorem 10, it is known that (2k-3) is exactly the maximal numbers in Proposition 7. But notice that the number M=(k-1)(2k-2k-1) is not the minimal number for every k in Proposition 7. For example, when k=3, M=12 and K1*4,12 is U3LC according to Theorem 10. In fact K1*4,6 is U3LC by Propositions 2 and 3; so M=12 is not the minimal number for k=3 in Proposition 7. Moreover, it is very likely that for different k the minimal number is different in Proposition 7.

The following problem arises naturally from the work.

Problem. For every k, characterize all minimum number s such that the graph K1*(2k-2),s is a UkLC graph.

Acknowledgments

This research was supported by the National Natural Science Foundation of China (No. 61271409), the China Postdoctoral Science Foundation (No. 2012M510768, No. 2013T60264), and a grant from the Science and Technology Research and Development Program of Qinhuangdao (No. 201001A151).

Bollobás B. Modern Graph Theory 2001 Bejing, China Science Publishing Co. Eslahchi Ch. Ghebleh M. Hajiabolhassan H. Some concepts in list coloring Journal of Combinatorial Mathematics and Combinatorial Computing 2002 41 151 160 MR1899929 ZBL1043.05046 Vizing V. G. Coloring the vertices of a graph in prescribed colors Diskretnyi Analiz 1976 101 29 3 10 MR0498216 Erdős P. Rubin A. L. Taylor H. Choosability in graphs 26 Proceedings of the West Coast Conference on Combinatorics, Graph Theory and Computing 1979 125 157 MR593902 Mahdian M. Mahmoodian E. S. A characterization of uniquely 2-list colorable graphs Ars Combinatoria 1999 51 295 305 MR1675193 Wang W. Liu X. List-coloring based channel allocation for open-spectrum wireless networks Proceedings of the IEEE International Conference on Vehicular Technology (VTC '05) 2005 690 694 Hao D. Zou S. Cheng S. Heuristic algorithms for dynamic spectrum assignment in open spectrum system Journal of Software 2008 19 3 479 491 Peng C. Zheng H. Zhao B. Y. Utilization and fairness in spectrum assignment for opportunistic spectrum access Mobile Networks and Applications 2006 11 4 555 576 Akbari S. Mirrokni V. S. Sadjad B. S. A relation between choosability and uniquely list colorability Journal of Combinatorial Theory. Series B 2006 96 4 577 583 10.1016/j.jctb.2005.12.001 MR2232393 ZBL1100.05032 Dinitz J. H. Martin W. J. The stipulation polynomial of a uniquely list-colorable graph The Australasian Journal of Combinatorics 1995 11 105 115 MR1327324 ZBL0826.05025 Mahmoodian E. S. Mahdian M. On the uniquely list colorable graphs 377 Proceedings of the 28th Annual Iranian Mathematics Conference 1997 319 326 MR1625324 Mahmoodian E. S. Naserasr R. Zaker M. Defining sets in vertex colorings of graphs and Latin rectangles Discrete Mathematics 1997 167-168 451 460 10.1016/S0012-365X(96)00247-6 MR1446764 ZBL0879.05028 Keedwell A. D. Critical sets for Latin squares, graphs and block designs: a survey Congressus Numerantium 1996 113 231 245 MR1393712 ZBL0955.05019 Ghebleh M. Mahmoodian E. S. On uniquely list colorable graphs Ars Combinatoria 2001 59 307 318 MR1832463 ZBL1066.05063 Marx D. Complexity of unique list colorability Theoretical Computer Science 2008 401 1–3 62 76 10.1016/j.tcs.2008.03.018 MR2431825 ZBL1146.05314 Shen Y. Wang Y. He W. Zhao Y. On uniquely list colorable complete multipartite graphs Ars Combinatoria 2008 88 367 377 MR2429150 ZBL1224.05188 He W. Shen Y. Zhao Y. Wang Y. Ma X. On property M(3) of some complete multipartite graphs The Australasian Journal of Combinatorics 2006 35 2 211 220 MR2239316 ZBL1097.05019 Zhao Y. He W. Shen Y. Wang Y. Note on characterization of uniquely 3-list colorable complete multipartite graphs Discrete Geometry, Combinatorics and Graph Theory 2007 4381 Berlin, Germany Springer 278 287 Lecture Notes in Computer Science 10.1007/978-3-540-70666-3_30 MR2364772 ZBL1149.05312 Wang Y. Shen Y. Zheng G. He W. On uniquely 4-list colorable complete multipartite graphs Ars Combinatoria 2009 93 203 214 MR2568835 ZBL1224.05194 Wang Y. Wang Y. Zhang X. Note on property M(k) of some complete multipartite graphs submitted