一个简单的人工智能题：用问题归约法求解野人与修道士的问题

题目

一个简单的人工智能题：用问题归约法求解野人与修道士的问题
野人与修道士的问题：
河的左岸有3个野人和3个修道士以及一条小船,修道士们想用这条小船把所有的人都运到河的右岸,但又受到以下限制：
1、修道士和野人都会划船,但船一次只能载2人；
2、在任何岸边,野人数不能超过修道士数,否则修道士将会被野人吃掉.
假定野人愿意服从任何一种过河的安排,请规划出一种确保修道士安全的过河方案.
注意：用问题归约法来实现!

答案

问题归约法从目标(要解决的问题)出发,逆向推理,通过一系列变换把初始问题变换为子问题集合和子子问题集合,直至最后归约为一个平凡的本原问题集合.已知条件1：最后一次乘船的一定是两人.已知条件2：往与返的组合不能...