数学建模社区-数学中国
标题:
[笔记分享交流]关于模拟退火法的基础概念及模型思路
[打印本页]
作者:
ZMIA
时间:
2015-8-19 12:18
标题:
[笔记分享交流]关于模拟退火法的基础概念及模型思路
本帖最后由 ZMIA 于 2015-8-19 12:19 编辑
) C" ~) i( j2 R, V: u
`0 l2 x8 q* R* X' e# H
本人代码废负责建模，最近读了论文深感有必要了解一下各种算法的建模思路及基本方法论和应用范围。
( z( W9 o: \6 v1 p
因此以下笔记不涉及具体代码，只包括最基本的概念及思路。
: H! z) x" n0 w9 \0 C6 {
笔记中摘抄了网上资料的私以为有用的片段，并根据本人的理解进行整合。如果有理解不到位的地方欢迎补充及交流。~
2 V4 T4 @6 H. U+ Q8 b
以下正文：
$ V" }/ A, Q) c) c" u
模拟退火法（ Simulate Anneal Arithmetic，SAA）
- ^7 W6 T1 U5 O7 t8 o) ]* ]" a
1.What:
6 V H& j) c# i/ C
是一种通用概率演算法，
. z2 t. D: T$ [1 m
2.Use:
/ r# o; e" c' V
用于在一个大的空间内搜寻命题的最优解。
" {7 c! X8 @! K! E
开始用来解决TSP问题（Travelling Salesman Problem)。即，单一旅行者由起点出发经过所有给定需求点，最后回到出发点的最小路径成本问题，是最基本的路径规划问题。
( F% B7 f5 T* h, P* R2 @5 F
3.模型(How?):
( \% b0 a$ Z! D
算法可以分解为三个部分：①解空间:将所求写成多元向量形式，该向量可能的全部值
. D2 G4 u N" q" h. E* u
②目标函数：使当目标函数取到最大值或最小值时代表目标达成，从而能够获得最优解
& \! M4 m! G6 C7 K) D" [# r
③初始解：初始设定的值，理论上与结果无关。但一般要多次调试。
9 h0 v2 W( g! ^# B# [1 ]9 _/ |
基本思想：
5 ^9 i w/ i5 v% |, R* k% E! @
①初始化：初始温度T(充分大)，初始解状态S。
9 ~4 k. m. F( P; w
②由一个产生函数(要求该函数由一个S可得到不同S'，且简单)产生一个新解S'
+ k5 x. C4 e, O7 y X
③由评价函数C(S)计算增量△t'=C（S'）-C(S)
4 a% @" k. q8 w
④判断：if △t'<0且T>=0，则S=S’
. F! w; {: R# j3 W+ l
if △t'>0且T>=0，则以概率exp（△t' /T）接受S'作为新的当前解
# D8 ~8 L) ?% X1 h
⑤终止循环判断：if 满足终止条件，则结束循环。终止条件一般为：连续若干新解未被接受
) [" A; b8 `8 G3 [% }6 e }6 ?
4.性质：
" C1 e& d2 G0 }1 }, R
模拟退火算法与初始值无关，算法求得的解与初始解状态S(是算法迭代的起点)无关；模拟退火算法具有渐近收敛性，已在理论上被证明是一种以概率l 收敛于全局最优解的全局优化算法；模拟退火算法具有并行性。
+ H6 N5 u. E( y$ z3 [" P
5.解决TSP的思路及伪代码：
7 e3 \/ ~! ~6 Z3 k0 H, i
（1）思路：
, `! D5 z3 v/ [/ x9 ~0 u. f
1. 产生一条新的遍历路径P(i+1)，计算路径P(i+1)的长度L( P(i+1) )
8 K2 R% N8 w- }& n6 P$ d
2. 若L(P(i+1)) < L(P(i))，则接受P(i+1)为新的路径，否则以模拟退火的那个概率接受P(i+1) ，然后降温
" u7 ~! N8 e5 w6 ~7 `- d$ o
3. 重复步骤1，2直到满足退出条件
$ [6 L L) v* T* q# i0 Z7 V
产生新的遍历路径的方法有很多，下面列举其中3种：
/ U9 ]* j' p. e8 z" U( q% P' A
1. 随机选择2个节点，交换路径中的这2个节点的顺序。
8 w: H, U, L* p" `
2. 随机选择2个节点，将路径中这2个节点间的节点顺序逆转。
' Z* g+ |; i) q7 P" J( S
3. 随机选择3个节点m，n，k，然后将节点m与n间的节点移位到节点k后面。
' t% A Y9 }& T' p, S
$ n# Q. V: R6 }. E7 {
（2）伪代码：
# \9 w' g2 t( g# ?
Procedure TSPSA:
0 h6 M8 `+ ?! M2 I. n8 r
begin
6 ]. Z, U4 N, S) e7 y
init-of-T; { T为初始温度}
1 X1 s& b D! ?; g1 L
S={1，……，n}; {S为初始值}
* _) W# n; h1 T
termination=false;
- I& e0 Z2 b" @: ]2 x
while termination=false
% {6 ~2 R$ ~/ y# g# B
begin
( F( |! M5 n, e2 Q% m& G
for i=1 to L do
& Y7 L6 D! z4 v- E
begin
; S# h( ^4 h* w" Y
generate(S′form S); { 从当前回路S产生新回路S′}
9 R. |; P2 b2 ~: V4 `
Δt:=f(S′))-f(S);{f(S)为路径总长}
( f3 U1 \; {- L' f+ g# Q% ]
IF(Δt<0) OR (EXP(-Δt/T)>Random-of-[0,1])
. Y! }" [# d" d" B- w
S=S′;
" _" c5 C6 h3 c( C8 _+ R% k
IF the-halt-condition-is-TRUE THEN
, w/ e! N# X* C" X( m' w$ M) u# ?
termination=true;
u' _! ?. V4 V: d
End;
3 p+ d& u6 J: `4 s, M8 Z( @* t
T_lower;
3 H3 P2 C2 Q2 G' v
End;
! V0 [* P* s# S8 j4 e
End
3 H3 |4 \3 A, ]: b8 m
6.应用：
9 s% f' C2 ^. [3 W5 E5 R
求解最大截问题(Max Cut Problem)、0-1背包问题(Zero One Knapsack Problem)、图着色问题(Graph Colouring Problem)、调度问题(Scheduling Problem)
+ ~& i9 p7 d0 X }4 \: v9 a' [
7.重要变量及其选择标准：
0 F2 U. g V3 t O% p" c
（1）初始温度T：T大，则的得到最优解几率大，但计算时间慢。因此需要根据结果多次调试。
/ G7 R4 @+ i5 k. }# r. r; T
（2）产生函数的选取？评价函数的选取？
' y$ q( O3 y9 Y, V# [( @ ^5 U
评价函数就是目标函数吗？
) C0 e: C# _; W) L O6 C# a
8.进一步陈述，评价：
9 e9 `1 t# P4 x1 @( x: d6 i- T' }. q
模拟退火法是对贪心法的改进。贪心法每次从当前解的临近解空间中选择一个最优解作为当前解，直到达到一个局部最优解，但是这样不一定能找到全局最优解。
( ^) O" t3 `% w' } G
而模拟退火法是以一定的概率接受非当前最优解。
1 A0 u! ]* l0 K1 x1 f; O
模拟退火算法是一种随机算法，并不一定能找到全局的最优解，可以比较快的找到问题的近似最优解。 如果参数设置得当，模拟退火算法搜索效率比穷举法要高。
" K6 H$ o& ^- k. Q" z
) j( p! `% s: Z: \* `/ j
" F* P/ S* K3 n
作者:
chenxiaohao
时间:
2015-8-26 05:53
这个我上网也都看到了，请问其中那个‘一定的概率找到最优解’是怎么理解的，那也有可能找到的还不如之前的最优解呢，这个一定的概率的核心是什么？
. l( q, Q1 e! R. I
作者:
lingxin179
时间:
2015-9-4 22:33
理论有点复杂呢，看案例理解比较好
: H, w/ v. [2 ?: p) ^* L5 \/ T( x2 X
作者:
数学数学345
时间:
2016-8-2 10:04
能看。。。。。。。。
6 X: I" \- n! e+ S- `: A6 a
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5
