On the Hardness of Losing Weight

  • Andrei Krokhin
  • Dániel Marx
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5125)

Abstract

We study the complexity of local search for the Boolean constraint satisfaction problem (CSP), in the following form: given a CSP instance, that is, a collection of constraints, and a solution to it, the question is whether there is a better (lighter, i.e., having strictly less Hamming weight) solution within a given distance from the initial solution. We classify the complexity, both classical and parameterized, of such problems by a Schaefer-style dichotomy result, that is, with a restricted set of allowed types of constraints. Our results show that there is a considerable amount of such problems that are NP-hard, but fixed-parameter tractable when parameterized by the distance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chapdelaine, P., Creignou, N.: The complexity of Boolean constraint satisfaction local search problems. Annals of Mathematics and Artificial Intelligence 43, 51–63 (2005)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Cohen, D., Jeavons, P.: The complexity of constraint languages. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch. 8. Elsevier, Amsterdam (2006)Google Scholar
  3. 3.
    Creignou, N., Khanna, S., Sudan, M.: Complexity Classifications of Boolean Constraint Satisfaction Problems. SIAM Monographs on Discrete Mathematics and Applications, vol. 7 (2001)Google Scholar
  4. 4.
    Crescenzi, P., Rossi, G.: On the Hamming distance of constraint satisfaction problems. Theoretical Computer Science 288(1), 85–100 (2002)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Dantsin, E., Goerdt, A., Hirsch, E., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P., Schöning, U.: A deterministic \((2-\frac{2}{k+1})^n\) algorithm for k-SAT based on local search. Theoretical Computer Science 289, 69–83 (2002)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (1999)CrossRefMATHGoogle Scholar
  7. 7.
    Fellows, M.R.: Parameterized complexity: new developments and research frontiers. In: Aspects of Complexity (Kaikura, 2000). de Gruyter Series in Logic and Applications, vol. 4, pp. 51–72 (2001)Google Scholar
  8. 8.
    Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Heidelberg (2006)MATHGoogle Scholar
  9. 9.
    Gu, J., Purdom, P., Franko, J., Wah, B.W.: Algorithms for the Satisfiability Problem. Cambridge University Press, Cambridge (2000)Google Scholar
  10. 10.
    Hirsch, E.: SAT local search algorithms: worst-case study. Journal of Automated Reasoning 24, 127–143 (2000)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Hoos, H., Tsang, E.: Local search methods. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. ch. 5. Elsevier, Amsterdam (2006)Google Scholar
  12. 12.
    Kirousis, L., Kolaitis, P.: The complexity of minimal satisfiability problems. Information and Computation 187, 20–39 (2003)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Marx, D.: Parameterized complexity of constraint satisfaction problems. Computational Complexity 14, 153–183 (2005)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Marx, D.: Searching the k-change neighborhood for TSP is W[1]-hard. Operations Research Letters 36, 31–36 (2008)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Schaefer, T.J.: The complexity of satisfiability problems. In: STOC 1978, pp. 216–226 (1978)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Andrei Krokhin
    • 1
  • Dániel Marx
    • 2
  1. 1.Department of Computer ScienceDurham UniversityDurhamUK
  2. 2.Department of Computer Science and Information TheoryBudapest University of Technology and EconomicsBudapestHungary

Personalised recommendations