传教士与野人过河问题

传教士与野人过河问题是一个经典的逻辑谜题。根据限制条件，我们需要确保在任何时候，牧师的数量都不少于野人的数量（除非没有牧师）。这个问题可以使用深度优先搜索（DFS）算法来解决。

算法的设计思想如下：
1. 假设我们有一个初始状态，所有的牧师和野人都在起始岸。
2. 通过递归的方式，我们尝试所有可能的动作来将牧师和野人从起始岸移动到目的岸。
3. 在每一步中，我们需要检查当前的状态是否满足限制条件，并且我们需要记录已经走过的路径。
4. 如果达到目的岸并且满足限制条件，则输出成功的路径。
5. 如果无法找到解决方案，则输出失败。

下面是一个示例的解决方案：
输入：牧师人数(n)：2，小船一次最多载人量(c)：2
输出：Optimal Procedure: 221->200->211->010->021->000
成功与失败：成功