A space-efficient backtrack-free REPRESENTATION FOR CONSTRAINT SATISFACTION PROBLEMS

this paper we present a radical approach to obtaining a baditrack-free represenlation for a constraint satisfaction problem: remove values that lead to dead-ends. This technique does not require additional space but has the drawback of removing solutions. We investigate a number of variations on the basic algorithm including the use of seed solutions, consistency techniques, and a variety of pruning heuristics. Our experimental results indicate that a significant proportion of the solutions to the original problem can be retained especially when an optimization algorithm that specifically searches for such "good " backtrack-free representations is employed. Further extensions increase solution retention by searching for high-coverage backtrack-free representations, by removing tuples rather than values, and by combining multiple backtrack-he representations. Our approach.. elucidates, for the first Lime, a three-way trade-off between space complexity,.. potential backtrack, and solution loss and enables algorithms that can actively reason about the tradcoff between space, backtracks, and solution loss. Keywords: Backtrack-free search; space efficienl; constraint satisfaction; consistency pr