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$。

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