题解 | #周赛round66 F#

首先可以对于每个字母 $ch$ 开一个vector[ch]，将字符串中每个字符为 $ch$ 的字符的下标存入vector[ch].

然后就可以考虑同一个vector[ch]中的顺序关系。

不妨设下标分别为 $x$ 和 $y$ ，其中 $s[x] = s[y]$ ， $x<y$ 。

设经过改变后的字符串分别为 $s_1$ 和 $s_2$ ，即分别表示将 $s[x]$ 放到第一个和 $s[y]$ 放到第一个后的字符串。

对于 $i\le x$ ， $s_1[i]=s_2[i]$ ，对于 $i>y$ ， $s_1[i]=s_2[i]$ 。

所以只需要考虑 $x< i\le y$ 。

此时只需要依次比较：

$s_1[x 1]$ 和 $s_2[x 1]$ ， $s_1[x 2]$ 和 $s_2[x 2]$ ，…, $s_1[y]$ 和 $s_2[y]$ 。

由于 $x< i\le y$ ，此时 $s_1[i]=s[i]$ ， $s_2[i] = s[i-1]$ .

所以只需要比较：

$s[x 1]$ 和 $s[x]$ ， $s[x 2]$ 和 $s[x 1]$ ，…, $s[y]$ 和 $s[y-1]$ 。

也就是说，只需要找到从 $x$ 开始最长的连续相等的子串，比较它和下一个字符的大小即可。

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define int long long 
#define endl '\n'

void Prework() {

}
void Solve() {
    int n, k;cin >> n >> k;
    string s;cin >> s;s = ' ' + s;
    vector<vector<int>> c(26);
    for (int i = 1;i <= n;i++) {
        c[s[i] - 'a'].push_back(i);
    }
    int p = 0;
    while (c[p].size() < k) k -= c[p++].size();
    vector<int> dp(n + 1);dp[n] = 1;
    for (int i = n - 1;i >= 1;i--) {
        if (s[i] == s[i + 1]) dp[i] = dp[i + 1] + 1;
        else dp[i] = 1;
    }
    sort(c[p].begin(), c[p].end(), [&](auto u, auto v)->ll {
        if (u < v) {
            int U = u + dp[u] - 1;
            if (U >= v) return (u < v);
            else {
                return s[U] > s[U + 1];
            }
        }
        else {
            int V = v + dp[v] - 1;
            if (V >= u) return (u < v);
            else {
                return s[V] < s[V + 1];
            }
        }
        });

    //cout << c[p][k - 1] << endl;
    int res = c[p][k - 1];
    //cout << res << endl;
    cout << s[res];
    for (int i = 1;i <= n;i++) {
        if (i != res) cout << s[i];
    }
    cout << endl;
}

signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0);cout.tie(0);
    int T = 1;
    cin >> T;
    Prework();
    while (T--) Solve();
}