Prover Sequence
Published:
Recall that a tree is an undirected network with no cycles or loops such that any node is reachable from any other. A labeled tree is one where we’ve given each node a unique label, by convention a number between $1$ and $n$ for $n$ the number of nodes in the tree. Two labeled trees are the same if they can be drawn identically, with the same labels and connections.
