Download presentation

Presentation is loading. Please wait.

Published byKarlie Aspinwall Modified about 1 year ago

1
Simulated annealing... an overview

2
Contents 1.Annealing & Stat.Mechs 2.The Method 3.Combinatorial minimization ▫The traveling salesman problem 4.Continuous minimization ▫Thermal simplex 5.Applications

3
So in the first place... what is simulated annealing? According to wikipedia : “A probabilistic metaheuristic for the optimization problem of locating a good approximaiton to the global optimum of a given function in a large search space” When you need some “good enough” solution For problems with many local minima Often used in very large discrete spaces

4
Annealing Originally a blacksmithing technique in which you cool down the metal slowly Used to improve ductility and allow further manipulation/shaping

5
Some notions of Stat.Mechs So why is that, physically? Gibbs free energy Each configuration is possible, but weighted by a boltzmann factor : Slow cooling : minimum energy configuration Fast cooling (quenching) : polycristals,

6
Some notions of Stat.Mechs Example : Spin of a chain of atoms Possible states : S i = ±1 Energy of a link : E ij = JS i S j Maximum/minimum is ±NJ (for N the chain length) Distribution of energy states given by boltzmann... Thus at low temperature : all spins align But is low temperature enough in physical systems?

7
How SA works... So basically, we are going to do the same thing with functions! Start by “baking” up the system (high randomization) Gradually cool down (structure appears) Enjoy

8
The Method (with a big M) Exact description of the state of the possible configurations Example : the N-Queens problems Possible representation of the system : a vector In this case, {7,5,2,6,3,7,8,4} Element 1 : Description

9
The Method Element 2 : Generator of random changes Some kind of way of evolving the system → allowed moves Requires some insight of the way the system is working In this case : select an attacked queen, and move it to some random spot on the same row

10
The Method Element 3 : Objective function Basically, the function to optimize; might not always be obvious in discrete systems Analog of energy In this case :

11
The Method Element 4 : Acceptance probability function The probability of taking the step to the new proposed state Generally : Formally, some function of the form P(E1,E2,T)

12
The Method Element 5 : Annealing schedule The specific way in which the temperature is going to flow from high to low Will make the difference between a working algorithm/PAIN Meaning of fast/slow cooling and hot/cold highly case-specific Here : T(n) = 100/n

13
The Method Resets Specific heat calculation Further considerations

14
Combinatorial minimization Type of minimization where there is no continuous spectrum of values for the energy function equivalent Can be hard to conceptualize : ▫Energy function might not be obvious ▫The most efficient way to get to neighbour states might also not be obvious, and can require a lot of thinking

15
Combinatorial minimization The Traveling Salesman Problem Given a list of cities and the distances between each pair of cities, what is the shortest possible route that visits each city exactly once and returns to the origin city? This is harder than it looks... Possible solutions grow as O(n!) Exact computation of solutions grows as O(exp(n))

16
Combinatorial minimization A state can be defined as one distinct possible route passing through all cities Supposing N cities, a vector of length N can specify the order in which to visit them For example with N=6 : {C 1, C 4, C 2, C 3, C 6, C 5 } Must also specify the position of each city Supposing 2D, thats {x i,y i } The Traveling Salesman Problem : Description

17
Combinatorial minimization This one can be a bit tricky... 1.Take two random cities and swap them 2.Take two consecutive cities and swap them 3.Take two non-consecutive cities and swap the whole segment between them The Traveling Salesman Problem : Generator

18
Combinatorial minimization Pretty simple. We have the position of each city... This is basically the total distance function. Note : point N is the same as first point The Traveling Salesman Problem : Objective function

19
Combinatorial minimization This is the part that requires experimentation... In the literature, some considerations : ▫If the square in which the cities are located has a side of N 1/2, then temperatures above N 1/2 can be considered hot, and temperatures below 1 are cold; ▫Every 100 steps OR 10 successful reconfigurations, multiply temperature by 0.9 ▫Could also be some continuous equivalent... The Traveling Salesman Problem : Annealing schedule

20
Combinatorial minimization The Traveling Salesman Problem : Some results T = 1.2T = 0.8

21
Combinatorial minimization The Traveling Salesman Problem : Some results T = 0.4T = 0.0

22
Combinatorial minimization The Traveling Salesman Problem : Some results Constraints :

23
Continuous minimization Kinda simpler, at least conceptually : Description : System state is some point x Generator : x+dx where dx is generated somewhat randomly This is where we actually have some room to mess around... the way dx is specified is entirely up to us Function : Function. Annealing schedule : Should be gradual once again, but strongly depends on the function being minimized.

