状态转移问题的图论法建模.pdfVIP

第 23 卷 第 2 期 甘　肃　工　业　大　学　学　报 V o l. 23 N o. 2 1997 年 6 月 Jou rn a l o f Gan su U n iver sity o f T echno logy J un. 1997 状态转移问题的图论法建模 陈　义　华 (甘肃工业大学技术工程学院, 兰州　730050) 摘　要　针对带有约束条件的一类状态转移问题, 提出了图论建模法, 将这类状态转 移问题转化为利用D ijk st ra 算法求最短路, 并通过典型实例论述了这种方法的建模 技巧及求解法. 该方法比逻辑思索的结果容易推广, 能在本质上体现图论方法的优 势. 关键词　状态转移　约束条件　图论方法　数学模型　最短路 分类号　 157. 2 O 应用图论方法解决实际问题, 最关键的就是如何采用图论方法构造问题的数学模型. 图论 中的图很适用于表示系统, 不管是在数学、物理还是在社会学领域等. 这是因为系统的定义中 [ 1 ] 包含了一些元素, 而这些元素则与其它元素相关联 . 许多带有约束条件的状态转移问题, 通 过图论方法建立数学模型后, 可以归结为利用D ijk st ra [2 ] 算法求解一个无向连通图G (V , E ) 的 最短路. 凡系统可以允许存在的状态称为可取状态, 否则称为不可取状态. 所谓状态转移问题, 是研究在一定条件下, 系统由一个状态向另一个状态转移能否实现, 如果可以转移, 应如何具体实现. 1　状态转移问题的图论法 1) 人、狼、羊、菜过河问题[3 ] 人、狼、羊、菜均要过河, 船需要人划, 且船小至多还能载一物, 当人不在时, 狼会吃羊, 羊会 吃菜, 如何设计安全的过河方案? ( ) 这是一个有趣的智力游戏问题. 这类智力游戏虽然经过逻辑思考 如递推方法 就可以解 决, 但这里用数学模型求解, 将问题转化为状态转移问题后建立图论模型 这类模型可以解决 相当广泛的一类问题, 比逻辑思考的结果更容易推广, 尤其是可以利用计算机去求解. 建立数学模型很重要的一步是用什么数学语言表述实际问题, 并如何描述系统的状态 引入 4 维向量(1 , 2 , 3 , 4 ) 表示人、狼、羊、菜在左岸或右岸. 规定当某物在左岸时, 记相应分 量 = 1, 否则 = 0, 如 ( 1, 0, 1, 0) 表示人和羊在左岸, 狼和菜在右岸, 并称为一个状态, 根据 1 i v 1 ( ) 约束条件, 显然是一个可取状态. 但 v i 0, 0, 1, 1 就是不可取状态. 将船的一次运载也用 4 维向量表示, 当一物 在船上, 记 = 1, 否则 = 0. 如 ( 1, 1, 0, j j j B 1 　　收稿 日期: 19970 105 © 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. 第 2 期　　　　　　　　　　　　陈义华: 状态转移问题的图论法建模 ·93 · 0) 表示人和狼在船上, 羊和菜未在船上, 由于船允许载两物, 知B 1 ( 1, 1, 0, 0) 是可取运载, 但B 2 ( ) 1, 0, 1, 1 是不可取运