A function f is called a graceful labeling of a graph G with m edges if f is an injective function from V (G) to {0, 1, 2, · · · ,m} such that when every edge uv is assigned the edge label |f(u)− f(v)|, then the resulting edge labels are distinct. A graph which admits a graceful labeling is called a graceful graph. The popular Graceful Tree Conjecture states that every tree is graceful. The Gra...