Backtracking Ant System For The Traveling Salesman Problem
Backtracking Ant System For The Traveling Salesman Problem
Backtracking Ant System For The Traveling Salesman Problem
Sameh Al-Shihabi
1 Introduction
The Traveling Salesman Problem (TSP) consists of a number of nodes that are
fully connected by edges and it is required to visit all of these nodes, return to
the starting city and avoid the formation of sub tours. An arc between city i and
city j is penalized an amount dij and the objective of the TSP is to minimize
the sum of these penalties[4].
Ant Colony Optimization (ACO) algorithms imitate the natural behavior of
ants in finding the shortest distance between their nests and food sources. Ants
exchange information about good routes through a chemical substance called
pheromone that accumulates for short routes and evaporate for long routes. The
first ACO algorithm is the Ant system (AS) [2] that did not show good results
with respect to solving large TSPs.
Different modification to the original AS are introduced to improve the qual-
ity of the solution such as having local and global updating of the pheromone
matrix as in the Ant Colony system (ACS) [3] or allowing certain ants only
to update the pheromone matrix [2] . The Max-Min Ant System (MMAS)[8]
modifies the AS by keeping the pheromone values within a range [τmax , τmin ]
to ensure that there is an upper bound to the probability that a certain edge is
selected [8].
This work adopts a number of concepts from the Nested Partition (NP)
algorithm and adds it to the MMAS. The Nested partition (NP) [6, 5] algorithm
is based on adaptive sampling where the algorithm moves from a subregion to
another in the feasible space rather than moving between solution points. At
M. Dorigo et al. (Eds.): ANTS 2004, LNCS 3172, pp. 318–325, 2004.
c Springer-Verlag Berlin Heidelberg 2004
Backtracking Ant System for the Traveling Salesman Problem 319
each step of the NP method, the most promising subregion is divided into M
subregions while the abandoned subregions are aggregated to form a surrounding
subregion. These M + 1 subregions are sampled and a promising index is used to
choose which subregion is the most promising to be partitioned further, hence,
more closely inspected. The algorithm backtracks to a larger subregion if the
surrounding subregion is found to be the most promising. The algorithm stops
once it reaches a subregion that cannot be partitioned further.
This work presents a new type of AS that called Backtracking Ant System
(BAS). Similar to the NP algorithm, the BAS moves from a subset of the feasible
region to another. The proposed algorithm uses a new type of ant called Back-
tracking Ant (BA) to find new routes, in a manner similar to the sampling of the
surrounding subregion in the NP algorithm. If a BA finds a shorter tour than
the incumbent one, the algorithm backtracks to a larger subregion containing
the new sample. The BAS is tested in this work by solving the TSP.
A hybrid between the MMAS and NP is already implemented in [1]. The
sampling scheme implemented in [1] uses ants for finding some samples then
finds other samples by perturbing the ants’ tours. This work is different from [1]
since it does not implement the partitioning step and does not sample the sub-
regions resulting from partitioning the most promising subregion. Additionally,
all samples are found by ants in this work.
2 BAS Algorithm
Due to the large number of symbols used to describe the proposed algorithm,
this section begins by summarizing the notation used. We try to keep the same
MMAS notation used in [8] and some of the NP notation used in [6]. The BAS
algorithm consists of a number of steps and these steps are explained using an
assumed problem instance having 5 cities that are numbered as 0, 1, ..., 4.