Hall's marriage theorem

Hall's marriage theorem

In mathematics, Hall's marriage theorem is a combinatorial result that gives the condition allowing the selection of a distinct element from each of a collection of finite sets. It was proved by Philip Hall (1935).

Contents

Definitions and statement of the theorem

Let S be a collection of finite sets.

A transversal for S is a set X and a bijection f from X to S such that for all x in X, x is a member of f(x). An alternative term for transversal is system of distinct representatives or "SDR".

The collection S satisfies the marriage condition if and only if for each subcollection T \subseteq S, we have

|T| \le \Bigl|\bigcup_{A \in T} A\Bigr|.

In other words, the number of subsets in each subcollection T is less than or equal to the number of distinct elements in the union over the subcollection T.

Hall's theorem states that S has a transversal (SDR) if and only if S satisfies the marriage condition.

Discussion and examples

Example 1: Consider S = {S1, S2, S3} with

S1 = {1, 2, 3}
S2 = {1, 4, 5}
S3 = {3, 5}.

A valid SDR would be {1, 4, 5}. (Note this is not unique: {2, 1, 3} works equally well, for example.)

Example 2: Consider S = {S1, S2, S3, S4} with

S1 = {2, 3, 4, 5}
S2 = {4, 5}
S3 = {5}
S4 = {4}.

No valid SDR exists; the marriage condition is violated as is shown by the subcollection {S2, S3, S4}.

The standard example of an application of the marriage theorem is to imagine two groups; one of n men, and one of n women. For each woman, there is a subset of the men any one of which she would happily marry; and any man would be happy to marry a woman who wants to marry him. Consider whether it is possible to pair up (in marriage) the men and women so that every person is happy.

If we let Si be the set of men that the i-th woman would be happy to marry, then the marriage theorem states that each woman can happily marry a man if and only if the collection of sets {Si} meets the marriage condition.

Note that the marriage condition is that, for any subset I of the women, the number of men whom at least one of the women would be happy to marry, |\bigcup _{i \in I} S_i|, be at least as big as the number of women in that subset, | I | . It is obvious that this condition is necessary, as if it does not hold, there are not enough men to share among the I women. What is interesting is that it is also a sufficient condition.

The theorem has many other interesting "non-marital" applications. For example, take a standard deck of cards, and deal them out into 13 piles of 4 cards each. Then, using the marriage theorem, we can show that it is always possible to select exactly 1 card from each pile, such that the 13 selected cards contain exactly one card of each rank (ace, 2, 3, ..., queen, king).

More abstractly, let G be a group, and H be a finite subgroup of G. Then the marriage theorem can be used to show that there is a set X such that X is an SDR for both the set of left cosets and right cosets of H in G.

The more general problem of selecting a (not necessarily distinct) element from each of a collection of sets is permitted in general only if the axiom of choice is accepted.

Proof

We first prove: If G has a matching which covers every vertex in X then |N(S)| ≥ |S| for all S C X. Suppose G(X,Y) is a bipartite graph and M is a matching which saturates every vertex of X. Consider the set of all vertices in Y which saturates a given S by the matching M to be M(S). Therefore, |M(S)|=|S|, by definition of matching. But M(S) C N(S), since all elements of M(S) are neighbours of S. So, |N(S)| ≥ |M(S)| and hence, |N(S)| ≥ |S|. Now we prove: If |N(S)| ≥ |S| for all S C X, then G(X,Y) has a matching which saturates every vertex in X. Assume G(X,Y) is a bipartite graph that has no matching M which saturates all vertices of X. Consider a set S containing vertex u which is not saturated by a maximum matching M. Consider all augmenting paths starting from u. Let the set of all points in Y connected to u by these augmenting paths be T. Consider set of all vertices of S (in X) in these paths such that S \ u is saturated by M. So, |M(S)|=|S|-1, as u is not in a matching. But, all vertices in T are connected to u and set of all vertices connected to a vertex in S\u is in T. Therefore, |N(S)|=|T|. But |N(u)|=|T| as all neighbours of u are included in T. Also, for every vertex connected to u in T there exists a corresponding matching to another vertex in S. Hence, |N(u)|=number of matchings=|M(S)|=|S|-1. But |N(u)|=|T|=|N(S)|. Thus, |N(S)|=|S|-1 which implies |N(S)|<|S| (contradiction). Hence our assumption that G has no matching is false, therefore, G has a matching.

Graph theory

The marriage theorem has applications in the area of graph theory. Formulated in graph theoretic terms the problem can be stated as:

Given a finite bipartite graph G:= (S + T, E) with two equally sized partitions S and T, does there exist a perfect matching, i.e. a set of edges so that every vertex of G is incident to precisely one of them?

The marriage theorem provides the answer:

For a set X of vertices of G, let NG(X) denote the neighborhood of X in G, i.e. the set of all vertices adjacent to some element of X. The Marriage theorem (Hall's Theorem) for Graph theory states that a perfect matching exists if and only if for every subset X of S

|X| \leq |N_G(X)|.

In other words every subset X of S has enough adjacent vertices in T.

A generalization to arbitrary graphs is provided by Tutte theorem.

A more general statement

Let G:= (S + T, E) be a finite bipartite graph with S and T not necessarily equally sized. Then G contains a matching of S into T if and only if

|X| \leq |N_G(X)|

for all subsets X of S.

Logical equivalences

This theorem is part of a collection of remarkably powerful theorems in combinatorics, all of which are related to each other in an informal sense in that it is more straightforward to prove one of these theorems from another of them than from first principles. These include:

In particular,[1] there are simple proofs of the implications Dilworth's theorem ⇒ Hall's theorem ⇔ König–Egerváry theorem ⇔ König's theorem.

Notes

  1. ^ Equivalence of seven major theorems in combinatorics

References

External links

This article incorporates material from proof of Hall's marriage theorem on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Marriage theorem — In mathematics, the marriage theorem (1935), usually credited to mathematician Philip Hall, is a combinatorial result that gives the condition allowing the selection of a distinct element from each of a collection of subsets.Formally, let S = { S …   Wikipedia

  • Dilworth's theorem — In mathematics, in the areas of order theory and combinatorics, Dilworth s theorem characterizes the width of any finite partially ordered set in terms of a partition of the order into a minimum number of chains. It is named for the mathematician …   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

  • Philip Hall — Infobox Scientist name = Philip Hall caption = Philip Hall birth date = birth date|1904|4|11|df=y birth place = Hampstead, London, England death date = death date and age|1982|12|30|1904|4|11|df=y death place = Cambridge, England residence =… …   Wikipedia

  • Théorème de Hall —  Ne pas confondre avec le théorème de Hall en théorie des groupes, ni avec le problème des ménages. En mathématiques, le théorème de Hall ou lemme des mariages est un résultat combinatoire qui donne une condition nécessaire et suffisante,… …   Wikipédia en Français

  • Graph factorization — Not to be confused with Factor graph. 1 factorization of Desargues graph: each color class is a 1 factor …   Wikipedia

  • Clos network — In the field of telecommunications, a Clos network is a kind of multistage circuit switching network, first formalized by Charles Clos in 1953,[1] which represents a theoretical idealization of practical multi stage telephone switching systems.… …   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

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • 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. Covering packing dualities… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”