Advertisement

Theory of Computing Systems

, Volume 42, Issue 2, pp 239–255 | Cite as

Complexity of Clausal Constraints Over Chains

  • Nadia Creignou
  • Miki Hermann
  • Andrei Krokhin
  • Gernot Salzer
Article

Abstract

We investigate the complexity of the satisfiability problem of constraints over finite totally ordered domains. In our context, a clausal constraint is a disjunction of inequalities of the form xd and xd. We classify the complexity of constraints based on clausal patterns. A pattern abstracts away from variables and contains only information about the domain elements and the type of inequalities occurring in a constraint. Every finite set of patterns gives rise to a (clausal) constraint satisfaction problem in which all constraints in instances must have an allowed pattern. We prove that every such problem is either polynomially decidable or NP-complete, and give a polynomial-time algorithm for recognizing the tractable cases. Some of these tractable cases are new and have not been previously identified in the literature.

Keywords

Constraint satisfaction problems Complexity Finite totally ordered domains Inequalities Clausal patterns Dichotomy theorem 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baaz, M., Fermüller, C.G., Salzer, G.: Automated deduction for many-valued logics. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 2, pp. 1355–1402. Elsevier, Amsterdam (2001). Chap. 20 Google Scholar
  2. 2.
    Bulatov, A.A.: A dichotomy theorem for constraints on a three-element set. In: Proceedings 43rd Symposium on Foundations of Computer Science (FOCS 2002), Vancouver (British Columbia, Canada), November 2002, pp. 649–658 Google Scholar
  3. 3.
    Bulatov, A.A.: Tractable conservative constraint satisfaction problems. In: Proceedings 18th IEEE Symposium on Logic in Computer Science (LICS 2003), Ottawa (Canada), June 2003, pp. 321–330 Google Scholar
  4. 4.
    Bulatov, A., Jeavons, P., Krokhin, A.: Constraint satisfaction problems and finite algebras. Technical Report TR-4-99, Oxford University Computing Laboratory (1999) Google Scholar
  5. 5.
    Bulatov, A., Jeavons, P., Krokhin, A.: Classifying the complexity of constraints using finite algebras. SIAM J. Comput. 34(3), 720–742 (2005) zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Cohen, D., Jeavons, P., Jonsson, P., Koubarakis, M.: Building tractable disjunctive constraints. J. Assoc. Comput. Mach. 47(5), 826–853 (2000) MathSciNetGoogle Scholar
  7. 7.
    Creignou, N., Khanna, S., Sudan, M.: Complexity Classifications of Boolean Constraint Satisfaction Problems. SIAM Monographs on Discrete Mathematics and Applications, vol. 7. SIAM, Philadelphia (2001) zbMATHGoogle Scholar
  8. 8.
    Dalmau, V.: Constraint satisfaction problems in non-deterministic logarithmic space. In: Widmayer, P., Triguero Ruiz, F., Morales Bueno, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) Proceedings 29th International Conference on Automata, Languages, and Programming (ICALP 2002). Malaga (Spain). Lecture Notes in Computer Science, vol. 2380, pp. 414–425. Springer, New York (2002) Google Scholar
  9. 9.
    Feder, T., Vardi, M.Y.: The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory. SIAM J. Comput. 28(1), 57–104 (1998) zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Gil, A., Hermann, M., Salzer, G., Zanuttini, B.: Efficient algorithms for constraint description problems over finite totally ordered domains. In: Basin, D., Rusinowitch, M. (eds.) Proceedings 2nd International Joint Conference on Automated Reasoning (IJCAR’04), Cork (Ireland). Lecture Notes in Computer Science, vol. 3097, pp. 244–258. Springer, New York (2004) Google Scholar
  11. 11.
    Hähnle, R.: Complexity of many-valued logics. In: Proceedings 31st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2001), Warsaw (Poland), pp. 137–148. IEEE Computer Society (May 2001) Google Scholar
  12. 12.
    Hell, P., Nešetřil, J.: Graphs and Homomorphisms. Oxford University Press, Oxford (2004) zbMATHGoogle Scholar
  13. 13.
    Jeavons, P., Cooper, M.C.: Tractable constraints on ordered domains. Artif. Intell. 79(2), 327–339 (1995) zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Kolaitis, P.G., Vardi, M.Y.: Conjunctive-query containment and constraint satisfaction. J. Comput. Syst. Sci. 61(2), 302–332 (2000) zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Ladner, R.E.: On the structure of polynomial time reducibility. J. Assoc. Comput. Mach. 22(1), 155–171 (1975) zbMATHMathSciNetGoogle Scholar
  16. 16.
    Schaefer, T.J.: The complexity of satisfiability problems. In: Proceedings 10th Symposium on Theory of Computing (STOC’78), San Diego (California, USA), pp. 216–226 (1978) Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Nadia Creignou
    • 1
  • Miki Hermann
    • 2
  • Andrei Krokhin
    • 3
  • Gernot Salzer
    • 4
  1. 1.LIF (CNRS, UMR 6166)Univ. de la MéditerranéeMarseille cedex 9France
  2. 2.LIX (CNRS, UMR 7161)École PolytechniquePalaiseau cedexFrance
  3. 3.Department of Computer ScienceUniversity of DurhamDurhamUK
  4. 4.Technische Universität WienViennaAustria

Personalised recommendations