Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0503484

On Gracefully Labeling Trees

Dhananjay P. Mehendale
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we propose an algorithm to generate all possible graceful graphs (including trees) containing n vertices as lattice paths in a certain triangular lattice defined below. This lattice that corresponds to graphs containing n vertices is called an n-lattice and is made up of certain rows of vertex pairs (i, j). Each row of this n-lattice is made up of those vertex-pairs, say (i, j), for which the difference|i - j| is the same for every vertex-pair belonging to that row, and where i, j belongs to set {1, 2, ..., n}. The first row of this n-lattice contains (n - 1) vertex pairs, (i, i + 1), i = 1, 2, ..., (n - 1). The second row of this n-lattice contains (n - 2) vertex pairs, (i, i + 2), i = 1, 2, ..., (n - 2). In this way, one goes down to the last row of this lattice which contains only one vertex-pair, (1, n). A lattice path is one made up of (n - 1) vertex pairs such that every row of the triangular lattice contributes exactly one vertex pair to this lattice path. We obtain all possible lattice paths without omission or repetition by generating them in a systematic way, in a well-defined lexicographic order. The collection of all such lattice paths forms all possible graceful graphs. We will note various observations related to these lattice paths. For example, the lattice paths appear in symmetric pairs, i.e. for each lattice path there exists a corresponding unique lattice path which is the mirror image of this lattice path taken in the line of symmetry passing vertically and centrally through the lattice, each lattice path and its corresponding mirror image represent isomorphic graceful graphs. The main result of this paper is the affirmative settlement of the well-known graceful tree conjecture.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dhananjay P. Mehendale. 2005-03-23. On Gracefully Labeling Trees. https://arxiv.org/abs/math/0503484

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM↗
arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM↗