Matching in hypergraphs

Recall that a hypergraph is a pair , where is a set of vertices and is a set of subsets of called hyperedges. Each hyperedge may contain one or more vertices. A matching in is a subset of , such that every two hyperedges and in have an empty intersection (have no vertex in common). The matching number of a hypergraph is the largest size of a matching in . It is often denoted by . As an example, let be the set {{math|{1,2,3,4,5,6,7}.}} Consider a 3-uniform hypergraph on (a hypergraph in which each hyperedge contains exactly 3 vertices). Let be a 3-uniform hypergraph with 4 hyperedges: : {{math|{ {1,2,3}, {1,4,5}, {4,5,6}, {2,3,6} } }} Then admits several matchings of size 2, for example: : {{math|{ {1,2,3}, {4,5,6} } }} : {{math|{ {1,4,5}, {2,3,6} } }} However, in any subset of 3 hyperedges, at least two of them intersect, so there is no matching of size 3. Hence, the matching number of is 2. == Intersecting hypergraph ==

A hypergraph is called intersecting if every two hyperedges in have a vertex in common. A hypergraph is intersecting if and only if it has no matching with two or more hyperedges, if and only if . == Matching in a graph as a special case ==

A graph without self-loops is just a 2-uniform hypergraph: each edge can be considered as a set of the two vertices that it connects. For example, this 2-uniform hypergraph represents a graph with 4 vertices {{math|{1,2,3,4} }} and 3 edges: : {{math|{ {1,3}, {1,4}, {2,4} } }} By the above definition, a matching in a graph is a set of edges, such that each two edges in have an empty intersection. This is equivalent to saying that no two edges in are adjacent to the same vertex; this is exactly the definition of a matching in a graph. == Fractional matching ==

A fractional matching in a hypergraph is a function that assigns a fraction in to each hyperedge, such that for every vertex in , the sum of fractions of hyperedges containing is at most 1. A matching is a special case of a fractional matching in which all fractions are either 0 or 1. The size of a fractional matching is the sum of fractions of all hyperedges. The fractional matching number of a hypergraph is the largest size of a fractional matching in . It is often denoted by . provides upper bounds on the fractional-matching-number() ratio: • If each hyperedge in contains at most vertices, then \frac{\nu^*(H)}{ \nu (H)} \leq r-1+ \frac{1}{r}. In particular, in a simple graph: \frac{\nu^*(H)}{ \nu (H)} \leq \frac{3}{2}. • The inequality is sharp: Let be the -uniform finite projective plane. Then since every two hyperedges intersect, and by the fractional matching that assigns a weight of to each hyperedge (it is a matching since each vertex is contained in hyperedges, and its size is since there are hyperedges). Therefore the ratio is exactly . • If is such that the -uniform finite projective plane does not exist (for example, ), then a stronger inequality holds: \frac{\nu^*(H)}{\nu (H)} \leq r-1. • If is -partite (the vertices are partitioned into parts and each hyperedge contains a vertex from each part), then: \frac{\nu^*(H)}{\nu (H)} \leq r-1. In particular, in a bipartite graph, . This was proved by András Gyárfás. • The inequality is sharp: Let be the truncated projective plane of order . Then since every two hyperedges intersect, and by the fractional matching that assigns a weight of to each hyperedge (there are hyperedges). == Perfect matching ==

A matching is called perfect if every vertex in is contained in exactly one hyperedge of . This is the natural extension of the notion of perfect matching in a graph. A fractional matching is called perfect if for every vertex in , the sum of fractions of hyperedges in containing is exactly 1. Consider a hypergraph in which each hyperedge contains at most vertices. If admits a perfect fractional matching, then its fractional matching number is at least . If each hyperedge in contains exactly vertices, then its fractional matching number is at exactly . This is a generalization of the fact that, in a graph, the size of a perfect matching is . Given a set of vertices, a collection of subsets of is called balanced if the hypergraph admits a perfect fractional matching. For example, if {{math|1=V = {1,2,3,a,b,c} }} and {{math|1=E = { {1,a}, {2,a}, {1,b}, {2,b}, {3,c} },}} then is balanced, with the perfect fractional matching {{math|{ 1/2, 1/2, 1/2, 1/2, 1 }.}} There are various sufficient conditions for the existence of a perfect matching in a hypergraph: • Hall-type theorems for hypergraphs - presents sufficient conditions analogous to Hall's marriage theorem, based on sets of neighbors. • Perfect matching in high-degree hypergraphs - presents sufficient conditions analogous to Dirac's theorem on Hamiltonian cycles, based on degree of vertices. • Keevash and Mycroft developed a geometric theory for hypergraph matching. == Balanced set-family ==

