Graceful Labeling

Assignment of integer labels to the vertices of a graph that uniquely identifies edges by the difference of their endpoint labels.