- Cayley's formula: There are different trees on distinct vertices
Double Counting
- Count: # of sequences of adding directed edges to an empty graph to form a rooted tree
- From a Tree:
- From an empty graph:
Prüfer code
- encoder:
- for i=1 to n-1
- : smallest leaf in
- : edge in
- return
- decoder:
- for i=1 to n-1
- : smallest not in
- return
Kirchhoff's Matrix-Tree Theorem
- Adjacent matrix :
- Degree matrix :
- incidence matrix:
- Laplacian matrix:
- Kirchhoff's Matrix-Tree Theorem
- : submatrix of obtained by removing the ith row and ith collumn
- : number of spanning trees in
- Cauchy-Binet Theorem
- and denote, respectively, the submatrices of and , consisting of the columns of , or the rows of , indexed by elements of
- if is a spanning tree of o.w.