JAM Journal of Applied Mathematics 1687-0042 1110-757X Hindawi Publishing Corporation 10.1155/2016/5327026 5327026 Research Article On Graceful Spider Graphs with at Most Four Legs of Lengths Greater than One http://orcid.org/0000-0001-5952-7606 Panpa A. 1 Poomsa-ard T. 1 Chen Zhi-Zhong Department of Mathematics Faculty of Science Udon Thani Rajabhat University Udon Thani 41000 Thailand udru.ac.th 2016 23112016 2016 15 08 2016 02 11 2016 23112016 2016 Copyright © 2016 A. Panpa and T. Poomsa-ard. 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.

A graceful labeling of a tree T with n edges is a bijection f:V(T){0,1,2,,n} such that {|f(u)-f(v)|:uvE(T)} equal to {1,2,,n}. A spider graph is a tree with at most one vertex of degree greater than 2. We show that all spider graphs with at most four legs of lengths greater than one admit graceful labeling.

Udon Thani Rajabhat University
1. Introduction

Labeled graphs form useful models for a wide range of disciplines and applications such as in coding theory, X-ray crystallography, radar, astronomy, circuit design, and communication network addressing . A systematic presentation of diverse applications of graph labeling is presented in .

A graceful labeling f of a tree T is a bijective function from the set of vertices V(T) of T to the set {0,1,2,,|E(T)|} such that when each edge xy is assigned the label |f(x)-f(y)|, the resulting edge labels are distinct. A tree which admits graceful labeling is called a graceful tree. In 1964, Ringel and Rosa (see [3, 4]) gave the famous and unsolved “graceful tree conjecture” which stated that all trees are graceful.

A spider graph is a tree with at most one vertex of degree greater than 2. Gallian  has noted that the special case of this conjecture regarding spider graphs is still open and that very few classes of spider graphs are known to be graceful. Huang et al.  proved that all spider graphs with three or four legs are graceful. Bahls et al.  also proved that every spider graph in which the lengths of any two of its legs differ by at most one is graceful. Jampachon et al.  have also proven that Sn(k,l,m) is graceful, if n is large enough, where Sn(k,l,m) is defined in Section 3.

In this paper, we prove that all spider graphs with at most four legs of lengths greater than one are graceful.

2. Preliminaries

Let T be a tree with n edges. A graceful labeling of T is a bijection f:V(T){0,1,2,,n} such that when each edge xy is assigned the label |f(u)-f(v)|, the edge label set is equal to {1,2,,n}. A tree which admits graceful labeling is called a graceful tree.

To prove our results, we need some terminology and existence results which are described below. In , Hrnčiar and Haviar proved Lemma 1 and in  Jampachon and Poomsa-Ard proved Lemmas 2 and 3.

Lemma 1.

Let T be a tree with n edges and a graceful labeling f. Then, the function f:V(T){0,1,2,,n} defined by f(v)=n-f(v) is also a graceful labeling of T.

Lemma 2.

Let P2n be a path graph with V(P2n)={v1,v2,v3,,v2n} and let M={a+1,a+2,,a+n,m+a+1,m+a+2,,m+a+n}, mn and a0. Then, there is a bijective labeling f:V(P2n)M such that f(v1)=i or f(v2n)=i, where iM and the edge label set is {m-n+1,m-n+2,,m+n-1}.

Lemma 3.

Let Pn, n4, be a path graph with V(Pn)={v1,v2,v3,,vn} and let M={m,m+1,m+2,,m+n-1}. Then, there is a bijective labeling f:V(Pn)M such that f(v1)=i or f(vn)=i, where iM and the edge label set is {1,2,3,,n-1}.

Let T be a tree and let u be a leaf of T. Let T(u,u1,u2,,un) be the tree obtained from T by adding the vertices u1,u2,,un and the edges uu1,u1u2,,un-1un. In , Sangsura and Poomsa-Ard have proved Lemma 4.

