Graceful: Graceful labelings
Instanz G :: Graph a Ein Graph G
Beweis f :: FiniteMap a Integer ein graceful labeling
Eine Knotenbewertung f heißt graceful, wenn sie diese Bedingungen erfüllt: Bemerkung: man vermutet, daß jeder Baum ein graceful labeling besitzt. Bis heute ist jedoch kein Beweis bekannt - ein Gegenbeispiel aber auch nicht.