Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2015/7/b/i/solution

A matching in a graph is a set of edges no two of which share a vertex. A cover here means a vertex cover: a set of vertices such that every edge has at least one endpoint in . It is not an edge cover.
Kőnig's theorem for bipartite matching states that, in any finite bipartite graph, the maximum size of a matching in a graph equals the minimum size of a vertex cover:
Here is the matching number and is the vertex cover number.

New to topics? Read the docs here!