二分$T$和$S$第一个不同的位置,即需要对于$s$,判定是否存在$T[1,s]=S[1,s]$且满足条件的$T$ (注:这里的条件不包含$T$的字典序最小) 显然$T[1,s]$已经确定,记其中第$i$种字母出现次数为$a_{i}$ 而对于$T(s,n]$,只有字典序(尽量大)和字符数量的限制,因此若交换两个字符能增大字典序显然不劣,重复交换这样的字符,不难得到最终字符从前往后是不上升的 设其中第$i$种…