首页| 行业标准| 论文文档| 电子资料| 图纸模型
购买积分 购买会员 激活码充值

您现在的位置是:团子下载站 > Java编程 > 用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士

用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士

  • 资源大小:48 K
  • 上传时间:2021-03-30
  • 下载次数:0次
  • 浏览次数:30次
  • 资源积分:1积分
  • 标      签:

资 源 简 介

用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士,三个野人和一条船,修道士想用这条船把所有的人都运到河对岸,但要受到以下条件限制: (1) 修道士和野人都会划船,但船一次只能装运两个人。 (2) 在任何岸边,野人数不能超过修道士,否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排,请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。
VIP VIP