CSP-J 2019 第一轮 第 25 题：程序（二）：x总小于y是否保证第15行不执行

题目

#include<cstdio>
using namespace std;
int n, m;
int a[100], b[100];

int main() {
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n; ++i)
        a[i] = b[i] = 0;
    for (int i = 1; i <= m; ++i) {
        int x, y;
        scanf("%d%d", &x, &y);
        if (a[x] < y && b[y] < x) {
            if (a[x] > 0)
                b[a[x]] = 0;
            if (b[y] > 0)
                a[b[y]] = 0;
            a[x] = y;
            b[y] = x;
        }
    }
    int ans = 0;
    for (int i = 1; i <= n; ++i) {
        if (a[i] == 0)
            ++ans;
        if (b[i] == 0)
            ++ans;
    }
    printf("%d", ans);
    return 0;
}

假设输入的 $n$ 和 $m$ 都是正整数，$x$ 和 $y$ 都是在 $[1,n]$ 的范围内的整数，完成下面的判断题和单选题：

右程序执行到第 13 行时，$x$ 总是小于 $y$，那么第 $15$ 行不会被执行。（）

选项

• A. 正确
• B. 错误

答案

B

题解

选 B. 错误。

即使每次输入都满足 \(x<y\)，同一个 \(x\) 也可以先后对应不同的 \(y\)，从而执行第 15 行。

例如输入： ``text 3 2 1 2 1 3 ``

执行过程：

1. 输入 \((1,2)\)：满足外层条件，执行后 a[1] = 2、b[2] = 1。
2. 输入 \((1,3)\)：此时 a[1] = 2 < 3，且 b[3] = 0 < 1，所以进入外层 if。
3. 因为 a[1] > 0，会执行第 15 行：

``cpp b[a[x]] = 0; // 即 b[2] = 0 ``

两次输入都满足 \(x<y\)，但第 15 行仍然被执行，因此判断错误。