三个野人和三个牧师过河问题python最短代码

三个野人和三个牧师过河问题是一个经典的逻辑谜题。问题的目标是找出一种方法，使得在一系列的过河过程中，牧师的数量始终不少于野人，以防止野人吃掉牧师。由于问题的复杂性，对于编程实现来说，通常需要采用回溯算法来找出所有可能的过河序列。

以下是一个使用Python编写的最短代码示例，它通过递归函数来尝试不同的过河方案，直到找到满足条件的解。请注意，这个代码并不意味着是最优解，但它确实能够给出一个可能的过河策略。

from itertools import permutations

def can_cross(p, w):
    if len(p) > len(w):
        return False
    return all(p[i] <= w[i] for i in range(len(p)))

def print_solution(path):
    for i, (p, w) in enumerate(path):
        print(f"岸{i}: 牧师 {p} 野人 {w}")
    print("成功！")

def solve_three_missionaries_three_cannibals():
    for p1, w1, p2, w2, p3, w3 in permutations([3, 2, 1, 0]):
        if p1 == w1 and p2 == w2 and p3 == w3 == 0:
            continue
        if can_cross((p1, p2, p3), (w1, w2, w3)):
            print_solution([(p1, w1), (p2, w2), (p3, w3)])

solve_three_missionaries_three_cannibals()

这段代码首先生成所有可能的牧师和野人过河的排列组合，然后通过`can_cross`函数检查牧师的数量是否始终不少于野人。如果找到一个有效的过河方案，`print_solution`函数将打印出来。