John Hooker
How to Relax
Relaxation is a theme that occurs in many problem solving methods. It
is often associated with optimization, but relaxation plays an equally
important role in finite-domain constraint programming and other
discrete methods. This talk surveys a wide variety of relaxation
methods, including linear relaxation and cutting planes, Lagrangean
relaxation, the domain store and related relaxations, state space
relaxation, relaxations in decomposition methods, as well as nonserial
dynamic programming, mini buckets, and other relaxations based on
simplifying the primal graph. Recognizing the role of relaxation can
suggest improvements based on strengthening the relaxation. Consistency
maintenance, for example, in effect strengthens relaxations. Other
approaches include the use of such knowledge compilation devices as
and/or trees and multivalued decision diagrams, and the solution of a
relaxation dual problem.