A set-family over a ground set is called balanced (with respect to ) if the hypergraph admits a perfect fractional matching. For example, consider the vertex set {{math|1=V = {1,2,3,a,b,c} }} and the edge set {{math|1=E = {1-a, 2-a, 1-b, 2-b, 3-c}.}} is balanced, since there is a perfect fractional matching with weights {{math|{1/2, 1/2, 1/2, 1/2, 1}.}} == Computing a maximum matching ==

The problem of finding a maximum-cardinality matching in a hypergraph, thus calculating \nu(H), is NP-hard even for 3-uniform hypergraphs (see 3-dimensional matching). This is in contrast to the case of simple (2-uniform) graphs in which computing a maximum-cardinality matching can be done in polynomial time. == Matching and covering ==

A vertex-cover in a hypergraph is a subset of , such that every hyperedge in contains at least one vertex of (it is also called a transversal or a hitting set, and is equivalent to a set cover). It is a generalization of the notion of a vertex cover in a graph. The vertex-cover number of a hypergraph is the smallest size of a vertex cover in . It is often denoted by , for transversal. A fractional vertex-cover is a function assigning a weight to each vertex in , such that for every hyperedge in , the sum of fractions of vertices in is at least 1. A vertex cover is a special case of a fractional vertex cover in which all weights are either 0 or 1. The size of a fractional vertex-cover is the sum of fractions of all vertices. The fractional vertex-cover number of a hypergraph is the smallest size of a fractional vertex-cover in . It is often denoted by . Since a vertex-cover is a special case of a fractional vertex-cover, for every hypergraph : fractional-vertex-cover-number () ≤ vertex-cover-number (). Linear programming duality implies that, for every hypergraph : fractional-matching-number () = fractional-vertex-cover-number(). Hence, for every hypergraph : :\nu(H) \leq \nu^*(H) = \tau^*(H)\leq \tau(H) If the size of each hyperedge in is at most then the union of all hyperedges in a maximum matching is a vertex-cover (if there was an uncovered hyperedge, we could have added it to the matching). Therefore: :\tau(H)\leq r\cdot \nu(H). This inequality is tight: equality holds, for example, when contains vertices and contains all subsets of vertices. However, in general , since ; see Fractional matching above. ''Ryser's conjecture'' says that, in every -partite -uniform hypergraph: :\tau (H)\leq (r-1) \nu(H). Some special cases of the conjecture have been proved; see Ryser's conjecture. == Kőnig's property ==

A hypergraph has the Kőnig property if its maximum matching number equals its minimum vertex-cover number, namely if . The Kőnig-Egerváry theorem shows that every bipartite graph has the Kőnig property. To extend this theorem to hypergraphs, we need to extend the notion of bipartiteness to hypergraphs. A simple graph is bipartite iff it is balanced. A simple graph is bipartite iff it has no odd-length cycles. Similarly, a hypergraph is balanced iff it has no odd-length circuits. A circuit of length in a hypergraph is an alternating sequence , where the are distinct vertices and the are distinct hyperedges, and each hyperedge contains the vertex to its left and the vertex to its right. The circuit is called unbalanced if each hyperedge contains no other vertices in the circuit. Claude Berge proved that a hypergraph is balanced if and only if it does not contain an unbalanced odd-length circuit. Every balanced hypergraph has Kőnig's property. The following are equivalent: • Every partial hypergraph of (i.e., a hypergraph derived from by deleting some hyperedges) has the Kőnig property. • Every partial hypergraph of has the property that its maximum degree equals its minimum edge coloring number. • has the Helly property, and the intersection graph of (the simple graph in which the vertices are and two elements of are linked if and only if they intersect) is a perfect graph. == Matching and packing ==

The problem of set packing is equivalent to hypergraph matching. A vertex-packing in a (simple) graph is a subset of its vertices, such that no two vertices in are adjacent. The problem of finding a maximum vertex-packing in a graph is equivalent to the problem of finding a maximum matching in a hypergraph: • Given a hypergraph , define its intersection graph as the simple graph whose vertices are and whose edges are pairs such that , have a vertex in common. Then every matching in is a vertex-packing in and vice versa. • Given a graph , define its star hypergraph as the hypergraph whose vertices are and whose hyperedges are the stars of the vertices of (i.e., for each vertex in , there is a hyperedge in that contains all edges in that are adjacent to ). Then every vertex-packing in is a matching in and vice versa. • Alternatively, given a graph , define its clique hypergraph as the hypergraph whose vertices are the cliques of , and for each vertex in , there is a hyperedge in containing all cliques in that contain . Then again, every vertex-packing in is a matching in and vice versa. Note that cannot be constructed from in polynomial time, so it cannot be used as a reduction for proving NP-hardness. But it has some theoretical uses. == See also ==