Lemma 4.

If a tree T has a graceful labeling f such that f(u)=0, where u is a leaf of T, then T(u,u1,u2,,un) is graceful for each n1.

3. Main Results

A spider graph or spider is a tree with at most one vertex of degree greater than 2 and this vertex is called the branch vertex and is denoted by v0. A leg of a spider graph is a path from the branch vertex to a leaf of the tree. Let Sn(m1,m2,,mk), nk, denote a spider of n legs such that its legs has length one except for k legs of lengths m1,m2,,mk, where mi2 for all i=1,2,,k.

Lemma 5.

If Sk(m1,m2,,mk) has a graceful labeling f such thatf(v0)=0, then there is a graceful labeling f of Sn(m1,m2,,mk) such that f(v0)=0.

Proof.

Let T=Sn(m1,m2,,mk) be a graph such as shown in Figure 1(a). Since f is a graceful labeling of a subgraph Sk(m1,m2,,mk) of T, extending f to T such that fui=i+m1+m2++mk, i=1,2,,n-k, then we get that f is a graceful labeling of T as shown in Figure 1(b).

Theorem 6.

The graph Sn(m) is graceful.

Proof.

We note that S1(m) is a path of length m; for example, S1(m)=v0,v1,,vm. Let f be a labeling of S1(m) by labels alternating between the lowest and highest unused numbers in the set {0,1,2,,m}. We have that f is a graceful labeling of S1(m) such that f(v0)=0 and by Lemma 5 we get that Sn(m) is graceful.

Lemma 7.

If Sk(m1,m2,,mk) has a graceful labeling f such thatf(v0)=0, then Sn(l,m1,m2,,mk) is also graceful.

Proof.

By assumption and Lemma 5, there exists a graceful labeling f of Sn(m1,,mk) such that f(v0)=0. From the proof of Lemma 5, we see that f(un-k) is the maximum number; that is, fun-k=n-k+m1+m2++mk. Let f(v)=(n-k)+m1+m2++mk-f(v) for all vertices of Sn(m1,,mk). By Lemma 1, we get that the function f is a graceful labeling of Sn(m1,,mk) such that f(un-k)=0. Then, Sn(l,m1,m2,,mk) is graceful by Lemma 4.

Theorem 8.

The graph Sn(l,m) is graceful.

Proof.

From the proof of Theorem 6, we see that the labeling f of S1(m) is a graceful labeling such that f(v0)=0. By Lemma 7, we therefore get that Sn(l,m) is also graceful.

Theorem 9.

The graph Sn(l,m,p) is graceful.

Proof.

Without loss of generality, let mp and let P be the path as shown in Figure 2.

Let f be a labeling of P by labels alternately between the lowest and highest unused numbers in the set {0,1,2,,m+p}. We have that f is a graceful labeling of P such that f(v0)=0. Note that S2(m,p)P and |f(vm)-f(vm+1)|=p. Since f(v2m)=p if m=p and f(v2m+1)=p if m<p, then by Lemma 3 we can find a graceful labeling f of S2(m,p) such that f(v0)=0. Hence, Sn(l,m,p) is graceful by Lemma 7.

Theorem 9 is not a new result; it follows from Jampachon and Poomsa-Ard , but our proof here is shorter.

Next, consider the path P obtained from S3(m,p,q) by deleting the edges v0vm+1 and v0vm+p+1 and adding the edges vmvm+1 and vm+pvm+p+1 as shown in Figure 3.

It can be seen that |V(P)|=m+p+q+1 and |E(P)|=m+p+q. If we now introduce a special labeling f of P which can be used to generate a graceful labeling, it follows that

f(vi)=i/2 if i is even, and f(vi)=m+p+q-(i-1)/2 if i is odd.

It can be seen that with the labeling above the labels alternate between the lowest and highest unused numbers in the set {0,1,2,,m+p+q}. Moreover, we see that P admits graceful labeling and that the label of the branch vertex is 0; that is, f(v0)=0. For convenience, we call the labeling above Type.

