Affiliation:
1. University of Michigan, Flint, USA
Abstract
This tutorial presents a novel search system—the Attractor-Based Search System (ABSS)—that can solve the Traveling Salesman Problem very efficiently with optimality guarantee. From the perspective of dynamical systems, a heuristic local search algorithm for an NP-complete combinatorial problem is a discrete dynamical system. In a local search system, an attractor drives the search trajectories into the vicinity of a globally optimal point in the solution space, and the convergence of local search trajectories makes the search system become a global and deterministic system. The attractor contains a small set of the most promising solutions to the problem. The attractor can reduce the problem size exponentially, and thus make the exhaustive search feasible. Therefore, this new search paradigm is called optimizing with attractor. The ABSS consists of two search phases: local search phase and exhaustive search phase. The local search process is used to quickly construct the attractor in the solution space, and the exhaustive search process is used to completely search the attractor to identify the optimal solution. Therefore, the exact optimal solution can be found quickly by combining local search and exhaustive search. This tutorial introduces the concept of an attractor in a local search system, and describes the process of optimizing with the attractor, using the Traveling Salesman Problem as the study platform.
Publisher
Association for Computing Machinery (ACM)
Reference120 articles.
1. Emile H. L. Aarts and Jan K. Lenstra. 2003. Local Search in Combinatorial Optimization. Princeton University Press, Princeton.
2. Kathleen T. Alligood, Tim D. Sauer, and James A. Yorke. 1997. Chaos: Introduction to Dynamical Systems. Springer, New York.
3. David L. Applegate, Robert E. Bixby, Vašek Chvátal, and William J. Cook. 2006. The Traveling Salesman Problem: A Computational Study. Princeton University Press, Princeton, NJ, USA.
4. David L. Applegate Robert E. Bixby Vašek Chvátal and William J. Cook. Concorde website. (March 2015). Retrieved November 15 2023 from https://www.math.uwaterloo.ca/tsp/concorde/index.html
5. Sanjeev Arora and Boaz Barak. 2009. Computational Complexity: A Modern Approach. Cambridge University Press, Cambridge.