Advertisement

Domain Reduction for Valued Constraints by Generalising Methods from CSP

  • Martin C. CooperEmail author
  • Wafa Jguirim
  • David A. Cohen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11008)

Abstract

For classical CSPs, the absence of broken triangles on a pair of values allows the merging of these values without changing the satisfiability of the instance, giving experimentally verified reduction in search time. We generalise the notion of broken triangles to VCSPs to obtain a tractable value-merging rule which preserves the cost of a solution.

We then strengthen this value merging rule by using soft arc consistency to remove soft broken triangles and we show that the combined rule generalises known notions of domain value substitutability and interchangeability. Unfortunately the combined rules are no longer tractable to apply, but can still have applications as heuristics for reducing the search space.

Finally we consider the generalisation of another value-elimination rule for CSPs to binary VCSPs. This new rule properly generalises neighbourhood substitutability and so we expect it will also have practical applications.

Keywords

Valued Constraint Satisfaction Problem Value merging Value elimination Tractability 

Notes

Acknowledgements

We would like to thank Wady Naanaa for useful discussion concerning the generalisation to the general-arity case.

References

  1. 1.
    Alfonsín, J.L.R.: On variations of the subset sum problem. Discrete Appl. Math. 81(1–3), 1–7 (1998)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Cohen, D.A., Cooper, M.C., Escamocher, G., Zivny, S.: Variable and value elimination in binary constraint satisfaction via forbidden patterns. J. Comput. Syst. Sci. 81(7), 1127–1143 (2015)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Cohen, D.A., Jeavons, P., Jefferson, C., Petrie, K.E., Smith, B.M.: Symmetry definitions for constraint satisfaction problems. Constraints 11(2–3), 115–137 (2006)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Cooper, M.C.: An optimal k-consistency algorithm. Artif. Intell. 41(1), 89–95 (1989)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Cooper, M.C.: Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets Syst. 134(3), 311–342 (2003)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Cooper, M.C.: Beyond consistency and substitutability. In: O’Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 256–271. Springer, Cham (2014).  https://doi.org/10.1007/978-3-319-10428-7_20CrossRefGoogle Scholar
  7. 7.
    Cooper, M.C., Duchein, A., Mouelhi, A.E., Escamocher, G., Terrioux, C., Zanuttini, B.: Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems. Artif. Intell. 234, 196–218 (2016)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Cooper, M., de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., Werner, T.: Soft arc consistency revisited. Artif. Intell. 174(7), 449–478 (2010)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Freuder, E.C.: Eliminating interchangeable values in constraint satisfaction problems. In: Dean, T.L., McKeown, K. (eds.) Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, 14–19 July 1991, vol. 1, pp. 227–233. AAAI Press/The MIT Press (1991)Google Scholar
  10. 10.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York (1990)zbMATHGoogle Scholar
  11. 11.
    Gent, I.P., Petrie, K.E., Puget, J.F.: Symmetry in constraint programming. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol. 2, pp. 329–376. Elsevier (2006)Google Scholar
  12. 12.
    de Givry, S., Prestwich, S.D., O’Sullivan, B.: Dead-end elimination for weighted CSP. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 263–272. Springer, Heidelberg (2013).  https://doi.org/10.1007/978-3-642-40627-0_22CrossRefGoogle Scholar
  13. 13.
    Goldstein, R.: Efficient rotamer elimination applied to protein side-chains and related spin glasses. Biophys. J. 66(5), 1335–1340 (1994)CrossRefGoogle Scholar
  14. 14.
    Guerinik, N., Van Caneghem, M.: Solving crew scheduling problems by constraint programming. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976, pp. 481–498. Springer, Heidelberg (1995).  https://doi.org/10.1007/3-540-60299-2_29CrossRefGoogle Scholar
  15. 15.
    van Hoeve, W.J., Katriel, I.: Global constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol. 2, pp. 169–208. Elsevier (2006)Google Scholar
  16. 16.
    Jeavons, P., Cohen, D., Cooper, M.: A substitution operation for constraints. In: Borning, A. (ed.) PPCP 1994. LNCS, vol. 874, pp. 1–9. Springer, Heidelberg (1994).  https://doi.org/10.1007/3-540-58601-6_85CrossRefGoogle Scholar
  17. 17.
    Lecoutre, C., Roussel, O., Dehani, D.E.: WCSP integration of soft neighborhood substitutability. In: Milano, M. (ed.) CP 2012. LNCS, pp. 406–421. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-33558-7_31CrossRefGoogle Scholar
  18. 18.
    Likitvivatanavong, C., Yap, R.H.C.: Eliminating redundancy in CSPs through merging and subsumption of domain values. SIGAPP Appl. Comput. Rev. 13(2), 20–29 (2013)CrossRefGoogle Scholar
  19. 19.
    Roney-Dougal, C.M., Gent, I.P., Kelsey, T., Linton, S.: Tractable symmetry breaking using restricted search trees. In: Proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 211–215 (2004)Google Scholar
  20. 20.
    Senkul, P., Toroslu, I.H.: An architecture for workflow scheduling under resource allocation constraints. Inf. Syst. 30(5), 399–422 (2005)CrossRefGoogle Scholar
  21. 21.
    Smith, B.M., Bistarelli, S., O’Sullivan, B.: Constraint symmetry for the soft CSP. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 872–879. Springer, Heidelberg (2007).  https://doi.org/10.1007/978-3-540-74970-7_66CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Martin C. Cooper
    • 1
    Email author
  • Wafa Jguirim
    • 1
    • 2
  • David A. Cohen
    • 3
  1. 1.IRIT, University of Toulouse IIIToulouseFrance
  2. 2.National School of Computer ScienceUniversity of ManoubaManoubaTunisia
  3. 3.Department of Computer ScienceRoyal Holloway, University of LondonEghamUK

Personalised recommendations