 Matching (graph theory)

In the mathematical discipline of graph theory, a matching or independent edge set in a graph is a set of edges without common vertices. It may also be an entire graph consisting of edges without common vertices.
Coveringpacking dualities Covering problems Packing problems Minimum set cover Maximum set packing Minimum vertex cover Maximum matching Minimum edge cover Maximum independent set Contents
Definition
Given a graph G = (V,E), a matching M in G is a set of pairwise nonadjacent edges; that is, no two edges share a common vertex.
A vertex is matched (or saturated) if it is an endpoint of one of the edges in the matching. Otherwise the vertex is unmatched.
A maximal matching is a matching M of a graph G with the property that if any edge not in M is added to M, it is no longer a matching, that is, M is maximal if it is not a proper subset of any other matching in graph G. In other words, a matching M of a graph G is maximal if every edge in G has a nonempty intersection with at least one edge in M. The following figure shows examples of maximal matchings (red) in three graphs.
A maximum matching is a matching that contains the largest possible number of edges. There may be many maximum matchings. The matching number ν(G) of a graph G is the size of a maximum matching. Note that every maximum matching is maximal, but not every maximal matching is a maximum matching. The following figure shows examples of maximum matchings in three graphs.
A perfect matching (a.k.a. 1factor) is a matching which matches all vertices of the graph. That is, every vertex of the graph is incident to exactly one edge of the matching. Figure (b) above is an example of a perfect matching. Every perfect matching is maximum and hence maximal. In some literature, the term complete matching is used. In the above figure, only part (b) shows a perfect matching. A perfect matching is also a minimumsize edge cover. Thus, , that is, the size of a maximum matching is no larger than the size of a minimum edge cover.
A nearperfect matching is one in which exactly one vertex is unmatched. This can only occur when the graph has an odd number of vertices, and such a matching must be maximum. In the above figure, part (c) shows a nearperfect matching. If, for every vertex in a graph, there is a nearperfect matching that omits only that vertex, the graph is also called factorcritical.
Given a matching M,
 an alternating path is a path in which the edges belong alternatively to the matching and not to the matching.
 an augmenting path is an alternating path that starts from and ends on free (unmatched) vertices.
