应用最新的方法来表达传教士和野人问题，编写一个计算机程序，以求得安全渡过全部6个人的解答。 提示：在应用状态空间表示和搜索方法时，可用 (Nm, Nc)来表示状态描述,其中Nm和Nc分别为传教士和野人

传教士与野人的问题是经典的逻辑谜题，涉及将三名传教士和两名野人安全地从一边的小岛转移到另一边，但每次只能带一个人，并且任何时候传教士都不能和野人在同一边。我们可以使用回溯法或深度优先搜索（DFS）结合状态空间搜索策略来解决这个问题。

首先，我们需要定义状态，如你所提，用 (Nm, Nc) 表示，其中 Nm 是传教士的数量，Nc 是野人的数量。初始状态下有 Nm=3, Nc=2，目标状态是 Nm=0, Nc=0 或者 Nm=6, Nc=0。

以下是Python的一个简单实现，利用递归函数进行搜索：

def move岛屿(state, n_men, n_cannibals, moves):
    # 定义终止条件
    if state == (0, 0):  # 成功到达目标状态
        return True

    if n_men + n_cannibals > 6 or n_men < 0 or n_cannibals < 0:  # 越界情况，无效状态
        return False

    for i in range(1, min(n_men+1, n_cannibals+1) + 1):  # 每次选择一人移动
        new_state = (n_men - i, state[1])
        if move岛屿(new_state, n_men-i, n_cannibals-i, moves + 1):  # 如果找到解决方案，则返回True
            print(f"Solution found with {moves} moves:")
            path = [(state[0], state[1])]
            while state != (0, 0):
                previous_state = path[-1]
                path.append((new_state[0], new_state[1]))
                state = previous_state
            print(" ".join([f"M{move}" if s[0] > s[1] else f"C{move}" for move, s in enumerate(path)]))
            return True

    return False

# 初始化状态
state = (3, 2)
moves = 0
if not move岛屿(state, 3, 2, moves):
    print("No solution exists.")