农夫过河问题是经典的逻辑推理题之一，涉及农夫、狼、羊和白菜四者如何安全渡河的问题。下面是一个简单的 Python 可运行代码示例： ```python class FarmerCrossRiver: def __init__(self): self.left = {'farmer': 1, 'wolf': 1, 'sheep': 1, 'cabbage': 1} # 左岸初始状态 self.right = {'farmer': 0, 'wolf': 0, 'sheep': 0, 'cabbage': 0} # 右岸初始状态 def move(self, item=None): if item is None or (item in ['wolf', 'sheep', 'cabbage'] and self.left['farmer']): for i in [item] if item else ['farmer']: self.left[i], self.right[i] = self.right[i], self.left[i] def check_valid_state(self): left_sheep_safe = not((self.left['wolf'] == 1) ^ (self.left['sheep'] == 1)) right_sheep_safe = not((self.right['wolf'] == 1) ^ (self.right['sheep'] == 1)) return left_sheep_safe and right_sheep_safe def solve(self): moves_sequence = [] while sum(self.right.values()) < len(self.right.keys()): valid_move_found = False possible_items_to_take = [None, 'wolf', 'sheep', 'cabbage'] for itm in possible_items_to_take: old_left, old_right = dict(self.left), dict(self.right) self.move(itm) if self.check_valid_state(): moves_sequence.append(f"Move {itm}") valid_move_found = True break self.left, self.right = old_left, old_right if not valid_move_found: print("No solution found.") return print("Solution found!") for m in moves_sequence: print(m) if __name__ == "__main__": game = FarmerCrossRiver() game.solve() ``` ### 解释说明 上述程序实现了“农夫过河”问题的解决方案，并通过逐步尝试不同的选项找到一种有效路径让所有物品都顺利抵达右岸。 #### 功能特点： 1. **左右两岸的状态表示**：使用两个字典分别记录左岸 (`left`) 和右岸 (`right`) 的情况。 2. **移动操作**：`move()` 函数用于模拟从一岸到另一岸的动作。 3. **合法性检查**：每次动作之后都会调用 `check_valid_state()` 检查当前状态是否合法（即避免了某些特定组合导致损失的情况）。 4. **求解过程**：循环迭代直到成功将所有元素转移到对岸为止。