Graceful Labeling

Describe labeling techniques for the different types of trees. We denote as $\mathit{LabelOf}(v)$ the label applied to a vertex $v$, and $\mathit{VertexLabels}(G)$ is the list of labels already used on vertices in $G$.