In the mathematical discipline of graph theory the Tutte–Berge formula is a characterization of the size of a maximum matching in a graph. It is a generalization of Tutte theorem on perfect matchings, and is named after W. T. Tutte (who proved Tutte's theorem) and Claude Berge (who proved its generalization).
Statement
The theorem states that the size of a maximum matching of a graph equals where counts how many of the connected components of the graph have an odd number of vertices.
Equivalently, the number of unmatched vertices in a maximum matching equals
.
Explanation
Intuitively, for any subset of the vertices, the only way to completely cover an odd component of by a matching is for one of the matched edges covering the component to be incident to . If, instead, some odd component had no matched edge connecting it to , then the part of the matching that covered the component would cover its vertices in pairs, but since the component has an odd number of vertices it would necessarily include at least one leftover and unmatched vertex. Therefore, if some choice of has few vertices but its removal creates a large number of odd components, then there will be many unmatched vertices, implying that the matching itself will be small. This reasoning can be made precise by stating that the size of a maximum matching is at most equal to the value given by the Tutte–Berge formula.
The characterization of Tutte and Berge proves that this is the only obstacle to creating a large matching: the size of the optimal matching will be determined by the subset with the biggest difference between its numbers of odd components outside and vertices inside . That is, there always exists a subset such that deleting creates the correct number of odd components needed to make the formula true. One way to find such a set is to choose any maximum matching , and to let be the set of vertices that are either unmatched in , or that can be reached from an unmatched vertex by an alternating path that ends with a matched edge. Then, let be the set of vertices that are matched by to vertices in . No two vertices in can be adjacent, for if they were then their alternating paths could be concatenated to give a path by which the matching could be increased, contradicting the maximality of . Every neighbor of a vertex in must belong to , for otherwise we could extend an alternating path to by one more pair of edges, through the neighbor, causing the neighbor to become part of . Therefore, in , every vertex of forms a single-vertex component, which is odd. There can be no other odd components, because all other vertices remain matched after deleting . So with this construction the size of and the number of odd components created by deleting are what they need to be to make the formula be true.
Relation to Tutte's theorem
Tutte's theorem characterizes the graphs with perfect matchings as being the ones for which deleting any subset of vertices creates at most odd components. (A subset that creates at least odd components can always be found in the empty set.) In this case, by the Tutte–Berge formula, the size of the matching is ; that is, the maximum matching is a perfect matching. Thus, Tutte's theorem can be derived as a corollary of the Tutte–Berge formula, and the formula can be seen as a generalization of Tutte's theorem.
See also
- Graph toughness, a problem of creating many connected components by removing a small set of vertices without regard to the parity of the components
- Hall's marriage theorem
References
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (March 2021) (Learn how and when to remove this message) |
- Berge, C. (1958). "Sur le couplage maximum d'un graphe". Comptes rendus hebdomadaires des séances de l'Académie des sciences. 247: 258–259.
- Berge, C. (1962). The Theory of Graphs. Methuen. Theorem 5, p. 181. Reprinted by Dover Publications, 2001.
- Bondy, J. A.; Murty, U. S. R. (2007). Graph Theory: An Advanced Course. Graduate Texts in Mathematics. Springer-Verlag. p. 428. ISBN 978-1-84628-969-9.
- Bondy, J. A.; Murty, U. S. R. (1976). Graph Theory with Applications. New York: North Holland. Exercise 5.3.4, p. 80. ISBN 0-444-19451-7.
- Brualdi, Richard A. (2006). Combinatorial Matrix Classes. Encyclopedia of Mathematics and Its Applications. Vol. 108. Cambridge: Cambridge University Press. p. 360. ISBN 0-521-86565-4. Zbl 1106.05001.
- Lovász, László; Plummer, M. D. (1986). Matching Theory. Annals of Discrete Mathematics. Vol. 29. North-Holland. pp. 90–91. ISBN 0-444-87916-1. MR 0859549.
- Schrijver, Alexander (2003). Combinatorial Optimization: Polyhedra and Efficiency. Springer-Verlag. p. 413. ISBN 3-540-44389-4.
- Tutte, W. T. (1947). "The factorization of linear graphs". Journal of the London Mathematical Society. Series 1. 22 (2): 107–111. doi:10.1112/jlms/s1-22.2.107. hdl:10338.dmlcz/128215.