Local Probing Applied to Scheduling

• Authors: Olli Kamarainen;Hani El Sakkout
• Venue: CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
• Year: 2002

Thisp aper describes local probing, an algorithm hybridization form that combines backtrack search enhanced with local consistency techniques(B T+CS) with local search (LS) via probe backtracking. Generally BT+CS can be effective at finding solutions for (or proving the infeasibility of) tightly constrained problems with complex and overlapping constraints, but lacks good optimization characteristics. By contrast, LS can be superior at optimizing problems that are loosely constrained, or that have constraints which are satisfiable by simple neighbourhood procedures, but it also has several weaknesses of its own. It is weaker on problems with a complex constraint satisfaction element, and cannot prove problem infeasibility, causing prolonged execution times and ambiguous search outcomes for even trivially infeasible problems. We show these divergent characteristics on a general resource constrained scheduling problem class, extended with a widely applicable objective function.We then detail a local probing hybrid that marriesthe strengths of constraint satisfaction techniques, including good satisfaction characteristics and proofs of problem infeasibility, with the superior optimization characteristics of LS. This local probing hybrid achieves sat-completeness, without incorporating all the constraints into the LS neighbourhood function. Finally, we discuss the principal questions that must be answered in creating local probing hybrids for other problems.