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 T be any arbitrary tree on m edges. If its vertices can be distinctly labeled using integers 0,1,,m so that all the induced edge labels (vertices labeled i and j induce label |i-j| on edge (i,j)) 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  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 ). 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  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 . 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  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 0. 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 m-edge tree if f(i) is a graceful labeling, then so is m-f(i). So we can label any end of a caterpillar by 0 or by m.

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  proved that all symmetrical trees are graceful as in 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 T0 be any arbitrary caterpillar and let Ti, i=1,,k, be caterpillars with |Ti|=m number of vertices and the sum of vertex numbers is the same in odd levels of all pairs T2i+1 and T2i+2. In case of k being an odd number, one caterpillar will be without a pair. Let a leaf attached to backbone of each Ti be joined to a vertex v by an edge. Then the resulting tree is called a super-caterpillar.

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

Example of a super-caterpillar with (a) odd k and (b) even k, with an arbitrary caterpillar joined with a root.

Example of a super-caterpillar gracefully labeled.

Example of super-caterpillar gracefully labeled with an arbitrary caterpillar where s0=2.

Theorem 2.

All super-caterpillars are graceful.

Proof of Theorem <xref ref-type="statement" rid="thm1">2</xref>.

Let us assume for simplicity that we have k caterpillars joined to v and that each caterpillar has the same number m of vertices, also a total of si vertices in odd levels,  si being equal for each pair of caterpillars T2i+1 and T2i+2. We also denote the vertex of Tj connected to v by vj. Let us label v by 0. 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 T1 connected to v is labeled km, and we will use up m labels in T1 of which s1 large, namely, km,km-1,,km-s1+1, and m-s1 small labels, namely, 1,,m-s1. Thus the last edge label created is km-s1+1-(m-s1)=(k-1)m+1. In the next caterpillar, both the smallest and largest labels will differ by 1 from the labels used in the previous tree. In particular, one vertex will get label km-s1-1 and the other one m-s1 resulting in edge label km-s1-(m-s1+1)=(k-1)m-1 missing the label (k-1)m. We are going to use up m-s2 large and s2 small labels in T2 in bottom up fashion. Note that s2=s1. T2 will be labeled in such a way that v2 ends getting the smallest unused label, that is, label m. 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 (vi)=(k-(i-1)/2)m for odd i, whereas label (vi)=im/2 is for even ones. For each pair of caterpillars, labels (k-(i-1)/2)m and im/2 will be missing which will be generated on edges incident to vertex v.

Now assume that we have one arbitrary caterpillar T0 and any k caterpillars having the same number of vertices m and that the last caterpillar has m 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 v. So total number of edges in the tree will be km+m0. Now start labeling T0 in such a way that we end up labeling v by s0 shifting label of v by s0. Large labels have also been shifted by m0-(m0-s0)=s0, thus producing (k-(i-1)/2)m labels on the edge incident to v, which we have missed in moving from one caterpillar to the next. Now for T1 we are left with numbers from s0+1 to km+m0-m+s0=(k-1)m+m0+s. This way all vis, adjacent to root v, will be labeled by multiples of m. 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 kp caterpillars each having m vertices and total number of vertices in odd (or even) levels of these caterpillars are the same. These caterpillars are grouped in k groups each having p caterpillars. Let backbones of each group i of caterpillars be connected to vertex vi that is connected to vertex v. 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 (k=2), where each group has three caterpillars (p=3) joined with a vertex vi. Each caterpillar contains nine vertices (s=9). Now we have the following result.

Example of an extended super-caterpillar with two groups (k=2) consisting of three caterpillars.

Theorem 4.

All extended super-caterpillars are graceful.

Proof of Theorem <xref ref-type="statement" rid="thm2">4</xref>.

Theorem 2 asserts that we can label each group i of caterpillars with root vi, i=1,,k, gracefully. Root v, connected to all vi, is labeled 0 and labels of the remaining vertices in the tree are incremented by one. Let s be the total number of vertices in each group (where s=pm+1). For group i, we will be labeling all odd level vertices by adding an offset (k-i)s and for even level vertices (i-1)s where i=1,2,3,,k. So vi gets label (k-i)s, and therefore edge (v,vi) gets label (k-i)s.

We will get the consecutive edge labels having the largest differences (k-0)s-1 to (k-2)s+1 in groups Ti and T(k-i+1) for i=1 except (k-1)s and ks (Figure 9). Similarly, next consecutive differences (k-2)s-1 to (k-4)s+1 are found in Ti and T(k-i+1) for i=2 again missing (k-3)s and (k-2)s. So in general we can say that differences (k-2(d-1))s-1 to (k-2d)s+1 are generated while missing (k-2d+1)s and (k-2(d-1))s where d=1,2,,k/2. These numbers are multiples of s which have already been generated in edges (v,vi), i=1,,k.

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) (k=2 or k=3). Here each caterpillar has 9 vertices (m=9). Then both of these groups are connected with v and gracefully labeled as in Figures 9 and 11.

Six graceful caterpillars.

Graceful labeling of three grouped caterpillars which are joined to a single vertex vi.

Graceful labeling of an extended super-caterpillar with root at vertex v.

Six graceful caterpillars grouped into two, each containing three caterpillars.

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.

Huang C. Kotzig A. Rosa A. Further results on tree labellings Utilitas Mathematica 1982 21 31 48 MR668845 Rosa A. On Certain Valuations of the Vertices of a Graph 1967 Rome, Italy International Symposium Theory of Graphs Robeva E. An extensive survey of graceful trees [Undergraduate Honours thesis] 2011 Stanford University Gallian J. A. A dynamic survey of graph labeling Dynamic Survey 1997 6, article 43 Eshghi K. Azimi P. Applications of mathematical programming in graceful labeling of graphs Journal of Applied Mathematics 2004 2004 1 1 8 10.1155/S1110757X04310065 MR2077876 2-s2.0-20444412382 Aldred R. E. McKay B. D. Graceful and harmonious labellings of trees Bulletin of the Institute of Combinatorics and its Applications 1998 23 69 72 MR1621760 ZBL0909.05040 Grace T. On sequential labelings of graphs Journal of Graph Theory 1983 7 2 195 201 10.1002/jgt.3190070208 MR698701 ZBL0522.05063 Gallian J. A. Living with the labeling disease for 25 years Journal of the Indonesian Mathematical Society 2012 45 58 Fang W. A computational approach to the graceful tree conjecture CoRR Abs 2010 abs/1003.3045 Bloom G. S. Golomb S. W. Applications of numbered undirected graphs Proceedings of the IEEE 1977 65 4 562 570 2-s2.0-0017478589 10.1109/PROC.1977.10517 Bloom G. S. Golomb S. W. Numbered Complete Graphs, Unusual Rulers and Assorted Applications 1978 642 Springer 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 MR0223271 Bermond J.-C. Schönheim J. G -decomposition of Kn, where G has four vertices or less Discrete Mathematics 1977 19 2 113 120 10.1016/0012-365X(77)90027-9 MR0480188 2-s2.0-0000425539