 Kőnig's theorem (graph theory)

Kőnig's theorem is a fundamental result in graph theory, specifically in the area of bipartite graphs and matching. It states that in any bipartite graph, the size of the maximum matching (the largest set of edges that do not share a vertex) is equal to the size of the minimum vertex cover (the smallest set of vertices such that every edge in the graph is incident to at least one vertex from this set).