模块 3 · 错题订正

# P2650 修改前：弹栈条件写成了 >=——等高的人也被当成「更高」结算
while stack and h >= heights[stack[-1]]:
    j = stack.pop()
    ans[j] = i

# P2650 修改后：题面「比自己高」→ 严格更高才结算，等高的人继续留在栈里
while stack and h > heights[stack[-1]]:   # 严格更高才结算
    j = stack.pop()
    ans[j] = i                         # 题面示例证明输出的是下标（从 0 起）

只改了比较符；完整程序在第 1 课 第 08 节展开区，单调栈推演表在第 1 课 第 05 节。修改前后各跑一次三个复测用例，修改前第一个用例失败、修改后全部通过——这才是「修复生效」。

# P3702 修改前：只让第一个 YES 入队——其余宜居区被当成普通格子，第 0 层只有一个源点
for r in range(rows):
    for c in range(cols):
        if grid[r][c] == "YES":
            if not q:
                q.append((r, c))
        elif grid[r][c] == "NO":
            todo += 1

# P3702 修改后：所有宜居区同时扩散 → 全部 YES 都在第 0 层入队
for r in range(rows):
    for c in range(cols):
        if grid[r][c] == "YES":
            q.append((r, c))               # 所有宜居区都是第 0 层
        elif grid[r][c] == "NO":
            todo += 1

建模类错误的定位工具是「逐步手推表」：把第 0 层队列里有谁写出来，与程序的实际行为对照，第一处不一致就是要改的地方。完整程序在第 2 课 第 08 节展开区。

# P2600 修改前：右括号来时直接看栈顶——栈空时 stack[-1] 抛 IndexError
else:
    if stack[-1] != match.get(ch):
        valid = False
        break
    stack.pop()

# P2600 修改后：先判空栈，再看栈顶类型是否配对
else:
    if not stack or stack[-1] != match.get(ch):   # 栈空、或栈顶类型不配对
        valid = False
        break
    stack.pop()

语言类错误的最小用例是「触发该语言行为的最短输入」：两个字符就够。完整程序在第 1 课 第 08 节展开区。

# 错题登记（每题一条；订正完把「独立重写」改成「通过」）
# 题号:
# 来源:        阶段测验第_题 / 课_ 必做 / 课_ 进阶
# 判题结果:    WA / RE / TLE / PE
# 首次错误类型: 读题 / 建模 / 边界 / 复杂度 / 语言 / 输出格式
# 触发用例:    输入=____  期望=____  实际=____
# 错误原因:    （具体到能据此直接改代码）
# 修复动作:
# 最小验证:    （至少三条：触发错误的、边界另一侧的、题面示例）
# 独立重写:    未做 / 通过 / 再错（类型=__）

复制进你的错题本，每订正一项填一条；如果暂时无法准确描述错误原因，请结合失败用例和代码位置进一步检查，再回到六类错误原因重新分类。

# 题号:        P3702
# 来源:        第 2 课 必做
# 判题结果:    WA
# 首次错误类型: 建模
# 触发用例:    输入=YES NO NO / NA NO NO / NO NO YES  期望=2  实际=4
# 错误原因:    只把第一个 YES 入队，第 0 层只有 (0,0) 一个源点；(2,2) 这个宜居区被当成普通格子，它附近的 NO 要从 (0,0) 绕过来
# 修复动作:    建队列时把所有 YES 都入队（多源 BFS 的第 0 层是全部源点）
# 最小验证:    YES NO NO / NA NO NO / NO NO YES → 2 ✓   YES NO NO → 2 ✓（单个源点）   YES YES NO / NO NO NO / NA NO YES → 1 ✓（题面示例）
# 独立重写:    通过

「触发用例」写明期望与实际；「错误原因」写到能直接改代码；「最小验证」至少三条：触发错误的、边界另一侧的、题面示例。