Desde el artículo de la Wikipedia sobre elegante etiquetado:
... Una de las principales conjeturas no demostradas en la teoría de grafos es la Ringel–Kotzig conjetura, nombrado después de Gerhard Ringel y Anton Kotzig, que supone que todos los árboles son graciosos. El Ringel-Kotzig conjetura es también conocido como el "agraciado etiquetado conjetura". ...
Es la conjetura aún sin resolver?
(por ejemplo he encontrado Dhananjay P. Mehendale, "En la Gracia de Etiquetado de los Árboles", que afirma que la conjetura es verdadera).