Remark 10.

Let P be the path obtained from T=S3(m,p,q) as shown in Figure 3 and let f be the labeling of P of Type. Note that S3(m,p,q)P, |f(vm)-f(vm+1)|=f(v2m+1)=p+q, and |f(vm+p)-f(vm+p+1)|=q. To find a graceful labeling f of T, we change the values of f at the vertices vm+1 and vm+p+1 of P such that f(vm+1)=p+q and f(vm+p+1)=q.

Next we want to show that Sn(l,m,p,q) are graceful and to prove this result we need the following lemmas.

Lemma 11.

If m=p=q, then there is a graceful labeling f of S3(m,p,q) such that f(v0)=0.

Proof.

Let P be the path as shown in Figure 4 and let f be the labeling of P of Type. We see that |f(vm)-f(vm+1)|=f(v2m+1)=p+q=2m and |f(v2m)-f(v2m+1)|=f(v2m)=q=m, where v2m is the leaf of the path vm+1,,v2m. If we change the values of f at vm+1,,v2m by reversing their labels, then we get a graceful labeling f of S3(m,p,q) such that f(v0)=0.

Lemma 12.

If m=p<q and q=2m+1, then there is a graceful labeling f of S3(m,p,q) such that f(v0)=0.

Proof.

Let P be the path as shown in Figure 5 and let f be the labeling of P of Type. We see that |f(vm)-f(vm+1)|=f(v2m+1)=p+q and |f(v2m)-f(v2m+1)|=f(v4m+1)=q.

To construct a graceful labeling f of T=S3(m,p,q), we consider two cases.

Case  1 ( m is odd). First, we switch the values of f at vi and vi+1, i=m+1,m+3,m+5,,4m, such that the new value of f at v2m is p+q and at v4m is q. We then change the new values of f at vm+1,vm+2,,v2m by reversing their labels; then, by Lemma 3, we can find a graceful labeling f of T such that f(v0)=0.

Case  2 ( m is even). Define f as follows: for 0im, f(vi)=f(vi) such that

for m+1i3m/2,

f(vi)=(m+i)/2 if i is even

f(vi)=7m/2-(i-3)/2 if i is odd,

for 3m/2+1i2m,

f(vi)=i/2 if i is even

f(vi)=4m-(i-3)/2 if i is odd,

for 2m+1i5m/2+1,

f(vi)=5m/2-(i-2)/2 if i is even

f(vi)=3m/2+(i+1)/2 if i is odd,

for 5m/2+2i6m/2+1,

fvi=(m+i)/2 if i is even

f(vi)=7m/2-(i-3)/2 if i is odd

for 6m/2+2i7m/2+1,

f(vi)=i/2 if i is even

f(vi)=4m-(i-3)/2 if i is odd,

for 7m/2+2i4m+1,

fvi=5m/2-(i-2)/2 if i is even

f(vi)=3m/2+(i+1)/2 if i is odd.

In accordance with the above labeling pattern, we get a graceful labeling f of T such that f(v0)=0.

Lemma 13.

If m<p=q, then there is a graceful labeling f of S3(m,p,q) such that f(v0)=0.

Proof.

Let P be the path as shown in Figure 6 and let f be the labeling of P of Type. We see that |f(vm)-f(vm+1)|=f(v2m+1)=p+q=2p and |f(vm+p)-f(vm+p+1)|=f(v2p)=q=p.

If p is even, then by Lemmas 2 and 3, we can find a graceful labeling f of S3(m,p,q) such that f(v0)=0. Now suppose that p is odd. To construct a graceful labeling f of T=S3(m,p,q), we must consider two cases.

Case  1 ( m is even)

