Graceful Labelings

Definitionen:

• Für Graphen G = (V, E): eine Abbildung f : V$\to${0, 1...,| E|} heißt graceful, wenn {| f (x) - f (y)| : xy $\in$ E} = {1, 2,...,| E| - 1}
• Ein Graph G heißt graceful, wenn er (wenigstens) ein graceful labelling besitzt.

Vermutung: jeder Baum ist graceful.

...ist seit 40 Jahren offen (man glaubt es kaum)