Matrix Tree Theorem
The Matrix Tree Theorem is a theorem in Graph Theory that counts for the number of spanning trees of a connected graph. It was discovered by Gustav Kirchhoff, which is why the theorem is also called Kirchhoff's Matrix Tree Theorem or simply Kirchhoff's Theorem.
Statement
Let be a graph with the set of vertices
. We define its adjacency matrix
as

where is an arbitrary row in the matrix,
is an arbitrary column, and
denotes that two vertices are connected. Next, define the degree matrix as

Using both the adjacency and degree matrix of , we define the Laplacian Matrix
as

Lastly, let denote the deletion of the
th row and column of
. Now we can state the theorem. Let
be a connected graph with laplacian
and let
be the number of spanning trees of
. Then
