n-m-k商人渡河问题解的存在性及算法实现.pdfVIP

第30卷 第4期 工 程 数 学 学 报 Vo1．30No．4 2013~V08fiJ CHINESEJOURNALOFENGINEERING MATHEMATICS Aug ． 2013 doi：10．3969／j．issn．1005—3085．2013．04．009 文章编号：1005—3085(2013)04．056108 佗一m一 商人渡河问题解的存在性及算法实现冰 付艳玲 ，刘高峰。， 张 伟0 (1一河南财政税务高等专科学校信息工程系，郑州 451464； 2西安电子科技大学雷达信号处理国家重点实验室，西安 710071 3一河南理工大学万方科技学院，郑州 4514001 摘 要：本文将商人渡河问题推广到最一般情况，即n—m一 商人渡河问题，建立了该问题 的多步决策数学模型．首先，根据该数学模型得到一棵状态空问树，设计了采用递归 和回溯方法遍历该状态空间树的算法步骤．其次，根据部分运行结果，分析了该问题 的算法复杂度．最后，分析了该问题解的存在性，并给出了若干定理及其证明。本文 已将商人渡河问题扩展成为广泛的经典例子，有利于解决实际生活中的问题． 关键词：商人渡河问题；算法实现；解的存在性 分类号：AMS(2000168R05 中图分类号：0244 文献标识码：A 1 引言 渡河 问题Ll’21始于公元8世纪，至今它仍是一个逻辑难题．这个问题指的是：有不同 的对象或生物，他们其中一些相互不共存，逐步地让一小群体从河的～岸到另一岸，经过 有限步后，该群体全部从一岸达到另一岸，并且要求没有任何损失．渡河问题有不同的版 本，如传教士和食人族难题，猜疑的丈夫问题，人狼羊菜问题，商人和随从渡河 问题等， 但是解决方法是类似的．商人和随从渡河问题通常指三名商人各带一个随从乘船渡河，一 只小船只能容纳二人，由他们 自己划行．随从们秘约：在河的任一岸，一旦随从的人数比 商人多，就杀人越货．乘船渡河的大权掌握在商人们手中[314]，商人们需要安排合理的渡 河方案，以确保安全渡河．这类问题常作为数理逻辑、数学建模、图论以及算法设计的经 典例子5【—81． 到 目前为止，几个商人n个随从船满载 人的渡河问题 【](以下简称n—n一尼商人渡 河问题)的程序实现虽已给出了，但佗一佗一 商人渡河 问题解的存在性问题还不存在相关 的结论．针对上面的情况，本文将渡河问题推广到最一股的情况，给出了n个商人m个随 从船满载 人的渡河问题f以下简称佗一m一 商人渡河问题)程序实现的方法，最后详细 讨论了几一7n—k商人渡河 问题解的存在性问题并对相关结论进行了严格的证明． 收稿 日期：2011—09—01．作者简介：付艳玲 (1978年5月生)，女，讲师．研究方向：算法设计分析与粗糙集理论 基金项目：四川省教育厅青年基金 (072B043；072B042)；河南省软科学研究计划项 目(122400450212； 132400410979)． 562 工 程 数 学 学 报 第3O卷 2 n—m一 商人渡河问题的数学模型 本文考虑的商人渡河 问题是最一般的情况，即n个商人与m个随从渡河，其中礼 m，渡河 的小船至多可 以容纳 人，并且n，?Tt、 的取值互不影响．游戏的规则是在岸边 一 旦随从的人数比商人多，就杀人越货．针对这个问题，建立多步决策模型，其具体建模 过程如下： 本文把商人渡河问题视为一个多步决策过程 ，每～步f即船 由此岸驶 向彼岸或彼岸驶 向此岸)都要对船上的人员作出决策 (即决定船载几个商人与几个随从)，在保证安全的前 提下f即在两岸都不会发生杀人越货)，经过有限步后使人员全部过河．用状态变量表示此 岸的人员状况，决策变量表示船上的人员状况，可以找出状态随决策变化的规律，这样商 人渡河 问题就转化为在状态允许的变化范围内f即满足安全渡河