Advertisement

MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems

  • Christian Bessière
  • Jean-Charles Régin
Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1118)

Abstract

In the last twenty years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased to such an extent that it quickly became necessary to compare their performances in order to propose a small number of “good” methods. These comparisons often led us to consider FC or FC-CBJ associated with a “minimum domain” variable ordering heuristic as the best techniques to solve a wide variety of constraint networks.

In this paper, we first try to convince once and for all the CSP community that MAC is not only more efficient than FC to solve large practical problems, but it is also really more efficient than FC on hard and large random problems. Afterwards, we introduce an original and efficient way to combine variable ordering heuristics. Finally, we conjecture that when a good variable ordering heuristic is used, CBJ becomes an expensive gadget which almost always slows down the search, even if it saves a few constraint checks.

Keywords

Domain Size Constraint Satisfaction Hard Problem Constraint Satisfaction Problem Constraint Network 
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.
    F. Bacchus and P. van Run. Dynamic variable ordering in csps. In Proceedings CP '95, pages 258–275, Cassis, France, 1995.Google Scholar
  2. 2.
    C. Bessière. Systèmes à contraintes évolutifs en intelligence artificielle. Phd thesis, LIRMM, University of Montpellier II, September 1992. (in French).Google Scholar
  3. 3.
    C. Bessière, E.C. Freuder, and J.C. Régin. Using inference to reduce arc consistency computation. In Proceedings IJCAI'95, pages 592–598, Montréal, Canada, 1995.Google Scholar
  4. 4.
    R. Dechter. Learning while searching in constraint satisfaction problems. In Proceedings AAAI'86, pages 178–183, Philadelphia PA, 1986.Google Scholar
  5. 5.
    R. Dechter and I. Meiri. Experimental evaluation of preprocessing algorithms for constraint satisfaction problems. Artificial Intelligence, 68:211–241, 1994.Google Scholar
  6. 6.
    R. Dechter and I. Pearl. Network-based heuristics for constraint-satisfaction problems. Artificial Intelligence, 34:1–38, 1988.Google Scholar
  7. 7.
    M.J. Dent and R.E. Mercer. Using local topology to model hard binary constraint satisfaction problems. In Proceedings of the workshop —Studying and Solving Really Hard Problems-CP'95, pages 52–61, Cassis, France, 1995.Google Scholar
  8. 8.
    O Dubois. Private communication, 1995.Google Scholar
  9. 9.
    E.C. Freuder. A sufficient condition for backtrack-free search. Journal of the ACM, 29(1):24–32, 1982.Google Scholar
  10. 10.
    D. Frost and R. Dechter. In search of the best constraint satisfaction search. In Proceedings AAAI'94, pages 301–306, Seattle WA, 1994.Google Scholar
  11. 11.
    D. Frost and R. Dechter. Look-ahead value ordering for constraint satisfaction problems. In Proceedings IJCAI-95, pages 572–578, Montréal, Canada, 1995.Google Scholar
  12. 12.
    J. Gaschnig. A general backtrack algorithm that eliminates most redundant tests. In froceedings IJCAI'77, page 457, Cambridge MA, 1977.Google Scholar
  13. 13.
    J Gaschnig. Performance measurement and analysis of certain search algorithms. Technical Report CMU-CS-79-124, Carnegie-Mellon University, Pittsburgh PA, 1979.Google Scholar
  14. 14.
    P.A.Geelen. Dual viewpoint heuristics for binary constraint satisfaction problems. In Proceedings ECAI'92, pages 31–35, Vienna, Austria, 1992.Google Scholar
  15. 15.
    M.L. Ginsberg, M. Frank, M.P. Halpin, and M.C. Torrance. Search lessons learned from crossword puzzles. In Proceedings AAAI'90, pages 210–215, Boston MA, 1990.Google Scholar
  16. 16.
    R.M. Haralick and G.L. Elliot. Increasing tree seach efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263–313, 1980.Google Scholar
  17. 17.
    W.D. Harvey and M.L. Ginsberg. Limited discrepancy search. In Proceedings IJCAI'95, pages 607–613, Montréal, Canada, 1995.Google Scholar
  18. 18.
    P.D. Hubbe and E.C. Freuder. An efficient cross product representation of the constraint satisfaction problem search space. In Proceedings AAAI'92, pages 421–427, San José CA, 1992.Google Scholar
  19. 19.
    V. Kumar. Algorithms for constraint-satisfaction problems: A survey. AI Magazine, 13(1):32–44, Spring 1992.Google Scholar
  20. 20.
    B.A. Nadel. Tree search and arc consistency in constraint satisfaction algorithms. In L.Kanal and V.Kumar, editors, Search in Artificial Intelligence, pages 287–342. Springer-Verlag, 1988.Google Scholar
  21. 21.
    B.A. Nadel. Constraint satisfaction algorithms. Computational Intelligence, 5:188–224, 1989.Google Scholar
  22. 22.
    P. Prosser. Domain filtering can degrade intelligent backtracking search. In Proceedings IJCAI'93, pages 262–267, Chambéry, France, 1993.Google Scholar
  23. 23.
    P. Prosser. Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence, 9(3):268–299, August 1993.Google Scholar
  24. 24.
    P. Prosser. Binary constraint satisfaction problems: some are harder than others. In Proceedings ECAI'94, pages 95–99, Amsterdam, The Netherlands, 1994.Google Scholar
  25. 25.
    P. Prosser. Mac-cbj: maintaining arc consistency with conflict-directed backjumping. Technical Report 95-177, Department of Computer Science, University of Starthclyde, 1995.Google Scholar
  26. 26.
    J.F. Puget. Ilog solver. In J. Gensel, editor, Journées Contraintes et Objets, Grenoble, France, November 1992. (in French).Google Scholar
  27. 27.
    P.W. Purdom. Search rearrangement backtracking and polynomial average time. Artificial Intelligence, 21:117–133, 1983.Google Scholar
  28. 28.
    D. Sabin and E. Freuder. Contradicting conventional wisdom in constraint satisfaction. In Alan Borning, editor, PPCP'94: Second Workshop on Principles and Practice of Constraint Programming, Seattle WA, May 1994.Google Scholar
  29. 29.
    B. Smith. The phase transition in constraint satisfaction problems: A closer look at the mushy region. In Proceedings ECAI'94, pages 100–104, Amsterdam, The Netherlands, 1994.Google Scholar
  30. 30.
    B. Smith and S.A. Grant. Sparse constraint graphs and exceptionally hard problems. In Proceedings IJCAI'95, pages 646–651, Montréal, Canada, 1995.Google Scholar
  31. 31.
    B. Smith and S.A. Grant. Where the exceptionally hard problems are. In Proceedings of the workshop —Studying and Solving Really Hard Problems-, CP'95, pages 172–182, Cassis, France, 1995.Google Scholar
  32. 32.
    Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, 1989.Google Scholar
  33. 33.
    R. J. Wallace and E.C. Freuder. Conjunctive width heuristics for maximal constraint satisfaction. In Proceedings AAAI'93, pages 762–768, Washington D.C., 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Christian Bessière
    • 1
  • Jean-Charles Régin
    • 2
  1. 1.LIRMM (UMR 5506 CNRS)Montpellier cedex 5France
  2. 2.ILOG S.A.Gentilly CedexFrance

Personalised recommendations