Abstract
Let G = (V, E) be a graph and \({R\subseteq E}\) . A matching M in G is called R-feasible if the subgraph induced by the M-saturated vertices does not have an edge of R. We show that the general problem of finding a maximum size R-feasible matching in G is NP-hard and identify several natural applications of this new concept. In particular, we use R-feasible matchings to give a necessary and sufficient condition for the existence of a systems of disjoint representatives in a family of hypergraphs. This provides another Hall-type theorem for hypergraphs. We also introduce the concept of R-feasible (vertex) cover and combine it with the concept of R-feasible matching to provide a new formulation and approach to Ryser’s conjecture.
Similar content being viewed by others
References
Aharoni R.: Ryser’s conjecture for tripartite 3-graphs. Combinatorica 21, 1–4 (2001)
Aharoni R., Haxell P.: Hall’s theorem for hypergraphs. J. Graph Theory 11, 83–88 (2000)
Füredi Z.: Maximum degree and fractional matchings in uniform hypergraphs. Combinatorica 1, 155–162 (1981)
König, D.: Theorie der Endlichen und Unendlichen Graphen, Leipzig (1936)
Hall P.: Distinct representatives of subsets. J. London Math. Soc. 10, 26–30 (1934)
Tuza, Zs.: Some special cases of Ryser’s conjecture (1979, manuscript)
Tuza Zs.: Ryser’s conjecture on transversals of r-partite hypergraphs. Ars Comb. 16, 201–209 (1983)
West D.: Introduction to Graph Theory. Prentice Hall, New York (2001)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Peng, Y., Sissokho, P.A. The Feasible Matching Problem. Graphs and Combinatorics 29, 695–704 (2013). https://doi.org/10.1007/s00373-012-1141-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00373-012-1141-7