Abstract
Given a bipartite graph \(G = (X \dot{\cup} D,E \subseteq X \times D)\), an X-perfect matching is a matching in G that covers every node in X. In this paper we study the following generalisation of the X-perfect matching problem, which has applications in constraint programming: Given a bipartite graph as above and a collection \(\mathcal{F} \subseteq 2^{X}\) of k subsets of X, find a subset M ⊆ E of the edges such that for each \(C \in \mathcal{F}\), the edge set M ∩ (C× D) is a C-perfect matching in G (or report that no such set exists). We show that the decision problem is NP-complete and that the corresponding optimisation problem is in APX when k=O(1) and even APX-complete already for k=2. On the positive side, we show that a 2/(k+1)-approximation can be found in 2kpoly(k,|X ∪ D|) time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Appa, G., Magos, D., Mourtos, I.: On the system of two all_different predicates. Information Processing Letters 94/3, 99–105 (2005)
Berman, P., Fujito, T.: Approximating independent sets in degree 3 graphs. In: Sack, J.-R., Akl, S.G., Dehne, F., Santoro, N. (eds.) WADS 1995. LNCS, vol. 955, pp. 449–460. Springer, Heidelberg (1995)
Chlebík, M., Chlebíková, J.: Inapproximability results for bounded variants of optimization problems. In: Lingas, A., Nilsson, B.J. (eds.) FCT 2003. LNCS, vol. 2751, pp. 27–38. Springer, Heidelberg (2003)
Edmonds, J.: Path, trees and flowers. Canadian Journal of Mathematics, 233–240 (1965)
Garey, M., Johnson, D.S.: Computers and Intractability, A Guide to the Theory of NP-Completeness. Freeman, New York (1979)
Hochbaum, D.S. (ed.): Approximation Algorithms for NP-Hard Problems. Brooks/Cole Pub. Co., Pacific Grove (1996)
Karpinski, M., Rytter, W.: Fast parallel algorithms for graph matching problems. Oxford Lecture Series in Mathematics and its Applications 9 (1998)
Kuhn, H.W.: The Hungarian Method for the assignment problem. Naval Research Logistic Quarterly 2, 83–97 (1955)
Leconte, M.: A bounds-based reduction scheme for constraints of difference. In: Proceedings of the Constraint 1996 Workshop, pp. 19–28 (1996)
Lopez-Ortiz, A., Quimper, C.-G., Tromp, J., van Beek, P.: A fast and simple algorithm for bounds consistency of the alldifferent constraint. In: IJCAI (2003)
Lovasz, L., Plummer, M.: Matching Theory. North-Holland, Amsterdam (1986); Annals of Discrete Mathematics 29
Mehlhorn, K., Thiel, S.: Faster Algorithms for Bound-Consistency of the Sortedness and the AllDifferent Constraint. In: Dechter, R. (ed.) CP 2000. LNCS, vol. 1894, p. 306. Springer, Heidelberg (2000)
Puget, J.-F.: A fast algorithm for the bound consistency of alldiff constraints. In: AAAI (1998)
van Hoeve, W.J.: The AllDifferent Constraint: A Survey. In: Proceedings of the Sixth Annual Workshop of the ERCIM Working Group on Constraints (2001)
Vazirani, V.: Approximation Algorithms. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elbassioni, K., Katriel, I., Kutz, M., Mahajan, M. (2005). Simultaneous Matchings. In: Deng, X., Du, DZ. (eds) Algorithms and Computation. ISAAC 2005. Lecture Notes in Computer Science, vol 3827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11602613_12
Download citation
DOI: https://doi.org/10.1007/11602613_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30935-2
Online ISBN: 978-3-540-32426-3
eBook Packages: Computer ScienceComputer Science (R0)