The island confinement method for reducing search space in local search methods

  • Authors:

  • H. Fang;Y. Kilani;J. H. Lee;P. J. Stuckey

  • Affiliations:

  • Department of Computer Science, Yale University, New Haven, USA;Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong;Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong;NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, Melbourne, Australia

  • Venue:
  • Journal of Heuristics
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Typically local search methods for solving constraint satisfaction problems such as GSAT, WalkSAT, DLM, and ESG treat the problem as an optimisation problem. Each constraint contributes part of a penalty function in assessing trial valuations. Local search examines the neighbours of the current valuation, using the penalty function to determine a "better" neighbour valuation to move to, until finally a solution which satisfies all the constraints is found. In this paper we investigate using some of the constraints as "hard" constraints, that are always satisfied by every trial valuation visited, rather than as part of a penalty function. In this way these constraints reduce the possible neighbours in each move and also the overall search space. The treating of some constraints as hard requires that the space of valuations that are satisfied is "connected" in order to guarantee that a solution can be found from any starting position within the region; thus the concept of islands and the name "island confinement method" arises. Treating some constraints as hard provides new difficulties for the search mechanism since the search space becomes more jagged, and there are more deep local minima. A new escape strategy is needed. To demonstrate the feasibility and generality of our approach, we show how the island confinement method can be incorporated in, and significantly improve, the search performance of two successful local search procedures, DLM and ESG, on SAT problems arising from binary CSPs.