TY - JOUR
T1 - Epsilon-transformation
T2 - Exploiting phase transitions to solve combinatorial optimization problems
AU - Pemberton, Joseph C.
AU - Zhang, Weixiong
N1 - Funding Information:
Keywords: Problem solving; Combinatorialo ptimiziation; Search; Branch and bound; ComplexiPtyh;a se transitions;T ransformation;T raveling salesman problem; Boolean satisfiability * This research was conducted while both authors were at the ComputerS cience Department,U niversity of California at Los Angeles (UCLA), CA, USA. The research was supportedb y NSF Grant No. IRI-9119825, a grant from Rockwell International, a GTE graduate fellowship (1992-93). and a UCLA Chancellor’s Dissertation Year Fellowship ( 1993-94). ’ E-mail: [email protected]. RL: http://www.cirl.uoregon.edu/pemherto. ‘Corresponding author. E-mail: [email protected]. URL: http://isi.edu/isd/zhang.
PY - 1996/3
Y1 - 1996/3
N2 - It has been shown that there exists a transition in the average-case complexity of tree search problems, from exponential to polynomial in the search depth. We develop a new method, called ε-transformation, which makes use of this complexity transition, to find a suboptimal solution. With a random tree model, we show that, as the tree depth approaches infinity, the expected number of nodes expanded by branch-and-bound (BnB) using ε-transformation is at most cubic in the search depth, and that the relative error of the solution cost found with respect to the optimal solution cost is bounded above by a small constant. We also present an iterative version of ε-transformation that can be used to find both suboptimal and optimal goal nodes. Depth-first BnB (DFBnB) using iterative ε-transformation significantly improves upon DFBnB on random trees with large branching factors and deep goal nodes, finding a better solution sooner. We then present experimental results for ε-transformation and iterative ε-transformation on the asymmetric traveling salesman problem (ATSP) and the maximum boolean satisfiability problem, and identify the conditions under which these two methods are effective. On the ATSP, DFBnB using ε-transformation outperforms a well-known local search method, and DFBnB using iterative ε-transformation improves upon DFBnB.
AB - It has been shown that there exists a transition in the average-case complexity of tree search problems, from exponential to polynomial in the search depth. We develop a new method, called ε-transformation, which makes use of this complexity transition, to find a suboptimal solution. With a random tree model, we show that, as the tree depth approaches infinity, the expected number of nodes expanded by branch-and-bound (BnB) using ε-transformation is at most cubic in the search depth, and that the relative error of the solution cost found with respect to the optimal solution cost is bounded above by a small constant. We also present an iterative version of ε-transformation that can be used to find both suboptimal and optimal goal nodes. Depth-first BnB (DFBnB) using iterative ε-transformation significantly improves upon DFBnB on random trees with large branching factors and deep goal nodes, finding a better solution sooner. We then present experimental results for ε-transformation and iterative ε-transformation on the asymmetric traveling salesman problem (ATSP) and the maximum boolean satisfiability problem, and identify the conditions under which these two methods are effective. On the ATSP, DFBnB using ε-transformation outperforms a well-known local search method, and DFBnB using iterative ε-transformation improves upon DFBnB.
KW - Boolean satisfiability
KW - Branch and bound
KW - Combinatorial optimiziation
KW - Complexity
KW - Phase transitions
KW - Problem solving
KW - Search
KW - Transformation
KW - Traveling salesman problem
UR - https://www.scopus.com/pages/publications/0030108572
U2 - 10.1016/0004-3702(95)00057-7
DO - 10.1016/0004-3702(95)00057-7
M3 - Article
AN - SCOPUS:0030108572
SN - 0004-3702
VL - 81
SP - 297
EP - 325
JO - Artificial Intelligence
JF - Artificial Intelligence
IS - 1-2
ER -