{"type":"ScholarlyArticle","title":"Sparse Constraint Graphs and Exceptionally Hard Problems","authors":[{"name":"Barbara M. Smith","slug":"barbara-m-smith","given":"Barbara M.","family":"Smith","affiliation":""},{"name":"Stuart A. Grant","slug":"stuart-a-grant","given":"Stuart A.","family":"Grant","affiliation":""}],"abstract":"Many types of problem exhibit a phase transition as a problem parameter is varied, from a region where most problems are easy and soluble to a region where most problems are easy but insoluble. In the intervening phase transition region, the median problem difficulty is greatest. However, occasional exceptionally hard problems (ehps) can be found in the easy and soluble region; these problems can be much harder than any problem occurring in the phase transition. We show that, in binary constraint satisfaction problems, ehps are much more likely to occur when the constraints are sparse than when they are dense. Ehps occur when the search algorithm encounters a large insoluble subproblem at an early stage; the exceptional difficulty is due to the cost of searching the subproblem to prove insolubility. This cost can be dramatically reduced by using conflict-directed backjumping (CBJ) rather than a chronological backtracker. However, when used with forward checking and the fail-first heuristic, it is only on ehps that CBJ gives great savings over backtracking chronologically.","doi":null,"url":"https://ijcai.org/proceedings/1995/85","pdf":"https://ijcai.org/proceedings/1995/0085.pdf","markdown":"https://ijcai.org/proceedings/1995/85.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/85","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraint Satisfaction","track":"Constraint Satisfaction","number":85,"pages":{"first":646,"last":653},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}