Backbone analysis and algorithm design for the quadratic assignment problem

As the hot line in NP-hard problems research in recent years, backbone analysis is crucial for phase transition, hardness, and algorithm design. Whereas theoretical analysis of backbone and its applications in algorithm design are still at a beginning state yet, this paper took the quadratic assignment problem (QAP) as a case study and proved by theoretical analysis that it is NP-hard to find the backbone, i.e., no algorithm exists to obtain the backbone of a QAP in polynomial time. Results of this paper showed that it is reasonable to acquire approximate backbone by intersection of local optimal solutions. Furthermore, with the method of constructing biased instances, this paper proposed a new meta-heuristic—biased instance based approximate backbone (BI-AB), whose basic idea is as follows: firstly, construct a new biased instance for every QAP instance (the optimal solution of the new instance is also optimal for the original one); secondly, the approximate backbone is obtained by intersection of multiple local optimal solutions computed by some existing algorithm; finally, search for the optimal solutions in the reduced space by fixing the approximate backbone. Work of the paper enhanced the research area of theoretical analysis of backbone. The meta-heuristic proposed in this paper provided a new way for general algorithm design of NP-hard problems as well.

[1]  Gilles Dequen,et al.  A backbone-search heuristic for efficient solving of hard 3-SAT formulae , 2001, IJCAI.

[2]  Riccardo Poli,et al.  New ideas in optimization , 1999 .

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

[4]  B. Freisleben,et al.  A comparison of memetic algorithms, tabu search, and ant colonies for the quadratic assignment problem , 1999, Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406).

[5]  Zvi Drezner,et al.  A New Genetic Algorithm for the Quadratic Assignment Problem , 2003, INFORMS J. Comput..

[6]  Weixiong Zhang,et al.  Configuration landscape analysis and backbone guided local search: Part I: Satisfiability and maximum satisfiability , 2004, Artif. Intell..

[7]  Franz Rendl,et al.  QAPLIB – A Quadratic Assignment Problem Library , 1997, J. Glob. Optim..

[8]  Weixiong Zhang,et al.  A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones , 2005, IJCAI.

[9]  Kenneth D. Boese,et al.  Cost Versus Distance In the Traveling Salesman Problem , 1995 .

[10]  Rémi Monasson,et al.  Determining computational complexity from characteristic ‘phase transitions’ , 1999, Nature.

[11]  S. E. Karisch,et al.  QAPLIB-A quadratic assignment problem library , 1991 .

[12]  Johannes Schneider,et al.  Searching for Backbones--a high-performance parallel algorithm for solving combinatorial optimization problems , 2003, Future Gener. Comput. Syst..

[13]  Marco Dorigo,et al.  The ant colony optimization meta-heuristic , 1999 .

[14]  Bernd Freisleben,et al.  Fitness Landscapes, Memetic Algorithms, and Greedy Operators for Graph Bipartitioning , 2000, Evolutionary Computation.

[15]  Teofilo F. Gonzalez,et al.  P-Complete Approximation Problems , 1976, J. ACM.

[16]  Corso Elvezia Ant Colonies for the QAP , 1997 .

[17]  M Dorigo,et al.  Ant colonies for the quadratic assignment problem , 1999, J. Oper. Res. Soc..

[18]  Valnir Ferreira Backbone Guided Dynamic Local Search for Propositional Satisfiability , 2006, ISAIM.

[19]  Hartmut Schmeck,et al.  Multi Colony Ant Algorithms , 2002, J. Heuristics.

[20]  Zvi Drezner,et al.  The extended concentric tabu for the quadratic assignment problem , 2005, Eur. J. Oper. Res..

[21]  Shin Ishii,et al.  Doubly constrained network for combinatorial optimization , 2002, Neurocomputing.

[22]  Zou Peng,et al.  A Multilevel Reduction Algorithm to TSP , 2003 .

[23]  Toby Walsh,et al.  Backbones in Optimization and Approximation , 2001, IJCAI.

[24]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[25]  Panos M. Pardalos,et al.  The Fifth Metaheuristics International Conference ? ?-1 GRASP with path-relinking for the QAP , 2022 .

[26]  C. R. Reeves,et al.  Landscapes, operators and heuristic search , 1999, Ann. Oper. Res..

[27]  Kazuo Tsuchiya,et al.  A deterministic annealing algorithm for a combinatorial optimization problem using replicator equations , 2001 .

[28]  Toby Walsh,et al.  The Backbone of the Travelling Salesperson , 2005, IJCAI.

[29]  Éric D. Taillard,et al.  FANT: Fast ant system , 1998 .

[30]  Zou Peng,et al.  Approximate-Backbone Guided Fast Ant Algorithms to QAP , 2005 .