CSP-S 2019 第一轮 第30题：程序运行到第 23 行时，j - i - 1 一定不小于 0

题目

$t$ 是 $s$ 的子序列的意思是：从 $s$ 中删去若干个字符，可以得到 $t$；特别的，如果 $s=t$，那么 $t$ 也是 $s$ 的子序列；空串是任何串的子序列。例如：$\texttt{acd}$ 是 $\texttt{abcde}$ 的子序列，$\texttt{acd}$ 是 $\texttt{acd}$ 的子序列，但 $\texttt{adc}$ 不是 $\texttt{abcde}$ 的子序列。

$s[x..y]$ 表示 $s[x] \cdots s[y]$ 共 $y-x+1$ 个字符构成的字符串，若 $x>y$ 则 $s[x..y]$ 是空串。$t[x..y]$ 同理。

#include <iostream>
#include <string>
using namespace std;
const int max1 = 202;
string s, t;
int pre[max1], suf[max1];

int main() {
    cin >> s >> t;
    int slen = s.length(), tlen = t.length();

    for (int i = 0, j = 0; i < slen; ++i) {
        if (j < tlen && s[i] == t[j]) ++j;
        pre[i] = j; // t[0..j-1] 是 s[0..i] 的子序列
    }

    for (int  i = slen - 1 , j = tlen - 1; i >= 0; --i) {
        if(j >= 0 && s[i] == t [j]) --j;
        suf[i]= j; // t[j+1..tlen-1] 是 s[i..slen-1] 的子序列
    }

    suf[slen] = tlen -1;
    int ans = 0;
    for (int i = 0, j = 0, tmp = 0; i <= slen; ++i){
        while(j <= slen && tmp >= suf[j] + 1) ++j;
        ans = max(ans, j - i - 1);
        tmp = pre[i];
    }
    cout << ans << endl;
    return 0;
}

提示：

- $t[0\dots pre[i]-1]$ 是 $s[0\dots i]$ 的子序列；
- $t[suf[i]+1\dots tlen-1]$ 是 $ s[i\dots slen-1]$ 的子序列。

（2分）程序运行到第 $23$ 行时，$j - i - 1$ 一定不小于 $0$。（）

选项

• T. 正确
• F. 错误

答案

F

题解

选 F（错误）。题目没有保证 $t$ 一定是 $s$ 的子序列。

举个反例：输入 s = "a"，t = "b"。

倒着匹配时，a 和 b 不相等，得到 suf[0] = 0。

进入最后一个 for 循环，最初： ``cpp i = 0, j = 0, tmp = 0 ` 此时 while 的条件 tmp >= suf[j] + 1 即 0 >= 1，不成立，所以 j 仍为 0`。

执行更新 ans 的语句时： \[ j-i-1=0-0-1=-1<0 \]

因此，“一定不小于 $0$”是错误的。虽然 max 会使 ans 保持为 0，但 j-i-1 本身可以是负数。