数学建模商人过河__论文.docxVIP

数学建模商人过河 __论文 组长 :王鹏道 110714 组员 :任利伟 110713、孙祎 110706 小组成员负责情况 : 王鹏道 :选择论文题目、设计论文版面字体、分配成员任务、总结 任利伟 :一、问题提出、关键、分析。二、模型假设、三、模型建立 孙祎 :四、模型求解、五、模型的检验、拓展及延伸 2014 年 11 月 24 日 摘 要 为了求解 3个商人与 3个随从的过河问题 , 用数学分析方法 , 建立数学模型 , 并且加以求解 , 展示动态规划思想的应用步骤。 最后利用计算机蝙程进行求解 , 获得过河问题的完整求解过程 ; 有效地求解类似多步决策问题的作用。 关键词 : 多步决策 计算机求解 状态转移律 图解法 一、 问题的提出 随从们密约 , 在河的任一岸 , 一旦随从的人数比商人多 , 就杀人越货 , 但就是乘船渡河的方案由商人决定、商人们怎样才能安全过河 ? 二、 问题的关键 解决的关键集中在商人与随从的数量上 , 以及小船的容量上 , 该问题就就是考虑过河步骤的安排与数量上。各个步骤对应的状态及决策的表示法也就是关 键。 三、 问题的分析 在安全的前提下 ( 两岸的随从数不比商人多 ), 经有限步使全体人员过河。由于船上人数限制 , 这需要多步决策过程 , 必须考虑每一步船上的人员。 动态规划法正就是求解多步决策的有效方法。它要求把解的问题一层一层地分解成一级一 级、规模逐步缩小的子问题。 直到可以直接求出其解的子问题为止。 分解成所有子问题按层次关系构成一棵子问题树 . 树根就是原问题。原问题的解依赖于子问题树中所有子问题的解。 四、 模型假设 数学建模商人过河 __论文 记第 k次过河前 A岸的商人数为 XK, 随从数为 YK k=1,2, ? XK ,Y K=0,1,2,3, 将二维向量 SK=(XK,Y K) 定义为状态 下的状态集合称为允许状态集合。记作 S。则  . 把满足安全渡河条件 S={(XK ,Y K)|(X  K =0,YK =0,1,2,3),(X  K =3,YK =0,1,2,3),(X  K =YK =1)(X K =YK =2)} 记第 k次过河船上的商人数为  UK 随从数为 VK 将二维向量 DK=(UK ,V K) 定义为决策 . 由小船的容量可知允许决策集合 ( 记作 D) 为 D={(UK ,V K)|U K +VK=l,2}={(O,1);(O,2);(1,O);(1,1);(2,O)} 五、 模型建立 : 动态规划法正就是求解多步决策的有效方法。它要求把解的问题一层一层地分解成一级一级、规模逐步缩小的子问题。直到可以直接求出其 解的子问题为止。分解成所有子问题按层次关系构成一棵子问题树 . 树根就是原问题。原问题的解依赖于子问题树中所有子问题的解。 用动态规划法分析三名商人的过河问题。可得如下的递归树 : 数学建模商人过河 __论文 (3,3) K=1 (1,1) (0,2) A(2,2)B(1,1) A(3,1)B(0,2) K=2 (0,1) (1,0) 相同情况 A(3,2)B(0,1) A(3,2)B(0 、1) K=3 (0,2) A(3,0)B(0,3) K=4 (0,1) A(3,1)B(0,2) K=5 (2,0) A(1,1)B(2,2) K=6 (1,1) A(2,2)B(1,1) K=7 (2,0) A(0,2)B(3,1) K=8 (0,1) 数学建模商人过河 __论文 A(0,3)B(3,0) K=9 (0,2) A(0,1)B(3,2) K=10 (1,0) (0,1) A(1,1)B(2,2) A(0,2)B(3,1) K=11 A(0,0)B(3,3) ( 注解 : 当K 奇数 , 船在 B岸 ; 当 K 偶数 , 船在 A岸。 ) 通 分析 , 知道求解关 在于正确地写出基本的状 移关系式与恰当的 界条件。 因 k 奇数 , 船就是从 A岸 向 B岸,k 偶数 。船就是由 B岸 回 A岸。所以状 SK随决策 DK 化的 律就是 SK+1=SK+(-1) K DK,k=l,2, ?, 称之 状 移律 , 这样 , 制定 河方案就 如下的多步决策 : 每一步 , 船由 A岸 向 B岸或 B岸 回 A岸 , 都要 船上的人 ( 商人 UK, 随从 VK各几人 ) 作出决策 , 在保 安全的前提下即两岸的商人数 XK都不比随从数 YK少 , 用有限步使人 全部 河 . 用状 ( 量 )SK表示某一岸的人 状况 , 决策 ( 量 )DK表示船上的人 状况 , 可以找出状 SK随决策 DK 化的 律 . 安全 河 就 化 为 : 求决策 DK∈D(k=1,2, ?? ,n), 使