Ciao, avrei una domanda riguardo all'enunciato del teorema di Kirchhoff.
Sia \(G\) un grafo connesso con \(n \) vertici, e siano \(\lambda_1, \ldots, \lambda_{n-1} \) gli autovalori non nulli della matrice Laplaciana di \(G \). Allora il numero di alberi ricoprenti di \(G \) è dato da
\[ \frac{1}{n} \prod\limits_{k=1}^{n-1} \lambda_k \]
La mia domanda è come mai si è sicuri che vi siano esattamente \( n -1 \) autovalori non nulli, ed esattamente uno nullo?