CSP-S 2019 第一轮 第17题：程序输出的 ans 小于等于 n

题目

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

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

（1 分）程序输出的 $ans$ 小于等于 $n$。（）

选项

• T. 正确
• F. 错误

答案

T

题解

选 T（正确）。

只要程序进入循环，就有 \(n\ge 1\)。看 ans 的所有赋值和修改：

• 初始值为 1，满足 ans ≤ n。
• 执行 ans = i 时，因为循环条件是 i <= n，所以仍满足 ans ≤ n。
• 执行 ++ans 前，必须满足 ans < n，因此加一后最多等于 n。

所以每次输出的 ans 都小于等于 \(n\)。