题目描述：

传教士和野人问题通常描述如下:三个传教士和三个野人在河的一边，还有一- 条能载-一个人或者两个人的船。找到一个办法让所有的人能渡到河的另一-岸，要求在任何地方野人数都不能多于传教士的人数。
a.精确地形式化该问题，只描述确保该问题有解所必需的特性。画出该问题的完全状态空间。
b.用一个合适的搜索算法实现和最优地求解该问题，检查重复状态是个好主意吗?
c.这个问题的状态空间如此简单，你认为为什么求解它却很困难?