OFFSET
2,2
COMMENTS
Let B(a,b) be the tree obtained by joining the centers of two stars with a and b leaves.
For n >= 2, define a = ceil((n-2)/2), b = floor((n-2)/2). Then a(n) is the number of graceful labelings of B(a,b).
A graceful labeling assigns labels 0,1,...,n-1 to the vertices so that all edge differences are distinct.
REFERENCES
Douglas B. West, Introduction to Graph Theory, Pearson Education Pte. Ltd, 2002, page 81.
LINKS
Igor Blokhin, Graceful Prüfer Codes (Python repository).
EXAMPLE
For n=4 there are 2 such labelings: 1--2--0--3 and 0--3--1--2, so a(4)=2.
CROSSREFS
KEYWORD
nonn,hard,more,new
AUTHOR
Igor Blokhin, Mar 31 2026
STATUS
approved
