Teorema del árbol de matrices o teorema de Kirchhoff : da una expresión para el número de árboles de expansión de un gráfico a través del determinante de una determinada matriz.
Demostrado por Gustav Kirchhoff en 1847; la motivación de este teorema fueron los cálculos de circuitos eléctricos . [una]
Sea un gráfico etiquetado conexo con matriz de Kirchhoff . Todos los complementos algebraicos de la matriz de Kirchhoff son iguales entre sí y su valor total es igual al número de árboles generadores del gráfico .
grafico | 3 de sus árboles de expansión | ||
---|---|---|---|
|
|
|
|
Para un grafo G con matriz de adyacencia , obtenemos: .
El complemento algebraico, por ejemplo, del elemento M 1, 2 es , que coincide con el número de árboles generadores.
Del teorema de la matriz se sigue
El teorema se generaliza al caso de multigrafos y grafos ponderados. Para un gráfico ponderado, los complementos algebraicos de los elementos de la matriz de Kirchhoff son iguales a la suma de todos los árboles generadores de los productos de los pesos de todas sus aristas. Se obtiene un caso especial si tomamos los pesos iguales a 1: la suma de los productos de los pesos de los esqueletos será igual al número de esqueletos.