Case  1.1 ( p < 2 m + 1 ). We see that |f(v2m)-f(v2m+1)|=|f(vm+p)-f(v3m-p+1)| and v3m-p+1 lies in the path vm+1,,v2m. Change the values of f at vm+1,vm+2,,vm+p by reversing their labels; then, the new value of f at vp is 2p. Next, change the new values of f at vm+1,vm+2,,vp by reversing their labels. Since the number of vertices of the path vp+1,vp+2,,vp+m is even, by Lemmas 2 and 3, we can find a graceful labeling f of T such that f(v0)=0.

Case  1.2 ( p = 2 m + 1 ). Define f as follows: For 0im, f(vi)=f(vi) and

for m+1i2m+1,

f(vi)=3m/2-(i-2)/2 if i is even

f(vi)=7m/2+(i+3)/2 if i is odd,

for 2m+2i2m+p+1,

f(vi)=(m+i)/2 if i is even

f(vi)=9m/2-(i-5)/2 if i is odd,

for 2m+p+2im+2p,

f(vi)=7m/2-(i-4)/2 if i is even

f(vi)=3m/2+(i+1)/2 if i is odd.

In accordance with the above labeling pattern, we get a graceful labeling f of T such that f(v0)=0.

Case  1.3 ( p > 2 m + 1 ). We see that |f(v2m+1)-f(v2m+2)|=|f(vm+1)-f(v3m+2)| and v3m+2 lies in the path v2m+2,,vm+p. Change the values of f at vm+1,vm+2,,v2m+1 by reversing their labels. Since the number of vertices of the path v2m+2,v2m+3,,vm+p is even, by Lemmas 2 and 3, we can find a graceful labeling f of T such that f(v0)=0.

Case  2 ( m is odd). Switch the values of f at vi and vi+1, i=m+1,m+3,m+5,,m+2p-1; after that, follow a similar procedure as for Case  1.

Lemma 14.

If m<p<q and p2m+1, then there is a graceful labeling f of S3(m,p,q) such that f(v0)=0.

Proof.

Let P be the path as shown in Figure 3 and let f be the labeling of P of Type. We see that f(v2m+1)=p+q and, since p<q, there must be a vertex vj laying in the path Pq=vm+p+1,,vm+p+q such that f(vj)=q. If p is even, then by Lemmas 2 and 3, we can find a graceful labeling f of S3(m,p,q) such that f(v0)=0. Now suppose that p is odd.

Case  1 ( m is even)

Case  1.1 ( p < 2 m + 1 ). Do similarly as in Case  1.1 of Lemma 13.

Case  1.2 ( p > 2 m + 1 ). Do similarly as in Case  1.3 of Lemma 13.

Case  2 ( m is odd). Switch the values of f at vi and vi+1, i=m+1,m+3,m+5,,m+2p-1, after which do similarly as in Case  1.

Theorem 15.

Let l, m, p, and q be integers greater than one. Then, there are three of them; say x, y, and z, for which the spider graph S3(x,y,z) has a graceful labeling f such that f(v0)=0.

Proof.

Without loss of generality, let mpq, let P be the path as shown in Figure 5, and let f be the labeling of P of Type.

Case  1 ( m = p = q ). By Lemma 11 there is a graceful labeling f of S3(m,p,q) such that f(v0)=0.

Case  2 ( m = p < q ). If q=2m+1, then by Lemma 12 there is a graceful labeling f of S3(m,p,q) such that f(v0)=0. Now suppose that q2m+1.

If l<m, then by Lemma 13 there is a graceful labeling f of S3(l,m,p) such that f(v0)=0.

If l=m, then by Lemma 11 there is a graceful labeling f of S3(l,m,p) such that f(v0)=0.

If m<l<q and l=2m+1, then by Lemma 12 there is a graceful labeling f of S3(m,p,l) such that f(v0)=0.

If m<l<q and l2m+1, then by Lemma 14 there is a graceful labeling f of S3(m,l,q) such that f(v0)=0.

If l=q, then by Lemma 13 there is a graceful labeling f of S3(m,l,q) such that f(v0)=0.

