Integrating Local-Search Advice Into Refinement Search (Or Not)

Recent work has shown the promise in using local-search “probes” as a basis for directing a backtracking-based refinement search. In this approach, the decision about the next refinement step is based on an interposed phase of constructing a complete (but not necessarily feasible) variable assignment. This assignment is then used to decide on which refinement to take, i.e., as a kind of variableand value-ordering strategy. In this paper, we further investigate this hybrid search approach. First, we evaluate methods for improving probe-based guidance, by basing refinement decisions not only on the final assignment of the probe-construction phase but also on information gathered during the probe-construction process. Second, we consider the relative strengths of probebased search control and search control that is biased by more classically motivated variableand value-ordering heuristics (incorporating domainspecific knowledge). The approaches are evaluated on various problems from the job-shop scheduling domain. Our results indicate that — while probe-based search performs better than an uninformed search — use of domain-specific knowledge proves to be a much more effective basis for search control than information about constraint interactions that is gained by local-search probes, and leads to substantially better performance.

[1]  Paul Walton Purdom,et al.  Probe Order Backtracking , 1997, SIAM J. Comput..

[2]  Mark Wallace,et al.  Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem , 2000, Electron. Notes Discret. Math..

[3]  J. Christopher Beck,et al.  Texture measurements as a basis for heuristic commitment techniques in constraint-directed scheduling , 1999 .

[4]  Richard J. Wallace,et al.  Constraint Programming and Large Scale Discrete Optimization , 2001 .

[5]  Stephen F. Smith,et al.  Applying constraint satisfaction techniques to job shop scheduling , 1997, Ann. Oper. Res..

[6]  Stephen F. Smith,et al.  Slack-Based Heuristics for Constraint Satisfaction Scheduling , 1993, AAAI.

[7]  Mark Wallace,et al.  Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling , 2000, Constraints.

[8]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[9]  Alexander Nareyek Using global constraints for local search , 1998, Constraint Programming and Large Scale Discrete Optimization.

[10]  David W. Hildum,et al.  Interactive Resource Management in the COMIREM Planner , 2003 .

[11]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[12]  Hani El Sakkout,et al.  Local Probing Applied to Scheduling , 2002, CP.

[13]  Philippe Baptiste,et al.  Constraint - based scheduling : applying constraint programming to scheduling problems , 2001 .

[14]  Stephen F. Smith,et al.  Amplification of Search Performance through Randomization of Heuristics , 2002, CP.