One can prove that a matching is maximum if and only if it does not have any augmenting path. (This result is sometimes called Berge's lemma.)
Properties
In any graph without isolated vertices, the sum of the matching number and the edge covering number equals the number of vertices.^{[1]} If there is a perfect matching, then both the matching number and the edge cover number are V/2.
If A and B are two maximal matchings, then A ≤ 2B and B ≤ 2A. To see this, observe that each edge in A \ B can be adjacent to at most two edges in B \ A because B is a matching. Since each edge in B \ A is adjacent to an edge in A \ B by maximality, we see that
Further we get that
In particular, this shows that any maximal matching is a 2approximation of a maximum matching and also a 2approximation of a minimum maximal matching. This inequality is tight: for example, if G is a path with 3 edges and 4 nodes, the size of a minimum maximal matching is 1 and the size of a maximum matching is 2.
Matching polynomials
Main article: Matching polynomialA generating function of the number of kedge matchings in a graph is called a matching polynomial. Let G be a graph and m_{k} be the number of kedge matchings. One matching polynomial of G is
Another definition gives the matching polynomial as
where n is the number of vertices in the graph. Each type has its uses; for more information see the article on matching polynomials.
Algorithms and computational complexity
Maximum matchings in bipartite graphs
Matching problems are often concerned with bipartite graphs. Finding a maximum bipartite matching^{[2]} (often called a maximum cardinality bipartite matching) in a bipartite graph G = (V = (X,Y),E) is perhaps the simplest problem. The augmenting path algorithm finds it by finding an augmenting path from each to Y and adding it to the matching if it exists. As each path can be found in O(E) time, the running time is O(VE). This solution is equivalent to adding a super source s with edges to all vertices in X, and a super sink t with edges from all vertices in Y, and finding a maximal flow from s to t. All edges with flow from X to Y then constitute a maximum matching. An improvement over this is the HopcroftKarp algorithm, which runs in time. Another approach is based on the fast matrix multiplication algorithm and gives O(V^{2.376}) complexity,^{[3]} which is better in theory for sufficiently dense graphs, but in practice the algorithm is slower.
In a weighted bipartite graph, each edge has an associated value. A maximum weighted bipartite matching^{[2]} is defined as a perfect matching where the sum of the values of the edges in the matching have a maximal value. If the graph is not complete bipartite, missing edges are inserted with value zero. Finding such a matching is known as the assignment problem. It can be solved by using a modified shortest path search in the augmenting path algorithm. If the BellmanFord algorithm is used, the running time becomes O(V^{2}E), or the edge cost can be shifted with a potential to achieve O(V^{2}log V + VE) running time with the Dijkstra algorithm and Fibonacci heap. The remarkable Hungarian algorithm solves the assignment problem and it was one of the beginnings of combinatorial optimization algorithms. The original approach of this algorithm needs O(V^{2}E) running time, but it could be improved to O(V^{2}log V + VE) time with extensive use of priority queues.
Maximum matchings
Main article: Edmonds's matching algorithmThere is a polynomial time algorithm to find a maximum matching or a maximum weight matching in a graph that is not bipartite; it is due to Jack Edmonds, is called the paths, trees, and flowers method or simply Edmonds's algorithm, and uses bidirected edges. A generalization of the same technique can also be used to find maximum independent sets in clawfree graphs. Edmonds' algorithm has subsequently been improved to run in time time, matching the time for bipartite maximum matching.^{[4]} Another algorithm by Mucha and Sankowski,^{[3]} based on the fast matrix multiplication algorithm, gives O(V^{2.376}) complexity.
Maximal matchings
A maximal matching can be found with a simple greedy algorithm. A maximum matching is also a maximal matching, and hence it is possible to find a largest maximal matching in polynomial time. However, no polynomialtime algorithm is known for finding a minimum maximal matching, that is, a maximal matching that contains the smallest possible number of edges.
Note that a maximal matching with k edges is an edge dominating set with k edges. Conversely, if we are given a minimum edge dominating set with k edges, we can construct a maximal matching with k edges in polynomial time. Therefore the problem of finding a minimum maximal matching is essentially equal to the problem of finding a minimum edge dominating set.^{[5]} Both of these two optimisation problems are known to be NPhard; the decision versions of these problems are classical examples of NPcomplete problems.^{[6]} Both problems can be approximated within factor 2 in polynomial time: simply find an arbitrary maximal matching M.^{[7]}
Counting problems
The problem of determining the number of perfect matchings in a given graph is #P Complete (see Permanent). However, a remarkable theorem of Kasteleyn states that the number of perfect matchings in a planar graph can be computed exactly in polynomial time via the FKT algorithm. There exists a fully polynomial time randomized approximation scheme for counting the number of bipartite matchings.^{[8]}
For the problem of determining the total number of matchings in a given graph, see Hosoya index.
Characterizations and Notes
König's theorem states that, in bipartite graphs, the maximum matching is equal in size to the minimum vertex cover. Via this result, the minimum vertex cover, maximum independent set, and maximum vertex biclique problems may be solved in polynomial time for bipartite graphs.
The marriage theorem (or Hall's Theorem) provides a characterization of bipartite graphs which have a perfect matching and the Tutte theorem provides a characterization for arbitrary graphs.
A perfect matching is a spanning 1regular subgraph, a.k.a. a 1factor. In general, a spanning kregular subgraph is a kfactor.
Applications
A Kekulé structure of an aromatic compound consists of a perfect matching of its carbon skeleton, showing the locations of double bonds in the chemical structure. These structures are named after Friedrich August Kekulé von Stradonitz, who showed that benzene (in graph theoretical terms, a 6vertex cycle) can be given such a structure.^{[9]}
The Hosoya index is the number of nonempty matchings plus one; it is used in computational chemistry and mathematical chemistry investigations for organic compounds.
See also
 Edge coloring
 Vertex independent set
 Dulmage–Mendelsohn decomposition
 Stable matching
 Skewsymmetric graph
References
 ^ Gallai, Tibor (1959), "Über extreme Punkt und Kantenmengen", Ann. Univ. Sci. Budapest, Eotvos Sect. Math. 2: 133–138.
 ^ ^{a} ^{b} West, Douglas Brent (1999), Introduction to Graph Theory (2nd ed.), Prentice Hall, Chapter 3, ISBN 0130144002
 ^ ^{a} ^{b} Mucha, M.; Sankowski, P. (2004), "Maximum Matchings via Gaussian Elimination", Proc. 45st IEEE Symp. Foundations of Computer Science, pp. 248–255, http://www.mimuw.edu.pl/~mucha/pub/mucha_sankowski_focs04.pdf
 ^ Micali, S.; Vazirani, V. V. (1980), "An algorithm for finding maximum matching in general graphs", Proc. 21st IEEE Symp. Foundations of Computer Science, pp. 17–27, doi:10.1109/SFCS.1980.12.
 ^ Yannakakis, Mihalis; Gavril, Fanica (1980), "Edge dominating sets in graphs", SIAM J. Appl. Math. 38 (3): 364–372, doi:10.1137/0138030.
 ^ Garey, Michael R.; Johnson, David S. (1979), Computers and Intractability: A Guide to the Theory of NPCompleteness, W.H. Freeman, ISBN 0716710455. Edge dominating set (decision version) is discussed under the dominating set problem, which is the problem GT2 in Appendix A1.1. Minimum maximal matching (decision version) is the problem GT10 in Appendix A1.1.
 ^ Ausiello, Giorgio; Crescenzi, Pierluigi; Gambosi, Giorgio; Kann, Viggo; MarchettiSpaccamela, Alberto; Protasi, Marco (2003), Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties, Springer. Minimum edge dominating set (optimisation version) is the problem GT3 in Appendix B (page 370). Minimum maximal matching (optimisation version) is the problem GT10 in Appendix B (page 374). See also Minimum Edge Dominating Set and Minimum Maximal Matching in the web compendium.
 ^ Mark Jerrum et al. (2004), "A PolynomialTime Approximation Algorithm for the Permanent of a Matrix with NonNegative Entries", Journal of the ACM, http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.116.
 ^ See, e.g., Trinajstić, Nenad; Klein, Douglas J.; Randić, Milan (1986), "On some solved and unsolved problems of chemical graph theory", International Journal of Quantum Chemistry 30 (S20): 699–742, doi:10.1002/qua.560300762.
Further reading
 Lovász, László; M.D. Plummer (1986), Matching Theory, NorthHolland, ISBN 0444879161
 Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein (2001), Introduction to Algorithms (second ed.), MIT Press and McGrawHill, Chapter 26, pp. 643–700, ISBN 0262531968
 András Frank (2004). On Kuhn's Hungarian Method – A tribute from Hungary (Technical report). Egerváry Research Group. http://www.cs.elte.hu/egres/tr/egres0414.pdf.
 Michael L. Fredman and Robert E. Tarjan (1987), "Fibonacci heaps and their uses in improved network optimization algorithms", Journal of the ACM (ACM Press) 34 (3): 595–615, doi:10.1145/28869.28874.
 S. J. Cyvin and Ivan Gutman (1988), Kekule Structures in Benzenoid Hydrocarbons, SpringerVerlag
External links
Categories: Matching
 Combinatorial optimization
 Polynomialtime problems
Wikimedia Foundation. 2010.
Look at other dictionaries:
Topological graph theory — In mathematics topological graph theory is a branch of graph theory. It studies the embedding of graphs in surfaces, and graphs as topological spaces. [J.L. Gross and T.W. Tucker, Topological graph theory, Wiley Interscience, 1987] Embedding a… … Wikipedia
Covering (graph theory) — In the mathematical discipline of graph theory, a covering (or cover) of a graph is a set of vertices (or edges) such that each edge (vertex) of the graph touches (is incident with) at least one element of the set.It is of mathematical interest… … Wikipedia
Saturation (graph theory) — Let G(V,E) be a graph and M a matching in G. A vertex vin V(G) is said to be saturated by M if there is an edge in M incident to v. A vertex vin V(G) with no such edge is said to be unsaturated by M. We also say that M saturates v.ee also* Hall s … Wikipedia
Glossary of graph theory — Graph theory is a growing area in mathematical research, and has a large specialized vocabulary. Some authors use the same word with different meanings. Some authors use different words to mean the same thing. This page attempts to keep up with… … Wikipedia
König's theorem (graph theory) — In the mathematical area of graph theory, König s theorem describes an equivalence between the maximum matching problem and the minimum vertex cover problem in bipartite graphs. Setting A graph is bipartite if its vertices can be partitioned into … Wikipedia
Independent set (graph theory) — The nine blue vertices form a maximum independent set for the Generalized Petersen graph GP(12,4). In graph theory, an independent set or stable set is a set of vertices in a graph, no two of which are adjacent. That is, it is a set I of vertices … Wikipedia
De Bruijn–Erdős theorem (graph theory) — This article is about coloring infinite graphs. For the number of lines determined by a finite set of points, see De Bruijn–Erdős theorem (incidence geometry). In graph theory, the De Bruijn–Erdős theorem, proved by Nicolaas Govert de Bruijn and… … Wikipedia
Matching — may refer to: Matching (graph theory), in graph theory, a set of edges without common vertices Matching (statistics), a technique for reducing bias when analyzing data from observational studies String matching, in computer science Matchmaking,… … Wikipedia
Matching (disambiguation) — Matching may refer to:* Matching, in graph theory, a set of edges without common vertices * String matching * Impedance matching and Impedance bridging, in electronics, attempting to make the output impedance of a source equal to the input… … Wikipedia
Matching — Saltar a navegación, búsqueda En matemática discreta y en particular en la teoría de grafos, un matching o conjunto independiente de aristas (también llamado emparejamiento o apareamiento) en un grafo es un conjunto de aristas independientes, es… … Wikipedia Español