Trying Again to Fail-First

  • J. Christopher Beck
  • Patrick Prosser
  • Richard J. Wallace
Conference paper

DOI: 10.1007/11402763_4

Volume 3419 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Beck J.C., Prosser P., Wallace R.J. (2005) Trying Again to Fail-First. In: Faltings B.V., Petcu A., Fages F., Rossi F. (eds) Recent Advances in Constraints. CSCLP 2004. Lecture Notes in Computer Science, vol 3419. Springer, Berlin, Heidelberg

Abstract

For constraint satisfaction problems (CSPs), Haralick & Elliott [1] introduced the Fail-First Principle and defined in it terms of minimizing branch depth. By devising a range of variable ordering heuristics, each in turn trying harder to fail first, Smith & Grant [2] showed that adherence to this strategy does not guarantee reduction in search effort. The present work builds on Smith & Grant. It benefits from the development of a new framework for characterizing heuristic performance that defines two policies, one concerned with enhancing the likelihood of correctly extending a partial solution, the other with minimizing the effort to prove insolubility. The Fail-First Principle can be restated as calling for adherence to the second, fail-first policy, while discounting the other, promise policy. Our work corrects some deficiencies in the work of Smith & Grant, and goes on to confirm their finding that the Fail-First Principle, as originally defined, is insufficient. We then show that adherence to the fail-first policy must be measured in terms of size of insoluble subtrees, not branch depth. We also show that for soluble problems, both policies must be considered in evaluating heuristic performance. Hence, even in its proper form the Fail-First Principle is insufficient. We also show that the “FF” series of heuristics devised by Smith & Grant is a powerful tool for evaluating heuristic performance, including the subtle relations between heuristic features and adherence to a policy.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • J. Christopher Beck
    • 1
  • Patrick Prosser
    • 2
  • Richard J. Wallace
    • 3
  1. 1.Department of Mechanical & Industrial EngineeringUniversity of TorontoCanada
  2. 2.Department of Computer ScienceUniversity of GlasgowScotland
  3. 3.Cork Constraint Computation Center and Department of Computer ScienceUniversity College CorkIreland