在本题的数据范围中，前三档部分分（即 $n\le 2000$ 的部分）中对 $a_i$ 的限制是一样的，但经本人 $\operatorname{assert}(\max a_i\le n)$ 后，代码几乎全部 RE，后面的部分没有 RE 是因为本人写的部分分代码在 $n>2000$ 时直接 break 了，所以至少前三档部分分的民间数据应该没有对值域做出正确的限制。

本蒟蒻考完发现 T2 挂了至多 40pts，T3 又没有想出正解，想确认一下 T3 的部分分写得对不对，起因是默写的代码中有一部分 $\le \max a_i$ 的转移写成了 $\le n$ 的，过了大样例中 $n\le2000$ 的部分民间数据却只有 10pts，当场胆战心惊，发现这个问题之后虽然觉得根据当时的心理活动和后来的复杂度分析来看，赛时代码应该没有犯这个错误，但还是很担心，后来又翻数据范围发现这么写对这部分分的正确性应该没有影响，所以进行了验证，发现似乎有这样一个问题。