数学建模若干说明.pdfVIP

关于数学模型的若干说明

albus

1最短路问题和动态规划

最短路问题就是说给你一个无向图G=(V,E),V是所有顶点的集合,E是所有边

的集合.然后指定一个源点(比如说S),求从S出发到每个点的最短路径.

|V|

注意到从S点出发的路径条数可能是很多的,(比如O(2)条),所以不能枚举每条

路径,而需要较为快速的算法.

要用到的是所谓Bellman-Ford算法,它是这样工作的:

用dis[x]点S到点x的最短路长度,首先注意到一个显然的事实,求出的最短

路dis[∗]应该满足如下不等式(设w[u][v]表示边(u,v)的长度):

∀(u,v)∈E,dis[v]≤dis[u]+w[u][v](1)

在算法开始时初始化dis:





0ifx=S

dis[x]=(2)

∞otherwise

Bellman-ford算法需要用到松弛操作:枚举每条边检查不等式(1)是否被满足,如

果不满足则更新dis[∗]的值.具体伪代码如下,它返回一个布尔变量表示是否进行了一

次调整dis的操作:

算法1松弛操作(relax)

1:procedureboolrelax

2:is_relaxed=false

3:for(u,v)∈Edo▷枚举E中的每条边

4:ifdis[v]dis[u]+w[u][v]then▷检查不等式

5:dis[v]=dis[u]+w[u][v]

6:is_relaxed=true

7:endif

8:endfor

9:returnis_relaxed

10:endprocedure

1

然后Bellman-Ford最短路算法非常简洁:不断进行松弛操作直到不能松弛为止.

算法2Bellman-Ford