If l>q and l=2m+1, then by Lemma 12 there is a graceful labeling f of S3(m,p,l) such that f(v0)=0.

If l>q and l2m+1, then by Lemma 14 there is a graceful labeling f of S3(m,q,l) such that f(v0)=0.

Case  3 ( m < p = q ). By Lemma 13 there is a graceful labeling f of S3(m,p,q) such that f(v0)=0.

Case  4 ( m < p < q ). If p2m+1, then by Lemma 14 there is a graceful labeling f of S3(m,p,q) such that f(v0)=0. Now suppose that p=2m+1.

If l<m, then by Lemma 14 there is a graceful labeling f of S3(l,p,q) such that f(v0)=0.

If l=m, then by Lemma 12 there is a graceful labeling f of S3(l,m,p) such that f(v0)=0.

If m<l<p, then by Lemma 14 there is a graceful labeling f of S3(l,p,q) such that f(v0)=0.

If l=p, then by Lemma 13 there is a graceful labeling f of S3(m,l,p) such that f(v0)=0.

If p<l<q, then by Lemma 14 there is a graceful labeling f of S3(m,l,q) such that f(v0)=0.

If l=q, then by Lemma 13 there is a graceful labeling f of S3(m,l,q) such that f(v0)=0.

If l>q, then by Lemma 14 there is a graceful labeling f of S3(m,q,l) such that f(v0)=0.

Theorem 16.

The graph Sn(l,m,p,q) is graceful.

Proof.

By Theorem 15, there is a graceful labeling f of a spider graph S3(m,p,q) with three legs, such that f(v0)=0. By Lemma 7, we therefore get that Sn(l,m,p,q) is graceful.

4. Conclusion and Remarks

The main tools required to construct a graceful labeling of Sn(l,m,p,q) are a graceful labeling f with f(v0)=0, where v0 is the branch vertex, and the results of Lemmas 2 and 3.

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

This research was financially supported by Udon Thani Rajabhat University, Thailand. The authors would like to thank the Department of Mathematics, Faculty of Science, for other kinds of support and encouragement.

Gallian J. A. A dynamic survey of graph labeling The Electronic Journal of Combinatorics 2015 16, article DS6 Bloom G. S. Golomb S. W. Applications of numbered undirected graphs Proceedings of the IEEE 1977 65 4 562 570 10.1109/proc.1977.10517 2-s2.0-0017478589 Ringel G. Theory of graphs and its applications Proceedings of the Symposium Smolenice 1964 Prague, Czech Republic 162 Rosa A. On certain valuations of the vertices of a graph Theory of Graphs, International Symposium, Rome, July 1966 1967 New York, NY, USA Gordon and Breach 349 355 Huang C. Kotzig A. Rosa A. Further results on tree labellings Utilitas Mathematica 1982 21 31 48 MR668845 Bahls P. Lake S. Wertheim A. Gracefulness of families of spiders Involve 2010 3 3 241 247 10.2140/involve.2010.3.241 MR2739516 Jampachon P. Nakprasit K. Poomsa-Ard T. Graceful labeling of some classes of spider graphs with three legs greater than one Thai Journal of Mathematics 2014 12 3 621 630 MR3291690 2-s2.0-84924815163 Hrnčiar P. Haviar A. All trees of diameter five are graceful Discrete Mathematics 2001 233 1–3 133 150 10.1016/s0012-365x(00)00233-8 MR1825608 2-s2.0-0346403926 Jampachon P. Poomsa-Ard T. Graceful labeling of spider graphs with three legs of lengths greater than one Far East Journal of Mathematical Sciences 2016 100 1 51 64 10.17654/ms100010051 Sangsura K. Poomsa-Ard T. Graceful labelings of the classes of spider graphs with four legs of lengths greater than one Sn(k, l, m, 2) Far East Journal of Mathematical Sciences 2016 100 2 255 269 10.17654/ms100020255