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 ... -
Towards a Theoretical Understanding of the Power of Restart in SAT solvers
Li, Chunxiao (University of Waterloo, 2019-09-09)Restart policy is a widely used class of techniques integral to the efficiency of conflict-driven clause-learning (CDCL) SAT solvers. While the utility of such policies has been well-established, to-date we still lack a ... -
Continuous Modification of Polypropylene Via Photoinitiation
Amintowlieh, Yasaman; Tzoganakis, Costas; Penlidis, Alexander (Wiley, 2015-07-03)A twin screw extruder was used for continuous modification of polypropylene (PP) via UV radiation. Long chain branches were incorporated in the PP backbone to modify its rheological properties. Benzophenone (BPH) as ...