Twierdzenie Kirchoffa - twierdzenie umożliwiające wyznaczyć nam ilość drzew spinających w grafie pełnym. W tym celu należy stworzyć laplasjan grafu.
Wytłumaczmy czym jest laplasjan grafu: Laplasjan grafu to macierz NxN, gdzie N oznacza liczbę wierzchołków w grafie. Tworzony on jest w następujący sposób: Na przekątnej znajduje się ilość krawędzi wychodzących z danego wierzchołka. Połączenie dwóch wierzchołków oznaczane jest przez liczbę -1. Reszta macierzy uzupełniana jest zerami. Dla powyższego grafu, Laplasjan wygląda następująco: