Professional Documents
Culture Documents
Optimization
ARAVIND DAMMU
HIRAY KUNAL SATISH
SANDEEP NAGARKOTI
Introduc tion
Ant societies present a highly structured social orga niza tion. As a result of this
orga niza tion, they accomplish complex tasks.
The mecha nisms which allow the coordina ted behavior of real ants are used to
solve computa tional problems.
The chara cteristics of real ants are modified to be able to solve minimum cost
problems.
In this way, artificial ants are designed according to the need of different
problems.
Charac teristic s of Real Ants
Communication between ants is based on the use of chemicals called pheromones,
produced by the ants.
While walking from food sources to the nest and vice versa, ants deposit
pheromones on the ground, forming in this way a pheromone trail.
By sensing pheromone trials fora gers follow pa th of food discovered by other ants .
Double-Bridge Experiment
In this model, ants per second cross the
bridge in each direction at a consta nt speed of
v cm/s , depositing one unit of pheromone
on that branch.
Given the lengths LS and LL an ant
choosing the short branch will traverse it in
ts=Ls/v s, while the ant choosing the long
branch will use r*ts s (r=LL/LS )
Ants choose pa ths ma rked by strong pheromone concentra tions proba bilistically.
The amount of pheromone on a branch is proportional to the no. of ants that used the
branch in the pa st.
Double-Bridge Experiment
. Because the two branches initially appea r identical to the ants, they choose
randomly
On avera ge, half of the ants choose the short branch and the other half the long
branch
The ants choosing the short branch are the first to reach the food and to start their
return to the nest.
Pheromone starts to accumulate faster on the short branch which will eventually be
used by all the ants
Ant colony is offered, after convergence, a new shorter connection between the
nest and the food.
Double-Bridge Experiment
Ant colony is offered, after convergence, a new shorter connection between the nest
and the food.
In this case, the short branch was only selected spora dically and the colony was
trapped on the long branch.
Majority of ants choose the long branch because of its high pheromone
concentra tion, and this feedback behavior continues to reinforce the long branch, even
if a shorter one appea rs the ants choosing the short branch are the first to reach the
food and to start their return to the nest.
Pheromone starts to accumulate faster on the short branch which will eventually be
used by all the ants.
Do uble-Bridge Experiment
The proba bility Pia(t) that an ant arriving at decision point selects branch,
at insta nt t is set to be a function of the total amount of pheromone
where ij is the pheromone value associated with the component cij , and (.) is a function that
assigns at each construction step a heuristic value to each feasible solution component cij
N(sp). The values that are returned by this function are commonly called heuristic information.
Furthermore, and are positive parameters, whose values determine the relative importance
of pheromone versus heuristic information
ApplyLocalSearch
Once solutions have been constructed, and before updating pheromones, often some optional
actions may be required. These are often called daemon actions, and can be used to implement
problem specific and/or centralized actions, which cannot be performed by single ants.
The most used daemon action consists in the application of local search to the constructed
solutions: the locally optimized solutions are then used to decide which pheromones to update.
UpdatePheromones
The aim of the pheromone update is to increase the pheromone values associated with good or
promising solutions, and to decrease those that are associated with bad ones.
Usually, this is achieved
(i) by decreasing all the pheromone values through pheromone evaporation, and
(ii) by increasing the pheromone levels associated with a chosen set of good solutions.
Ant System (AS)
Ant System is the first ACO algorithm proposed in the literature. Its main characteristic is that, at
each iteration, the pheromone values are updated by all the m ants that have built a solution in
the iteration itself. The pheromone ij, associated with the edge joining cities i and j, is updated
as follows:
where is the evaporation rate, m is the number of ants, and ijk j is the quantity of pheromone
laid on edge (i, j) by ant k:
where N(sp) is the set of feasible components; that is, edges (i, l) where l is a city not yet visited by the
ant k.
The parameters and control the relative importance of the pheromone versus the heuristic
information ij, which is given by:
where max and min are respectively the upper and lowerbounds imposed on the pheromone;
the operator [x]ba is defined as:
where (0, 1] is the pheromone decay coefficient, and 0 is the initial value of the
pheromone.
Ant Colony System (ACS)
The main goal of the local update is to diversify the search performed by subsequent ants during
an iteration: by decreasing the pheromone concentration on the traversed edges, ants
encourage subsequent ants to choose other edges and, hence, to produce different solutions.
This makes it less likely that several ants produce identical solutions during one iteration.
The offline pheromone update, similarly to MMAS, is applied at the end of each iteration by only
one ant, which can be either the iteration-best or the best-so-far. However, the update formula
is slightly different:
Each edge of the graph is augmented with a pheromone trail (r,s) deposited by artificial
ants.
Artificial ants probabilistically prefer cities that are connected by edges with a lot of
pheromone trail and which are close by.
Here the artificial ant is trying to move from city r to city s.
Ant Systems (AS)
Ant Systems for TSP
Graph (N,E): where N = cities/nodes, E = edges
dij = the tour cost from city i to city j (edge weight)
When an ant decides which town to move to next, it does so with a probability that is
based on the visibility for that city and the amount of trail intensity on the connecting
edge.
. B
A
C
AS Algorithm for TSP
Rules of transition probability
Whether or not a city has been visited
Use of a memory (tabu list): J ik : set of all cities that are to be visited
where Wmin = weight of the truss resulting from assigning the smallest nonzero area to each
member of the truss calculated by
The first ant then selects an area or path for member i, using the following decision process The
ant decision table at time t, aij(t) is
where j = path (cross-sectional area) assigned to member I ; and na = number of possible areas.
The probability that ant k (k=1,2,...,m) will assign area j to member i at time t, pi j k (t) is
The ACO process begins when the first ant selects an area for its member or member group i
based upon these probabilities.
After the decision is made and the area assigned, the intensity of trail on this path is lowered in
order to promote exploration in the search using the following local update rule:
where = adjustable parameter between 0 and 1 representing the persistence of the trail.
Ant colony model for tall bridge piers
The problem of structural concrete design consists of an economic optimization of the structural
design of tall bridge piers.
where T (t, i, j) is the total trace at the end of stage t for variable i and position j, T (t, i) is the
addition of all T (t, i, j), and determine whether the choice prefers the trace or the random
selection and R is a random number between 0 and 1.
Once the probability of each position j is known, the procedure generates ants by means of the
roulette, taking into account the high or low probability of choosing a position.
ACO Characteristics
Exploit a positive feedback mechanism
Demonstrate a distributed computational architecture
Exploit a global data structure that changes dynamically as each ant
transverses the route
Has an element of distributed computation to it involving the population
of ants
Involves probabilistic transitions among states or rather between nodes
Conclusions
ACO is a recently proposed meta-heuristic approach for solving hard
combinatorial optimization problems.
Artificial ants implement a randomized construction heuristic which makes
probabilistic decisions.
The cumulated search experience is taken into account by the adaptation of the
pheromone trail.
ACO Shows great performance with the ill-structured problems like network
routing.
In ACO Local search is extremely important to obtain good results.
Thank You!