Named Theorems Flashcards
Konig Bipartite
A graph is bipartite IFF it has no odd cycles
Mantel’s Theorem
Max edges on a triangle free graph is n^2/4 rounded down
Havel-Hakimi Algorithm
Remove largest int x, then reduce x largest ints by 1. If new sequence is graphic so is old
Cayley’s Theorem
**𝜏(K_n)
𝜏(K_n) = n ^ n-2
Matrix-Tree Theorem
Suppose G is loopless, A is adjaceny matrix and D is diagonal matrix with degrees of vertices. 𝜏(G) is the determinant of A-D.
Kruskal’s Algortithm
Take cheapest edge unless it makes a cycle until you get a tree. This is a MST
Dijkstra’s Algorithm
Calculates the shortest distance (in weight) from a fixed vertex to any other vertex
Berge’s Theorem (Matchings)
A matching is maximum IFF G has no M-augmenting path (proof by contrapositive both ways)
Hall’s Theorem
Let G be bipartite. G has a matching saturating X IFF |N(S)| ≥ |S| for all S in X.
Konig-Egervary Theorem
If G is bipartite, α’(G) = β(G).
Gallai’s Theorem
α’(G) + β’(G) = n(G)
Gale–Shapley algorithm
- every unmatched man proposes to the favorite woman on his list.
- Every Woman says no to all but the highest proposer, to whom they say maybe
- If every man is matched, terminate
BETTER FOR THE PROPOSERS
Tutte’s 1-Factor Theorem
A graph has a 1 factor IFF o(G-S) ≤ |S| for all sets of vertices S. **o(G-S) = the number of components of G-S with an odd number of vertices. If we find an S that violates, there is no 1-factor and thus no perfect matching.
Petersen’s 1-Factor
Every 3 regular graph without a cut edge has a 1 factor.
Petersen’s 2-Factor
Let k>0. Every (2k) regular graph has a 2 factor.