Journal of Discrete Mathematics
Volume 2014 (2014), Article ID 194759, 6 pages
http://dx.doi.org/10.1155/2014/194759
Research Article

New Classes of Graceful Trees

Department of Computer Science and Engineering, Bangladesh University of Engineering and Technology, Dhaka 1000, Bangladesh

Received 18 July 2014; Revised 29 October 2014; Accepted 2 November 2014; Published 23 November 2014

Academic Editor: Aleksandar Ilić

Copyright © 2014 Md. Forhad Hossain 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.

Abstract

Graceful labeling is one of the most researched problems. One of the earliest results is that caterpillars are graceful. We show that caterpillars connected to a vertex recursively satisfying certain conditions are also graceful.

1. Introduction

Let be any arbitrary tree on edges. If its vertices can be distinctly labeled using integers so that all the induced edge labels (vertices labeled and induce label on edge ) are also distinct, then the labeling is called graceful. It was conjectured that all trees are graceful. This has connection with Ringel’s conjecture and some related results can be found in [1, 2]; Kotzig later conjectured that such a decomposition could be achieved cyclically. Rosa [2] established that these conjectures could be solved by showing that every tree is graceful.

The conjecture has been very widely studied and new classes of trees have been proved to be graceful (see [35]). However, it has not been possible to devise a single algorithm to stand out against the conjecture for any arbitrary tree. The research has continued in two directions: newer and more generalized classes of graceful trees are discovered [68] or graceful labeling has been computed for all larger trees up to a fixed order. Computationally, it has been shown so far that all trees with up to 35 vertices are graceful [9]. Graceful labeling has found useful applications in coding theory, X-ray crystallography, radar, astronomy, circuit design, communication network addressing, and database management (see [10, 11]).

In Section 2, we define the classes of trees that have already been proved graceful and critical to our work. Section 3 defines our work of two new classes of trees that have been proved graceful.

2. Gracefully Labeled Trees

Let us introduce the classes of trees for which graceful labeling has been found.

A path is a tree with only two leaves. A caterpillar is a tree such that if all leaves are removed, the remaining graph is a path. This path can be termed as backbone of the caterpillar. Rosa [12] proved that all caterpillars are graceful. In Figure 1, a gracefully labeled caterpillar has been shown. A caterpillar is labeled from one end of its backbone with . Its adjacent vertices are labeled using so far unused largest labels in such a way that vertices on the path get alternately the largest and smallest labels. In this way, while we label vertices the largest unused edge labels are generated. It may be noted that for an -edge tree if is a graceful labeling, then so is . So we can label any end of a caterpillar by or by .

194759.fig.001
Figure 1: An example of gracefully labeled 14-vertex caterpillar.

A rooted tree in which every level contains vertices of the same degree is called symmetrical trees. Bermond and Schönheim [13] proved that all symmetrical trees are graceful as in Figure 2.

194759.fig.002
Figure 2: An example of gracefully labeled 15-vertex symmetrical tree.

In this paper, we prove that super-caterpillars obtained by joining a set of caterpillars of a special type to a vertex are also graceful (Figures 4 and 5).

3. New Classes of Graceful Trees

Let us introduce the following classes of trees.

Definition 1. Let be any arbitrary caterpillar and let , , be caterpillars with number of vertices and the sum of vertex numbers is the same in odd levels of all pairs and . In case of being an odd number, one caterpillar will be without a pair. Let a leaf attached to backbone of each be joined to a vertex by an edge. Then the resulting tree is called a super-caterpillar.

Two super-caterpillars are illustrated in Figure 3 with odd and even . Now we have the following result.

fig3
Figure 3: Example of a super-caterpillar with (a) odd and (b) even , with an arbitrary caterpillar joined with a root.
194759.fig.004
Figure 4: Example of a super-caterpillar gracefully labeled.
194759.fig.005
Figure 5: Example of super-caterpillar gracefully labeled with an arbitrary caterpillar where .

Theorem 2. All super-caterpillars are graceful.

Proof of Theorem 2. Let us assume for simplicity that we have caterpillars joined to and that each caterpillar has the same number of vertices, also a total of vertices in odd levels,   being equal for each pair of caterpillars and . We also denote the vertex of connected to by . Let us label by . Now vertices of caterpillars will be in turn labeled using the smallest and largest labels following caterpillar-labeling schemes so that edge numbers are generated in descending order. The endpoint of connected to is labeled , and we will use up labels in of which large, namely, , and small labels, namely, . Thus the last edge label created is . In the next caterpillar, both the smallest and largest labels will differ by from the labels used in the previous tree. In particular, one vertex will get label and the other one resulting in edge label missing the label . We are going to use up large and small labels in in bottom up fashion. Note that . will be labeled in such a way that ends getting the smallest unused label, that is, label . In this way in tandem vertices of odd levels will be numbered by big and small numbers, respectively, for odd and even indexed caterpillars. This will result in label for odd , whereas label is for even ones. For each pair of caterpillars, labels and will be missing which will be generated on edges incident to vertex .
Now assume that we have one arbitrary caterpillar and any caterpillars having the same number of vertices and that the last caterpillar has vertices but not necessarily having equal number of vertices in odd levels as all previous pairs have. One end of backbone of each caterpillar is connected to . So total number of edges in the tree will be . Now start labeling in such a way that we end up labeling by shifting label of by . Large labels have also been shifted by , thus producing labels on the edge incident to , which we have missed in moving from one caterpillar to the next. Now for we are left with numbers from to . This way all s, adjacent to root , will be labeled by multiples of . After we have completed labeling all pairs of caterpillars, we will be left with consecutive integers to label the vertices of the unpaired caterpillar and generate the remaining smallest possible edge labels.