24
Continuous minimization Return of the AMOEBA! An example of implementation (NR Webnote 1) 1.3. 2.4.

25
Continuous minimization An example of implementation Except here’s a twist... A positive thermal fluctuation is added to all of the old values of the simplex Another fluctuation is subtracted from the value of the proposal point Thus the new point is favored over old points for high temperatures

26
Applications Lenses : Merit function depends on a lot of factors : curvature radii, densities, thickness, etc. Placement problems : When you have to place a lot of stuff in a very limited space... how do you arrange them optimally? Used in logic boards, processors

27
Conclusion Simulated annealing is cool (after some time) Allows to research a large parameter space without getting bogged down in local minima Very useful for discrete, combinatory problems for which there are not a lot of algorithms (since most are gradient based) Questions?

28
Simulated annealing Round 2 !

29
Revisiting... 1.Specific heat calculation 2.Parameter spaces & objective functions 3.Simulated Annealing vs MCMC

30
Specific heat calculation Reminder : we can define an equivalent to specific heat for a given problem through the energy (objective) function : But how many steps do we need to get some acceptable value for C v ? Answer : it basically depends on E, and more specifically on the variance of C v.

31
Specific heat calculation Thus this will be case-specific. All points considered to get and are taken at the same temperature; thus the annealing schedule should be arranged with blocks of constant temperature C v ‘s variance is usually pretty large, so we need a lot of data. As an example, for a function :... at least 10k points/block.

32
Parameter spaces & objective functions Generally speaking... Parameter space : 1.Figure out what parameters you need to describe a state exactly; these can be integers, real numbers, or whatever else you need 2.Write it out in vector form (or possibly even matrix form), ie. [P 1, P 2,... P n ] 3.The set of all possible vectors (varying the parameters that you defined in 1) is your parameter space Objective function : 1.Write out the objective function in terms of the previously defined parameters

33
Parameter spaces & objective functions The traveling salesman problem Parameter space : Set of all possible ways to fill visit all cities once. We have N cities, and we need 3 infos for each : x i position, y i position, and rank at which the city will be visited R i Objective function :

34
Parameter spaces & objective functions The knapsack problem

35
Parameter spaces & objective functions The knapsack problem Parameter space : Set of all possible ways to fill the sack without busting. Suppose we have N types of objects; we need 3 infos for each object : the number n i of objects of that type in the sack, the weight m i, and some value V i Objective function :

36
Parameter spaces & objective functions Given a weighted graph (set of vertices and weighted links between these), what is the minimum value subgraph that connects all vertices? The spanning tree problem

37
Parameter spaces & objective functions Parameter space : Set of all the M links, to which we attribute an activation value µ i = 0,1 and weight x i For N the number of vertices, there are N – 1 degrees of freedom The spanning tree problem

38
Parameter spaces & objective functions Objective function : where µ i = 1 or 0 (active/inactive link) The spanning tree problem

39
Parameter spaces & objective functions The N-queens problem Parameter space : Set of all possible ways to place the N queens, supposing there is one per row. For each queen we need only the column position x i : Objective function :

40
Parameter spaces & objective functions The N-queens problem

41
Simulated Annealing vs MCMC Needs of each method : Continuous case SAMCMC Generator function : some way to generate a proposal point x+dx Acceptance function (almost always) : Annealing schedule (how, specifically, will the temperature decrease) Usually stops after a set number of steps (has no memory of the chain, usually) Generator function : some way to generate a proposal point x+dx Acceptance function (commonly) : Number of chains, starting points, possibly with different temperatures Usually stops either after a set number of steps or when some condition of minimal error is fulfilled in the variance of the chain (requires keeping the chain in memory!)

42
Simulated Annealing vs MCMC Needs of each method : Combinatorial case SAMCMC Generator function : some way to generate a proposal neighbour state Acceptance function (almost always) : Annealing schedule (how, specifically, will the temperature decrease) Usually stops after a set number of steps (has no memory of the chain, usually) Generator function : some way to generate a proposal neighbour state Acceptance function (commonly) : Number of chains, starting points, possibly with different temperatures Usually stops either after a set number of steps or when some condition of minimal error is fulfilled in the variance of the chain (requires keeping the chain in memory!)

43
Simulated Annealing vs MCMC Some more considerations... The choice of method is highly case dependant. ▫Continuous : MCMCs should be able to handle most cases; SA only to be used for particularly badly behaved objective functions ▫Combinatorial : MCMCs can work... but most objective functions in combinatorial problems tend to have a lot of very deep minima, so SA is usually best SA is more demanding computationally, but can search a wider parameter space MCMCs can easily be parallelized (more chains)

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google