Depth-First Search versus Jurema Search on GPU Branch-and-Bound Algorithms: a case study

Branch-and-Bound (B&B) is a general problem solving paradigm and it has been successfully used to prove optimality of combinatorial optimization problems. The development of GPU-based parallel Branch-and-Bound algorithm is a brandnew and challenging topic on high performance computing and combinatorial optimization, motivated by GPU’s high performance and low cost. This work presents a strategy designed to parallelize Jurema searchbased B&B algorithms on GPUs, evaluated for the Asymmetric Traveling Salesman Problem, called Juremal. Jurema search is mainly based on DFS concepts, developed to mitigate DFS-B&B flaws. Results show the search strategy chosen (DFS or Jurema) is not critical in GPU DFS-B&B algorithms. However, it is necessary to develop a trigger mechanism to determine if the process must be halted and the remaining search space redistributed. Strategies to reduce serialization of instructions are also needed, in order to obtain higher speedups in GPU DFS-B&B based algorithms.

[1]  Weixiong Zhang,et al.  Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem , 2011, J. Artif. Intell. Res..

[2]  Tiago Carneiro Pessoa,et al.  JUREMA , A NEW BRANCH & BOUND ANYTIME ALGORITHM FOR THE ASYMMETRIC TRAVELLING SALESMAN PROBLEM , 2010 .

[3]  Boris Goldengorin,et al.  Lower tolerance-based Branch and Bound algorithms for the ATSP , 2012, Comput. Oper. Res..

[4]  Mark Oskin,et al.  Using modern graphics architectures for general-purpose computing: a framework and analysis , 2002, 35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002. (MICRO-35). Proceedings..

[5]  Imen Chakroun,et al.  New Results - Reducing Thread Divergence in GPU-based B&B Applied to the Flow-shop Problem , 2011 .

[6]  Weixiong Zhang,et al.  Depth-First Branch-and-Bound versus Local Search: A Case Study , 2000, AAAI/IAAI.

[7]  Richard E. Korf,et al.  Depth-First vs. Best-First Search: New Results , 1993, AAAI.

[8]  Alan Tucker,et al.  Applied combinatorics (3rd ed.) , 1994 .

[9]  Bernard Gendron,et al.  Parallel Branch-and-Branch Algorithms: Survey and Synthesis , 1994, Oper. Res..

[10]  Imen Chakroun,et al.  Reducing Thread Divergence in GPU-Based B&B Applied to the Flow-Shop Problem , 2011, PPAM.

[11]  Gustavo Augusto Lima de Campos,et al.  A New Parallel Schema for Branch-and-Bound Algorithms Using GPGPU , 2011, 2011 23rd International Symposium on Computer Architecture and High Performance Computing.

[12]  Nageshwara Rae Vempaty,et al.  Depth-First vs , 1991 .

[13]  Weixiong Zhang,et al.  The Asymmetric Traveling Salesman Problem: Algorithms, Instance Generators, and Tests , 2001, ALENEX.

[14]  Selim G. Akl,et al.  Design and analysis of parallel algorithms , 1985 .

[15]  David Pisinger,et al.  Where are the hard knapsack problems? , 2005, Comput. Oper. Res..

[16]  Jens Clausen,et al.  On the best search strategy in parallel branch‐and‐bound:Best‐First Search versus Lazy Depth‐First Search , 1999, Ann. Oper. Res..

[17]  Weixiong Zhang Branch-and-Bound Search Algorithms and Their Computational Complexity. , 1996 .

[18]  Vipin Kumar,et al.  Parallel Search Algorithms for Discrete Optimization Problems , 1995, INFORMS J. Comput..

[19]  Alan Tucker,et al.  Applied Combinatorics , 1980 .

[20]  Vipin Kumar,et al.  Unstructured Tree Search on SIMD Parallel Computers , 1994, IEEE Trans. Parallel Distributed Syst..