2024.9.2

rk5 100 + 100 + 70 + 60 其实 T3 可以 100 (rk2) 的

T3

T4

两个长度都为 \(m\) 的字符串 \(s_1, s_2\) 之间只差不超过一个字符，等价于 \(LCP(s_1, s_2) + LCS(s_1, s_2) \ge m - 1\)。

将操作类限制（往往是难以用简洁公式刻画或者多步）变为数值类限制。