Advertisement

Simultaneous Matchings

  • Khaled Elbassioni
  • Irit Katriel
  • Martin Kutz
  • Meena Mahajan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3827)

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 2 k poly(k,|XD|) time.

Keywords

Feasible Solution Bipartite Graph Constraint Programming Complete Bipartite Graph Maximal Subset 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Appa, G., Magos, D., Mourtos, I.: On the system of two all_different predicates. Information Processing Letters 94/3, 99–105 (2005)CrossRefMathSciNetGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Edmonds, J.: Path, trees and flowers. Canadian Journal of Mathematics, 233–240 (1965)Google Scholar
  5. 5.
    Garey, M., Johnson, D.S.: Computers and Intractability, A Guide to the Theory of NP-Completeness. Freeman, New York (1979)zbMATHGoogle Scholar
  6. 6.
    Hochbaum, D.S. (ed.): Approximation Algorithms for NP-Hard Problems. Brooks/Cole Pub. Co., Pacific Grove (1996)Google Scholar
  7. 7.
    Karpinski, M., Rytter, W.: Fast parallel algorithms for graph matching problems. Oxford Lecture Series in Mathematics and its Applications 9 (1998)Google Scholar
  8. 8.
    Kuhn, H.W.: The Hungarian Method for the assignment problem. Naval Research Logistic Quarterly 2, 83–97 (1955)CrossRefGoogle Scholar
  9. 9.
    Leconte, M.: A bounds-based reduction scheme for constraints of difference. In: Proceedings of the Constraint 1996 Workshop, pp. 19–28 (1996)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Lovasz, L., Plummer, M.: Matching Theory. North-Holland, Amsterdam (1986); Annals of Discrete Mathematics 29zbMATHGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
  14. 14.
    Puget, J.-F.: A fast algorithm for the bound consistency of alldiff constraints. In: AAAI (1998)Google Scholar
  15. 15.
    van Hoeve, W.J.: The AllDifferent Constraint: A Survey. In: Proceedings of the Sixth Annual Workshop of the ERCIM Working Group on Constraints (2001)Google Scholar
  16. 16.
    Vazirani, V.: Approximation Algorithms. Springer, Heidelberg (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Khaled Elbassioni
    • 1
  • Irit Katriel
    • 2
  • Martin Kutz
    • 1
  • Meena Mahajan
    • 3
  1. 1.Max-Plank-Institut für InformatikSaarbrückenGermany
  2. 2.BRICSUniversity of AarhusÅrhusDenmark
  3. 3.The Institute of Mathematical SciencesChennaiIndia

Personalised recommendations