AN EMPIRICAL STUDY OF DIFFERENT BRANCHING STRATEGIES FOR CONSTRAINT SATISFACTION PROBLEMS
Abstract
Many real life problems can be formulated as constraint satisfaction problems <i>(CSPs)</i>. Backtracking search algorithms are usually employed to solve <i>CSPs</i> and in backtracking search the choice of branching strategies can be critical since they specify how a search algorithm can instantiate a variable and how a problem can be reduced into subproblems; that is, they define a search tree. In spite of the apparent importance of the branching strategy, there have been only a few empirical studies about different branching strategies and they all have been tested exclusively for numerical constraints. In this thesis, we employ the three most commonly used branching strategies in solving finite domain <i>CSPs</i>. These branching strategies are described as follows: first, a branching strategy with strong commitment assigns its variables in the early stage of the search as in k-Way branching; second, 2-Way branching guides a search by branching one side with assigning a variable and the other with eliminating the assigned value; third, the domain splitting strategy, based on the least commitment principle, branches by dividing a variable's domain rather than by assigning a single value to a variable. In our experiments, we compared the efficiency of different branching strategies in terms of their execution times and the number of choice points in solving finite domain <i>CSPs</i>. Interestingly, our experiments provide evidence that the choice of branching strategy for finite domain problems does not matter much in most cases--provided we are using an effective variable ordering heuristic--as domain splitting and 2-Way branching end up simulating k-Way branching. However, for an optimization problem with large domain size, the branching strategy with the least commitment principle can be more efficient than the other strategies. This empirical study will hopefully interest other practitioners to take different branching schemes into consideration in designing heuristics.
Collections
Cite this version of the work
Vincent Se-jin Park
(2004).
AN EMPIRICAL STUDY OF DIFFERENT BRANCHING STRATEGIES FOR CONSTRAINT SATISFACTION PROBLEMS. UWSpace.
http://hdl.handle.net/10012/1193
Other formats
Related items
Showing items related by title, author, creator and subject.
-
Graft Polymers: From Dendrimer Hybrids to Latex Particles
Munam, Abdul (University of Waterloo, 2007-09-28)The research presented focused on the synthesis and the characterization of graft polymers, of interest either as model systems or for large-scale applications. The materials selected as substrates for grafting reactions ... -
Matrix Formulations of Matching Problems
Webb, Kerri (University of Waterloo, 2000)Finding the maximum size of a matching in an undirected graph and finding the maximum size of branching in a directed graph can be formulated as matrix rank problems. The Tutte matrix, introduced by Tutte as a representation ... -
Approaches to Tailoring the Structure and Properties of Polyethylene
Li Pi Shan, Colin (University of Waterloo, 2002)Alternative methods to control the molecular weight and short chain branching distribution of polyethylene were investigated. The ability to produce polyolefins with multimodal microstructural distributions using single ...