Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming

  • Gregory Gutin
  • Eun Jung Kim
  • Arezou Soleimanfallah
  • Stefan Szeider
  • Anders Yeo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6478)

Abstract

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if the given graph is bipartite with partition U ⊎ V, and each vertex in U is assigned the list {1}; this subproblem appears in the context of constraint programming as the consistency problem for the extended global cardinality constraint. We show that this subproblem is fixed-parameter tractable when parameterized by the size of the second partite set V. More generally, we show that the general factor problem for bipartite graphs, parameterized by |V |, is fixed-parameter tractable as long as all vertices in U are assigned lists of length 1, but becomes W[1]-hard if vertices in U are assigned lists of length at most 2. We establish fixed-parameter tractability by reducing the problem instance to a bounded number of acyclic instances, each of which can be solved in polynomial time by dynamic programming.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beldiceanu, N., Carlsson, M., Rampon, J.-X.: Global constraint catalog. Technical Report T2005:08, SICS, SE-16 429 Kista, Sweden (August 2006), http://www.emn.fr/x-info/sdemasse/gccat/
  2. 2.
    Bessiere, C., Hebrard, E., Hnich, B., Kiziltan, Z., Quimper, C.-G., Walsh, T.: The parameterized complexity of global constraints. In: Proceedings of AAAI 2008, AAAI Conference on Artificial Intelligence, pp. 235–240. AAAI Press, Menlo Park (2008)Google Scholar
  3. 3.
    Bessiére, C., Hebrard, E., Hnich, B., Walsh, T.: The tractability of global constraints. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 716–720. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Cornuéjols, G.: General factors of graphs. J. Combin. Theory Ser. B 45(2), 185–198 (1988)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Downey, R.G., Fellows, M.R.: Parameterized Complexity. Monographs in Computer Science. Springer, New York (1999)CrossRefMATHGoogle Scholar
  6. 6.
    Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series, vol. XIV. Springer, Berlin (2006)MATHGoogle Scholar
  7. 7.
    Lovász, L.: The factorization of graphs. In: Proceedings of Combinatorial Structures and their Applications 1969, pp. 243–246. Gordon and Breach, New York (1970)Google Scholar
  8. 8.
    Lovász, L.: The factorization of graphs. II. Acta Math. Acad. Sci. Hungar. 23, 223–246 (1972)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Mathieson, L., Szeider, S.: Editing graphs to satisfy degree constraints: A parameterized approach (May 2009) (submitted)Google Scholar
  10. 10.
    Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford (2006)CrossRefMATHGoogle Scholar
  11. 11.
    Pietrzak, K.: On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. J. of Computer and System Sciences 67(4), 757–771 (2003)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Samer, M., Szeider, S.: Tractable cases of the extended global cardinality constraint. In: Proceedings of CATS 2008, Computing: The Australasian Theory Symposium. CRPIT, vol. 77, pp. 67–74. Australian Computer Society (2008); Full version to appear in Constraints: an International Journal Google Scholar
  13. 13.
    Szeider, S.: Monadic second order logic on graphs with local cardinality constraints. In: Ochmański, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol. 5162, pp. 601–612. Springer, Heidelberg (2008); Full version to appear in ACM Transactions on Computational LogicCrossRefGoogle Scholar
  14. 14.
    van Hoeve, W.-J., Katriel, I.: Global constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch. 6. Elsevier, Amsterdam (2006)Google Scholar
  15. 15.
    van Hoeve, W.J., Pesant, G., Rousseau, L.-M., Sabharwal, A.: Revisiting the sequence constraint. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 620–634. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Woeginger, G.J.: Exact algorithms for NP-hard problems: A survey. In: Jünger, M., Reinelt, G., Rinaldi, G. (eds.) Combinatorial Optimization - Eureka, You Shrink! LNCS, vol. 2570, pp. 185–208. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Gregory Gutin
    • 1
  • Eun Jung Kim
    • 1
  • Arezou Soleimanfallah
    • 1
  • Stefan Szeider
    • 2
  • Anders Yeo
    • 1
  1. 1.Department of Computer Science, Royal HollowayUniversity of LondonEgham, SurreyUK
  2. 2.Institute of Information SystemsVienna University of TechnologyViennaAustria

Personalised recommendations