最开始拿到,没有发现什么想法,于是看样例,发现样例一的 t 1 , t 2 t_1,t_2 t1,t2是相等的,而相等的原因就是因为 t 2 t_2 t2的第三个字符是 1 1 1,所以对 t 2 t_2 t2的 [ 1 , 3 ] [1,3] [1,3]排序相当于对 t 2 t_2 t2的 [ 1 , 2 ] [1,2] [1,2]排序,于是我们不难猜出这个做法(注意,这个做法里面有一个小错误,“ n x t l > p r e r nxt_l>pre_r nxtl>prer”,应该是 n x t l ≥ p r e r nxt_l≥pre_r nxtl≥prer,因为对长度为 1 1 1的区间排序也就相当于没排序);证明:首先如果排序区间一模一样,那么两个串肯定相同;如果排序区间不同,分完全包含,相交,完全不相交三种情况讨论(注意此时排序区间的左端点一定会从 1 1 1变成 0 0 0,右端点一定会从 0 0 0变成 1 1 1)即可
所以一定要学会看样例啊