用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。
标签： 表示法
上传时间： 2014-01-18
上传用户：star_in_rain
C#寻找素数 素数寻找问题由来已久，一直是一些数学家追求的目的。
标签：
上传时间： 2013-12-20
上传用户：AbuGe
符号匹配问题编程
标签： 符号 编程
上传时间： 2015-02-06
上传用户：王楚楚
这是一个读者写者问题
上传时间： 2013-12-10
上传用户：Breathe0125
使用模拟退火算法解0－1背包问题MATLAB源代码
标签： MATLAB 模拟退火算法 背包问题 源代码
上传用户：jennyzai
使用贪婪算法 解决0－1背包问题MATLAB源代码
标签： MATLAB 算法 源代码 背包问题
上传用户：firstbyte
椭圆曲线离散对数问题C源代码
标签： 椭圆曲线 离散对数 源代码
上传用户：mikesering
优化皇后问题的代码
标签： 代码
上传时间： 2015-02-07
上传用户：笨小孩
汽车加油问题的算法
标签： 汽车 算法
上传时间： 2014-01-16
上传用户：ma1301115706
棋盘覆盖问题的算法源程序
标签： 算法 源程序
上传用户：hopy
