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

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