在图论中，基尔霍夫定理（Kirchoff theorem）或矩阵树定理（matrix tree theorem）是指，图的生成树数量等于调和矩阵的行列式（所以需要时间多项式计算）。若 "G" 有 "n" 个顶点，"λ", "λ", ..., "λ" 是拉普拉斯矩阵的非零特征值，则这个定理以基尔霍夫名字命名。 这也是凯莱公式的推广（若图是完全图）。
举例.删除任何一个行和一个列，比方说第一行和第一列：则formula_4接续矩阵是formula_5Sect