def is_valid_sequence(
    n: int,
    moves: list[tuple[int, str, str]],
    adjacent: bool = False,
) -> bool:
    """Check move legality and the final state, not optimality."""
    pass

模拟三根杆的状态。adjacent=False 按普通规则检查，adjacent=True 还检查相邻规则。不得修改 moves。返回 True 须满足：

每项是长度为 3 的元组，盘号是 1..n 的整数（不接受布尔值），杆名是 A、B、C，且起点不同于终点。
移动的是起点杆当前的顶盘，终点杆为空或顶盘更大。
相邻版没有端点杆之间的直接移动。
全部操作结束后，A、B 为空，所有盘子按大小顺序在 C。

不满足任一条件返回 False。只要求上述范围内的 n 和布尔型 adjacent；moves 为列表，其中可能含有不符合移动格式的项。n = 0, moves = [] 返回 True。

合法与最优不同。 n = 1 时，普通序列 [(1, "A", "B"), (1, "B", "A"), (1, "A", "C")] 合法且完成目标，应返回 True，但不是最优解。最优步数由前两道生成题分别检查，核验函数不能仅比较列表长度。

个人作业 1 · 汉诺塔

登录

注册