Definition 3. Let there be any numbers of caterpillars each having vertices and total number of vertices in odd (or even) levels of these caterpillars are the same. These caterpillars are grouped in groups each having caterpillars. Let backbones of each group of caterpillars be connected to vertex that is connected to vertex . Then the resulting tree is called an extended super-caterpillar.

An extended super-caterpillar is illustrated in Figure 6 with six caterpillars grouped in two (), where each group has three caterpillars () joined with a vertex . Each caterpillar contains nine vertices (). Now we have the following result.

194759.fig.006
Figure 6: Example of an extended super-caterpillar with two groups () consisting of three caterpillars.

Theorem 4. All extended super-caterpillars are graceful.

Proof of Theorem 4. Theorem 2 asserts that we can label each group of caterpillars with root , , gracefully. Root , connected to all , is labeled and labels of the remaining vertices in the tree are incremented by one. Let be the total number of vertices in each group (where ). For group , we will be labeling all odd level vertices by adding an offset and for even level vertices where . So gets label , and therefore edge gets label .
We will get the consecutive edge labels having the largest differences to in groups and for except and (Figure 9). Similarly, next consecutive differences to are found in and for again missing and . So in general we can say that differences to are generated while missing and where . These numbers are multiples of which have already been generated in edges , .
The following examples show how this labeling is done in an extended super-caterpillar consisting of six caterpillars as in Figure 7 grouped in three (Figure 8) or two (Figure 10) ( or ). Here each caterpillar has 9 vertices (). Then both of these groups are connected with and gracefully labeled as in Figures 9 and 11.

194759.fig.007
Figure 7: Six graceful caterpillars.
194759.fig.008
Figure 8: Graceful labeling of three grouped caterpillars which are joined to a single vertex .
194759.fig.009
Figure 9: Graceful labeling of an extended super-caterpillar with root at vertex .
194759.fig.0010
Figure 10: Six graceful caterpillars grouped into two, each containing three caterpillars.
194759.fig.0011
Figure 11: Both groups joined with a single root vertex.

4. Conclusion

We have proved that two fairly general classes of trees are graceful. In particular, if a number of caterpillars have equal number of vertices and total number of vertices in odd levels of each caterpillar are equal, then such caterpillars can be joined to a vertex to obtain a graceful tree. In our future work, we would like to see if more generalized trees constructed from caterpillar can be gracefully labeled.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

  1. C. Huang, A. Kotzig, and A. Rosa, “Further results on tree labellings,” Utilitas Mathematica, vol. 21, pp. 31–48, 1982. View at Google Scholar · View at MathSciNet
  2. A. Rosa, On Certain Valuations of the Vertices of a Graph, Theory of Graphs, International Symposium, Rome, Italy, 1967.
  3. E. Robeva, An extensive survey of graceful trees [Undergraduate Honours thesis], Stanford University, 2011.
  4. J. A. Gallian, “A dynamic survey of graph labeling,” Dynamic Survey, vol. 6, article 43, 1997. View at Google Scholar
  5. K. Eshghi and P. Azimi, “Applications of mathematical programming in graceful labeling of graphs,” Journal of Applied Mathematics, vol. 2004, no. 1, pp. 1–8, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. R. E. Aldred and B. D. McKay, “Graceful and harmonious labellings of trees,” Bulletin of the Institute of Combinatorics and its Applications, vol. 23, pp. 69–72, 1998. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. T. Grace, “On sequential labelings of graphs,” Journal of Graph Theory, vol. 7, no. 2, pp. 195–201, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. J. A. Gallian, “Living with the labeling disease for 25 years,” Journal of the Indonesian Mathematical Society, pp. 45–58, 2012. View at Google Scholar
  9. W. Fang, “A computational approach to the graceful tree conjecture,” CoRR Abs abs/1003.3045, 2010. View at Google Scholar
  10. G. S. Bloom and S. W. Golomb, “Applications of numbered undirected graphs,” Proceedings of the IEEE, vol. 65, no. 4, pp. 562–570, 1977. View at Publisher · View at Google Scholar · View at Scopus
  11. G. S. Bloom and S. W. Golomb, Numbered Complete Graphs, Unusual Rulers and Assorted Applications, vol. 642, Springer, 1978.
  12. A. Rosa, “On certain valuations of the vertices of a graph,” in Theory of Graphs, International Symposium, Rome, July 1966, pp. 349–355, Gordon and Breach, New York, NY, USA, 1967. View at Google Scholar · View at MathSciNet
  13. J.-C. Bermond and J. Schönheim, “G-decomposition of Kn, where G has four vertices or less,” Discrete Mathematics, vol. 19, no. 2, pp. 113–120, 1977. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus