Prüfer theorems

Prüfer's Theorem refers to a couple of important results in the context of graph theory, particularly regarding trees. Here are the two main aspects of Prüfer's Theorem often discussed: 1. **Prüfer Code (or Prüfer Sequence)**: The theorem states that there is a one-to-one correspondence between labeled trees with \( n \) vertices and sequences of length \( n-2 \) made up of labels from \( 1 \) to \( n \).