-
题名安全渡河问题的图解新法
被引量:4
- 1
-
-
作者
王家华
王湘波
李美丽
曹春祥
王晓燕
-
机构
西安石油大学计算机学院
西安石油大学石油工程学院
首都经济贸易大学工商管理学院
-
出处
《西安石油大学学报(自然科学版)》
CAS
2007年第4期103-105,共3页
-
基金
国家自然科学基金项目(批准号:50474042)
-
文摘
针对安全渡河这一经典问题,引入图论方法,提出了一种新的图论解法.该方法将顶点设计为由"人"、"狼"、"羊"、"白菜"组成的四元组,元组中的每个元素取值可为"此岸"、"船上"、"彼岸".然后将实际模型转换为图结构,最后通过路径搜索获得问题的解.该方法有利于分析问题域的解空间,获得一般解、随机解和最优解等多种解.该方法体现了从实际模型到理论模型的转变过程,为如何运用图论来解决实际问题提供了方法借鉴.
-
关键词
安全渡河问题
图论
数学建模
算法
-
Keywords
safe crossing river problem
graph theory
mathematical modeling
algrothm
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于状态机研究安全渡河问题
- 2
-
-
作者
龚美霞
丁宁
-
机构
南京信息职业技术学院电子信息学院
-
出处
《信息化研究》
2012年第6期18-20,25,共4页
-
文摘
文章基于状态机来研究两个经典的安全渡河问题。首先,对问题进行细致的分析,归纳出渡河的物质条件和安全要求;接着,根据问题的内涵,精心设计状态的描述参数;然后,基于状态参数,将问题的条件和要求,转换为状态约束表达式、变迁约束表达式,分别用来确定状态图中可能的状态点、可能的变迁边;最后,绘制状态图,将原问题建模为图论问题——求连通图中两顶点之间的最短路径。
-
关键词
安全渡河问题
状态机
最短路径
-
Keywords
problem of crossing a river safely
state machine
shortest path
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名格在安全渡河问题图解法中的应用
被引量:1
- 3
-
-
作者
孙峰
屈小兵
汪天飞
-
机构
乐山师范学院数学与信息科学学院
-
出处
《数学的实践与认识》
CSCD
北大核心
2013年第8期170-175,共6页
-
基金
四川省科技厅应用基础项目(2011JY0133)
四川省教育厅重点项目(11ZA159)
+1 种基金
四川省教育厅科研项目(ZB0108)
乐山师范学院科研项目
-
文摘
安全渡河问题是一个经典的逻辑推理问题,可以利用图论的方法,动态规划或整数规划来解决.给出了一种新的基于格的图解算法.相对于已有的安全渡河问题的图解法,方法更具直观性和通用性.
-
关键词
格
安全渡河问题
图解法
-
Keywords
lattice
river-crossing problem
graphic method
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-