Graceful labeling

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