Kirchhoff's theorem 2026-10-14
The matrix-tree theorem expresses the weighted number of spanning trees of a finite graph as a cofactor of its Graph Laplacian. For a directed graph with out-Laplacian , deleting the row and column indexed by a root gives
where the sum runs over directed spanning trees rooted towards .