数学建模在计算机专业的应用

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

应用一图论算法

图论在计算机处理问题中占有重要地位,现实中的很多问题最终都可以转化成图论问题,或者要借助图结构来存储和处理。但是怎么把一张图存入计算机就要涉及到数学建模的知识。

比如下面一张图:

如果要求出从节点v1到节点v5的所有路径,就可以借助计算机来很轻松的解决。但前提条件是,必须要把图以一种计算机可以理解的形式存进去,即要把它抽象为数学问题。

在此,我们需要定义一些关于图的概念,以便更好的描述问题。

边与顶点的关系有如下几种典型情况:

简单图:无自回环,无重边的图。

无向图:边没有指向,

1212

e.

i i i i i

ψ()={v,v}=v v此时称边e

i与顶点12

i i

v,v关联,称

顶点

1

i

v与顶点

2

i

v邻接。

有向图:边有指向,

1212

e.

i i i i i

ψ

u u u u u r

()=(v,v)=v v

下面是具体涉及到图如何存储的问题:

1.图G(V,E)的关联矩阵x

R=(r)

ij n m

,若G(V,E)为无向图,

1

2

i j

ij i j j

i j j

v e

r v e e

v e e

=⎨

与不关联

与关联,为非自回环

与关联,为自回环

若G(V,E)为有向图,

1

2

i j

ij i j

i j

v e

r v e

v e

=⎨

与不关联

是的起点

是的终点

因此该图可以用关联矩阵表示出来,如下所示

1100000

1010100

0101001

0011010

0000111

R

⎛⎫

=

⎝⎭

这样,我们就可以以矩阵的形式将图存入计算机

2. 邻接矩阵

图G(V,E)的邻接矩阵xn A=(a )ij n ,若G(V,E)为无向图,ij a =从

i v 到的j v 边数,若不邻接,取0;若G(V,E)为有向图,ij a =从 i v 到j v 的有向边数,若无,取0.

01100100111

00110110101110A ⎛⎫

⎪ ⎪

= ⎪ ⎪ ⎪⎝

应用二 动态规划问题

动态规划是运筹学的一个分支,是求解决策过程最优化的数学方法。20世纪50年代初美国数学家R.E.Bellman 等人在研究多阶段决策过程的优化问题时,提出了著名的最优化原理,把多阶段过程转化为一系列单阶段问题,利用各阶段之间的关系,逐个求解,创立了解决这类过程优化问题的新方法——动态规划。也是信息学竞赛中选

手必须熟练掌握的一种算法。多阶段决策过程的最优化问题。含有递推的思想以及各种数学原理(加法原理,乘法原理等等)。

动态规划一般可分为线性动规,区域动规,树形动规,背包动规四类。举例

线性动规:拦截导弹,合唱队形,挖地雷,建学校,剑客决斗等;

区域动规:石子合并,加分二叉树,统计单词个数,炮兵布阵等;树形动规:贪吃的九头龙,二分查找树,聚会的欢乐,数字三角形等;背包问题:01背包问题,完全背包问题,分组背包问题,二维背包,装箱问题,挤牛奶。

多阶段决策的实际问题很多,下面通过具体例子,说明什么是动态规划模型中数学建模知识的运用。

最短路线问题:

某工厂需要把一批货物从城市A运到城市E,中间可经过B1 、B2、B3、C1、C2、C3、D1、D2等城市,各城市之间的交通线和距离如下图所示,问应该选择一条什么路线,使得从A到E的距离最短?

下面引进几个动态规划的基本概念和相关符号。

(1)阶段(Stage)

把所给问题的过程,按时间和空间特征划分成若干个相互联系的阶段,以便按次序去求每个阶段的解,阶段总数一般用字母n表示,用字母k表示阶段变量。

如例中 (最短路线问题)可看作是n=4阶段的动态规划问题,k=2表示处于第二阶段。

(2)状态(State)

状态表示每个阶段开始时系统所处的自然状况或客观条件,它描述了研究问题过程状况。描述各阶段状态的变量称为状态变量,常用字母s

k

表示第k阶段

的状态变量,状态变量的取值范围称为状态集,用S

k

表示。

如例l中,第一阶段的状态为A(即出发位置)。第二阶段有三个状态:B1 、B2、B3,状态变量s2=B2表示第2阶段系统所处的位置是B2。第2阶段的状态集

S

2

={ B1 、B2、B3}。

动态规划中的状态变量应具有如下性质:当某阶段状态给定以后,在这个阶段以后过程的发展不受这个阶段以前各个阶段状态的影响。也就是说,未来系统所处的状态只与系统当前所处的状态有关,而与系统过去所处的状态无关,即过去历史只能通过当前的状态去影响它未来的发展,这种特点称为无后效性(又称马尔可夫性)。如果所选定的状态变量不具备无后效性,就不能作为状态变量来构造动态规划模型。如例1中,当某阶段的初始状态即所在的城市选定以后,从这个状态以后的运货路线只与这个城市有关,不受以前的运货路线影响,所以是满足状态的无后效性的。

(3)决策(Decision)

当系统在某阶段处于某种状态,可以采取的行动(或决定、选择),从而确定下一阶段系统将到达的状态,称这种行动为决策。描述决策的变量,称为决策

变量。常用字母u

k (s

k

)表示第k阶段系统处于状态s

k

时的决策变量。决策变量

的取值范围称为决策集,用D

k (s

k

)表示。

在例l的第二阶段中,若从状态B2出发,可以做出三种不同的决策,其允许的决策集为D

2

(B2)={ C1、C2、C3},决策u 2(B2)= C2表示第二阶段处于状态B2,选择的确行动下一阶段是走到C2。

(4)策略(Policy)

相关文档
最新文档