Konig's Theorem
# Statement
Suppose $G = (V, E)$ is a Bipartite Graph. Then the Vertex Cover and Matching Duality is strict. That is, $\tau(G) = \nu(G)$.
# Proof
TODO - See Cook - Combinatorial Optimization, early on, but I forget what page
# Sources
- Cook - Combinatorial Optimization
- Original source? TODO