A difference vertex labeling of a graph G is an assignment f of labels to the vertices of G that induces for each edge xy the weight |f(x)-f(y)|. A difference vertex labeling f of a graph G of size n is odd-graceful if f is an injection from V(G) to {0,1,...,2n-1} such that the induced weights are {1,3,...,2n-1}. We show here that any forest whose components are caterpillars is odd-graceful. We also show that every tree of diameter up to five is odd-graceful.
We prove via a composition lemma, the Kotzig-Ringel-Rosa conjecture, better known as the Graceful Labeling Conjecture. We also prove via a stronger version of the composition lemma a stronger form of the Graceful Labeling Conjecture.
We prove that if $G$ is a $2r$-regular edge graceful $(p,q)$ graph with $(r,kp)=1$ then $kG$ is edge graceful for odd $k$. We also prove that for certain specific classes of $2r$-regular edge graceful graphs it is possible to drop the requirement that $(r,kp)=1$
In a previous paper the concept of a $d$-divisible graceful $α$-labeling has been introduced as a generalization of classical $α$-labelings and it has been shown how it is useful to obtain certain cyclic graph decompositions. In the present paper it is proved the existence of $d$-divisible graceful $α$-labelings of $C_{4k}\times P_m$ for any integers $k\geq1$, $m\geq2$ for several values of $d$.
In this paper we introduce a generalization of the well known concept of a graceful labeling. Given a graph G with e=dm edges, we call d-graceful labeling of G an injective function from V(G) to the set {0,1,2,..., d(m+1)-1} such that {|f(x)-f(y)| | [x,y]\in E(G)} ={1,2,3,...,d(m+1)-1}-{m+1,2(m+1),...,(d-1)(m+1)}. In the case of d=1 and of d=e we find the classical notion of a graceful labeling and of an odd graceful labeling, respectively. Also, we call d-graceful α-labeling of a bipartite graph G a d-graceful labeling of G with the property that its maximum value on one of the two bipartite …
We prove the existence of infinite classes of cyclic G-decompositions of the complete multipartite graph, G being a caterpillar, a hairy cycle or a cycle. All the results are obtained by the construction of d-divisible $α$-labelings of G, introduced in [A. Pasotti, On d-graceful labelings, to appear on Ars Combin.] as a generalization of classical $α$-labelings, whose existence implies that one of graph decompositions.
In "On the super edge graceful trees of even orders," Chung, Lee, Gao, and Schaffer posed the following problem: Characterize trees of diameter 4 which are super edge-graceful. In this paper, we provide super edge-graceful labelings for all caterpillars and even size lobsters of diameter 4 which permit such labelings. We also provide super edge-graceful labelings for several families of odd size lobsters of diameter 4.
A graceful difference labeling (gdl for short) of a directed graph G with vertex set V is a bijection f between V and {1,...,|V|} such that, when each arc uv is assigned the difference label f(v)-f(u), the resulting arc labels are distinct. We conjecture that all disjoint unions of circuits have a gdl, except in two particular cases. We prove partial results which support this conjecture.
Four algorithms giving rise to graceful graphs from a known (non)graceful graph are described. Some necessary conditions for a graph to be highly graceful and critical are given. Finally some conjectures are made on graceful, critical and highly graceful graphs. The RingelRosaKotzig Conjecture is generalized to highly graceful graphs. MayedaSeshu Tree Generation Algorithm is modified to generate all possible graceful labelings of trees of order p. An alternative algorithm in terms of integers modulo p is described which includes all possible graceful labelings of trees of order p and some inte…
A graph $(p, q)$ graph $G = (V, E)$ is said to be $(k, d)$-hooked Skolem graceful if there exists a bijection $f:V (G)\rightarrow \{1, 2, \dots, p-1, p+1\}$ such that the induced edge labeling $g_f : E \rightarrow \{k, k+d, \dots, k+(n-1)d \}$ defined by $g_f (uv) = |f(u) - f(v)|$ $\forall uv \in E$ is also bijective, where $k$ and $d$ are positive integers. Such a labeling $f$ is called $(k, d)$-hooked Skolem graceful labeling of $G.$ Note that when $k = d = 1$, this notion coincides with that of Hooked Skolem (HS) graceful labeling of the graph G. In this paper, we present some preliminary r…
We settle affirmatively a conjecture posed in [S. M. Hegde, Set colorings of graphs, European Journal of Combinatorics 30 (4) (2009), 986--995]: If some subsets of a set X are assigned injectively to all vertices of a complete bipartite graph G such that the collection of all sets, each of which is the symmetric difference of the sets assigned to the ends of some edge, is the set of all nonempty subsets of X, then G is a star.
A set-labeling of a graph $G$ is an injective function $f:V(G)\to \mathcal{P}(X)$, where $X$ is a finite set and a set-indexer of $G$ is a set-labeling such that the induced function $f^{\oplus}:E(G)\rightarrow \mathcal{P}(X)-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus}f(v)$ for every $uv{\in} E(G)$ is also injective. An integer additive set-labeling is an injective function $f:V(G)\rightarrow \mathcal{P}(\mathbb{N}_0)$, $\mathbb{N}_0$ is the set of all non-negative integers and an integer additive set-indexer is an integer additive set-labeling such that the induced function $f^+:…
We survey the current state of progress on the Graceful Tree Conjecture, and then we present several new results toward the conjecture, driven by three new ideas: (1) It has been proven that generalized banana trees are graceful by rearranging the branches at the root--consider rearranging branches at all internal vertices; (2) The method of transfers has typically involved type-1 transfers and type-2 transfers--all type-2 transfers are type-1 transfers in disguise, and hence can be removed from the discussion; (3) The method of transfers has typically used the sequence of transfers $0\rightar…
Given a graph $G$, a labeling of $G$ is an injective function $f:V(G)\rightarrow\mathbb{Z}_{\ge 0}$. Under the labeling $f$, the label of a vertex $v$ is $f(v)$, and the induced label of an edge $uv$ is $|f(u) - f(v)|$. The labeling $f$ is graceful if the labels of the vertices are $\{0, 1, \ldots , |V(G)| - 1\}$, and the induced labels of the edges are distinct. The graph $G$ is graceful if it has a graceful labeling. The Graceful Tree Conjecture, introduced by Kotzig in the late 1960's, states that all trees are graceful. It is an open problem whether every diameter-6 tree has a graceful lab…
Let $G=(V(G),E(G))$ be a simple, finite and undirected graph of order $p$ and size $q$. For $k\ge 1$, a bijection $f: V(G)\cup E(G) \to \{k, k+1, k+2, \ldots, k+p+q-1\}$ such that $f(uv)= |f(u) - f(v)|$ for every edge $uv\in E(G)$ is said to be a $k$-super graceful labeling of $G$. We say $G$ is $k$-super graceful if it admits a $k$-super graceful labeling. In this paper, we study the $k$-super gracefulness of some graphs in which each component is either regular or bi-regular.
We describe symbolic constructions for listing and enumerating graphs having the same induced edge label sequence. We settle in the affirmative R. Whitty's [W08] conjectured existence of determinantal constructions for listing and enumerating gracefully labeled trees. We conclude the paper with a description of a new graceful labeling algorithm.
We introduce left and right-layered trees as trees with a specific representation and define the excess of a tree. Applying these ideas, we show a range-relaxed graceful labeling which improves on the upper bound for maximum vertex label given by Van Bussel. For the case when the tree is a lobster of size $m$ and diameter $d$, the labeling produces vertex labels no greater than $\frac{3}{2}m-\frac{1}{2}d$. Furthermore, we show that any lobster $T$ with $m$ edges and diameter $d$ has an edge-relaxed graceful bipartite labeling with at least $\max\{\frac{3m-d+6}{4},\frac{5m+d+15}{8}\}$ of the ed…
A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail.
A graceful labeling of a graph $G$ with $m$ edges consists of labeling the vertices of $G$ with distinct integers from $0$ to $m$ such that, when each edge is assigned as induced label the absolute difference of the labels of its endpoints, all induced edge labels are distinct. Rosa established two well known conjectures: all trees are graceful (1966) and all triangular cacti are graceful (1988). In order to contribute to both conjectures we study graceful labelings in the context of graph games. The Graceful game was introduced by Tuza in 2017 as a two-players game on a connected graph in whi…
For $G$ a simple, connected graph, a vertex labeling $f:V(G)\rightarrow \mathbb{Z}_+$ is called a $\textit{radio labeling of}$ $G$ if it satisfies $|f(u)-f(v)|\geq \operatorname{diam}(G) + 1 - d(u,v)$ for all distinct vertices $u,v\in V(G)$. The $\textit{radio number}$ of $G$ is the minimal span over all radio labelings of $G$. If a bijective radio labeling onto $\{1,2,...,|V(G)|\}$ exists, $G$ is called a $\textit{radio graceful graph}$. We determine the radio number of all diameter $3$ Hamming graphs and show that an infinite subset of them is radio graceful.
A graph G=(V,E) with m edges is graceful if it has a distinct vertex labeling f, a map from V into the set{0,1,2,3,...,m} which induces a distinct edge labeling |f(u)-f(v)| for edges uv in E. The famous Ringel-Kotzig conjecture (1964) is that all trees are graceful. The base of a tree T is obtained from T by deleting its one-degree vertices. A caterpillar is a tree whose base is a path and a lobster is a tree whose base is a caterpillar. Paths and caterpillars are known to be graceful. Next it was conjectured by Bermond (1979) that all lobsters are graceful. In this paper we describe various m…
A graph $G(V,E)$ of order $|V|=p$ and size $|E|=q$ is called super edge-graceful if there is a bijection $f$ from $E$ to $\{0,\pm 1,\pm 2,...,\pm \frac{q-1}{2}\}$ when $q$ is odd and from $E$ to $\{\pm 1,\pm 2,...,\pm \frac{q}{2}\}$ when $q$ is even such that the induced vertex labeling $f^*$ defined by $f^*(x) = \sum_{xy\in E(G)}f(xy)$ over all edges $xy$ is a bijection from $V$ to $\{0,\pm 1,\pm 2...,\pm \frac{p-1}{2}\}$ when $p$ is odd and from $V$ to $\{\pm 1,\pm 2,...,\pm \frac{p}{2}\}$ when $p$ is even. \indent We prove that all paths $P_n$ except $P_2$ and $P_4$ are super edge-graceful.
We consider graph labelings with an assignment of odd prime numbers to the vertices. Similarly to graceful graphs, a labeling is said to be elegant if the absolute differences between the labels of adjacent vertices describe exactly the first even numbers. The labels of an elegant tree with $n$ vertices are the first $n$ odd prime numbers and we want that the resulting edge labels are exactly the first even numbers up to $2n-2$. We conjecture that each path is elegant and we give the algorithm with which we got elegant paths of $n$ primes for all $n$ up to $n=3500$.
A sum graph is a finite simple graph whose vertex set is labeled with distinct positive integers such that two vertices are adjacent if and only if the sum of their labels is itself another label. The spum of a graph $G$ is the minimum difference between the largest and smallest labels in a sum graph consisting of $G$ and the minimum number of additional isolated vertices necessary so that a sum graph labeling exists. We investigate the spum of various families of graphs, namely cycles, paths, and matchings. We introduce the sum-diameter, a modification of the definition of spum that omits the…
We answer two questions of Shamik Ghosh in the negative. We show that there exists a lobster tree of diameter less than 6 which accepts no alpha-labeling with two central vertices labeled by the critical number and the maximum vertex label. We also show a simple example of a tree of diameter 4, with an even degree central vertex which does not accept a maximum label in any graceful labeling.
We investigate the \textit{group irregularity strength} ($s_g(G)$) of graphs, i.e. the smallest value of $s$ such that taking any Abelian group $\gr$ of order $s$, there exists a function $f:E(G)\rightarrow \gr$ such that the sums of edge labels at every vertex are distinct. We give the exact values and bounds on $s_g(G)$ for chosen families of disconnected graphs. In addition we present some results for the \textit{modular edge gracefulness} $k(G)$, i.e. the smallest value of $s$ such that there exists a function $f:E(G)\rightarrow \zet_s$ such that the sums of edge labels at every vertex are…
A radio labeling of a connected graph $G$ is a function $c:V(G) \to \mathbb Z_+$ such that for every two distinct vertices $u$ and $v$ of $G$ $$\text{distance}(u,v)+|c(u)-c(v)|\geq 1+ \text{diameter}(G).$$ The radio number of a graph $G$ is the smallest integer $M$ for which there exists a labeling $c$ with $c(v)\leq M$ for all $v\in V(G)$. The radio number of graphs of order $n$ and diameter $n-1$, i.e., paths, was determined in \cite{paths}. Here we determine the radio numbers of all graphs of order $n$ and diameter $n-2$.
For $k\in\mathbb{Z}^+$ and $G$ a simple connected graph, a $k$-radio labeling $f:V_G\to\Z^+$ of $G$ requires all pairs of distinct vertices $u$ and $v$ to satisfy $|f(u)-f(v)|\geq k+1-d(u,v)$. When $k=1$, this requirement gives rise to the familiar labeling known as vertex coloring for which each vertex of a graph is labeled so that adjacent vertices have different "colors". We consider $k$-radio labelings of $G$ when $k=\diam(G)$. In this setting, no two vertices can have the same label, so graphs that have radio labelings of consecutive integers are one extreme on the spectrum of possibiliti…
For any positive integer $h$, a graph $G=(V,E)$ is said to be $h$-magic if there exists a labeling $l:E(G)\to \mathbb{Z}_h -\{0\} $ such that the induced vertex set labeling $\ l^+ : V(G) \to \mathbb{Z}_h \ $ defined by $$ l^+ (v)=\sum_{uv \in E(G)} \ l(uv) $$ is a constant map. The integer-magic spectrum of a graph $G$, denoted by $IM(G)$, is the set of all $h \in \mathbb{N} $ for which $G$ is $h$-magic. So far, only the integer-magic spectra of trees of diameter at most five have been determined. In this paper, we determine the integer-magic spectra of trees of diameter six and higher.
A tree $T$ on $2^n$ vertices is called set-sequential if the elements in $V(T)\cup E(T)$ can be labeled with distinct nonzero $(n+1)$-dimensional $01$-vectors such that the vector labeling each edge is the component-wise sum modulo $2$ of the labels of the endpoints. It has been conjectured that all trees on $2^n$ vertices with only odd degree are set-sequential (the "Odd Tree Conjecture"), and in this paper, we present progress toward that conjecture. We show that certain kinds of caterpillars (with restrictions on the degrees of the vertices, but no restrictions on the diameter) are set-sequ…
Let $G$ be a simple connected graph. For any two vertices $u$ and $v$, let $d(u,v)$ denote the distance between $u$ and $v$ in $G$. A radio-$k$-labeling of $G$ for a fixed positive integer $k$ is a function $f$ which assigns to each vertex a non-negative integer label such that for every two vertices $u$ and $ v $ in $G$, $|f(u)-f(v)| \geq k - d(u,v) +1$. The span of $f$ is the difference between the largest and smallest labels of $f(V)$. The radio-$k$-number of a graph $G$, denoted by $rn_k(G)$, is the smallest span among all radio-$k$-labelings admitted by $G$. A cycle $C_n$ has diameter $d=…
Let $d(u,v)$ denote the distance between two distinct vertices of a connected graph $G$, and $\diam(G)$ be the diameter of $G$. A radio labeling $c$ of $G$ is an assignment of positive integers to the vertices of $G$ satisfying $d(u,v)+|c(u)-c(v)|\geq \diam(G) + 1.$ The maximum integer in the range of the labeling is its span. The radio number of $G$, $rn(G)$, is the minimum possible span. The family of gear graphs of order $n$, $G_n$, consists of planar graphs with $2n+1$ vertices and $3n$ edges. We prove that the radio number of the $n$-gear is $4n+2$.
For a connected graph $G$, let $diam(G)$ and $d(u,v)$ denote the diameter of $G$ and distance between $u$ and $v$ in $G$. A radio labeling of a graph $G$ is a mapping $φ: V(G) \rightarrow \{0,1,2,...\}$ such that $|φ(u)-φ(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$. The span of $φ$ is defined as span($φ$) = $\max\{|φ(u)-φ(v)| : u, v \in V(G)\}$. The radio number $rn(G)$ of $G$ is defined as $rn(G)$ = $\min\{$span($φ$) : $φ$ is a radio labeling of $G\}$. In this paper, we determine the radio number for middle graph of paths.
Let $G$ be a finite, connected, undirected graph with diameter $diam(G)$ and $d(u,v)$ denote the distance between $u$ and $v$ in $G$. A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0,1,2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. In this paper, we determine the radio number for three families of trees obtained by taking graph operation on a given tree or a famil…
A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0, 1, 2, \ldots\}$ such that $|f(u)-f(v)|\geq d + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$, where $d$ is the diameter of $G$ and $d(u,v)$ the distance between $u$ and $v$ in $G$. The radio number of $G$ is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. We give a necessary and sufficient condition for a lower bound on the radio number of trees to be achieved, two other sufficient conditions for the same bound to be achieved by a tree, and an upper bound…
Let $\mathbb{N}$ be the set of positive integers. A radio labeling of a graph $G$ is a mapping $φ: V(G) \rightarrow \mathbb{N} \cup \{0\}$ such that the inequality $|φ(u)-φ(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of distinct vertices $u,v$ of $G$, where $diam(G)$ and $d(u,v)$ are the diameter of $G$ and distance between $u$ and $v$ in $G$, respectively. The radio number $rn(G)$ of $G$ is the smallest number $k$ such that $G$ has radio labeling $φ$ with $\max\{φ(v) : v \in V(G)\}$ = $k$. Das et al. [Discrete Math. $\mathbf{340}$(2017) 855-861] gave a technique to find a lower bound …
A radio labeling of a graph $G$ is a mapping $\vp : V(G) \rightarrow \{0, 1, 2,...\}$ such that $|\vp(u)-\vp(v)|\geq \diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u,v$ of $G$, where $\diam(G)$ and $d(u,v)$ are the diameter of $G$ and distance between $u$ and $v$ in $G$, respectively. The radio number $\rn(G)$ of $G$ is the smallest number $k$ such that $G$ has radio labeling with $\max\{\vp(v):v \in V(G)\}$ = $k$. In this paper, we slightly improve the lower bound for the radio number of graphs given by Das \emph{et al.} in [5] and, give necessary and sufficient condition to achi…
A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of vertices $u$ and $v$, where $diam(G)$ is the diameter of $G$ and $d(u,v)$ is the distance between $u$ and $v$ in $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest $t$ such that $G$ admits a radio labeling with $t=\max\{|f(v)-f(u)|: v, u \in V(G)\}$. A block graph is a graph such that each block (induced maximal 2-connected subgraph) is a complete graph. In this paper, a lower bound for the radio number of block graphs is…
