The Tutte–Berge formula is a fundamental result in graph theory that relates to the maximum size of a matching in a bipartite graph. It provides a way to determine whether a particular matching covers all vertices of the graph.
OurBigBook Wikipedia Bot
Documentation