A graceful labeling of a graph G = (V, E) assigns | V | distinct integers from the set {0, ..., | E |} to the vertices of G so that the absolute values of their differences on the | E | edges of G constitute the set {1, ...