ant deposits a pheromone on the ground. All ants
can smell the pheromone while they walks.
Therefore, more pheromone on the path will
increase the probability of all ants to follow. In
short, the best paths will receive a greater deposit of
pheromones.
The pheromone trails in ACO serve as a
distributed, numerical information which the ants
use to probabilistically construct solutions to the
problem being solved and which the ants adapt
during the algorithm execution to reflect their search
experience.
The essential trait of ACO algorithms is the
combination of a priori information about the
structure of a promising solution with a posterior
information about the structure of previously
obtained good solutions.
Any high performing metaheuristic algorithm
has to achieve an appropriate balance between the
exploitation of the search experience gathered so far
and the exploration of unvisited or relatively
unexplored search space regions. In ACO several
ways exist of achieving such a balance, typically
through the management of the pheromone trails. In
fact, the pheromone trails induce a probability
distribution over the search space and determine
which parts of the search space are effectively
sampled. The management of pheromone trails is the
most important component of an ant system.
Exploration is a stochastic process in which the
choice of the component used to construct a solution
to the problem is made in a probabilistic way.
Exploitation chooses the component that maximises
a blend of pheromone trail values and partial
objective function evaluations.
The standard ACO algorithm uses pheromones
trail information to construct complete solutions.
Gambardella et al. (1999) in their paper present a
Hybrid Ant Colony System coupled with a local
search (HAS_QAP), applied to the quadratic
assignment problem (QAP). HAS-QAP uses
pheromone trail information to perform
modifications on QAP solutions. Our HACO
algorithm uses also pheromone trail information to
perform modifications on TA solutions, unlike
traditional ant systems that use pheromone trail
information to construct complete solutions.
In this paper we will also explore one of the most
successful emerging ideas combining local search
with a population based search algorithm. HACO
uses a modified ACO to explore several regions of
the search space and simultaneously incorporates a
mechanism (LS algorithm) to intensify the search
around some selected regions.
The first step for the HACO implementation
involves choosing a representation for the problem.
In this work, the solutions are represented using
integer vectors. We use the terminal-based
representation (Figure 2). Each position in the
vector corresponds to a terminal. The value carried
by position i of the chromosome specifies the
concentrator that terminal i is to be assigned to.
Figure 2: Terminal Based Representation.
For the TA, the set of pheromone trails is
maintained in a matrix T of size N*M, where the
entry T
ij
measures the desirability of assigning
terminal i to concentrator j.
The simplest way to exploit the ants search
experience is to make the pheromone update a
function of the solution quality achieved by each
particular ant. In HACO only the best solution found
during the search contributes to pheromone trail
updating (Gambardella et al. 1999). This makes the
search more aggressive and requires less time to
reach good solutions. Moreover, this has been
strengthened by an intensification mechanism. The
intensification mechanics is used to explore
neighbourhood more completely.
The algorithm uses also a diversification
mechanism after a pre-defined number of S
iterations without improving the best solution found
so far. Gambardella et al. (1999) have shown that
pheromone trail reinitialization, when combined
with appropriate choices for the pheromone trail
update can be very useful to refocus the search on a
different search space region and avoid the early
convergence of the algorithm.
HACO is based on the schematic algorithm of
Figure 3.
The main steps of HACO are the following:
Initialization of solutions – the initial solutions
can be created randomly or in a deterministic
form. The deterministic form is based in the
Greedy Algorithm proposed by Abuali et al.
(1994). This algorithm assigns terminals to the
closest feasible concentrator.
Evaluation of solutions – the fitness function is
responsible for performing this evaluation and
returning a positive number (fitness value)
that reflects how optimal the solution is. The
fitness function is based on the fitness
function used in (Salcedo-Sanz and Yao,
2004). The fitness function is based on: (1)
IJCCI 2009 - International Joint Conference on Computational Intelligence
146