状态空间法——野人和传教士的问题

设有3 个传教士和3 个野人来到河边，打算乘一只船从右岸渡到左岸去。该船的负载能力为两人。在任何时候，如果野人人数超过传教士人数，那么野人就会把传教士吃掉。如何用状态空间法来表示该问题？给出具体的状态表示和算符。

第一步
根据题目要求设置好约束条件
例如通过船的负载能力为两人得出:
船上的人M(传教士)+C(野人)小于等于2

第二步
用三个参数表示左岸转状态
并且列出所有可用的状态

第三步
列出所有的操作集
从左岸划向右岸 +从右岸划向左岸 =共10种操作集合（详情请参考图片）

第四步列出最短路径一共四条 ，且都由11次操作构成（参考图片）