给定n，k，m和字符串s，m是s的长度，判断长度为n的由字母表的前k个字母组成的字符串是否都是s的子序列，若是，输出yes，否则输出no，并输出长度为n的字符串，满足其不是s的子序列

题目

思路：

必要条件: m >= n * k, s至少是由(a1, a2,..., ak), (a1, a2,..., ak), ...(a1, a2, ...,ak)（括号内重复n次）组成的字符串。

因此以出现k个不同字符的子串为一组，判断是否有n组，设ans初始为空串，每有一组出现k个不同字符的子串，ans就拼接该组最后一个字符（该组最后出现的字符），若该组不完整，ans就拼接一个没出现的字符。

若没有n组，ans就是反例。

证明：假设n = 3，k = 3,  s = "abbacccabab", 那么s划分为 abbac, ccab, ab，第三组不完整，c没出现，那么ans = "cbc", 从右往左看ans，因为第三组没有c，所以ans[2] = c 必须由第二组的c凑，ans[1] = b由第一组的b凑，ans[0] = c也得由第一组凑，但是c是第一组最后一个字符，因为已经在第一组凑了b，所以c必定凑不了。

#include <bits/stdc++.h>
using namespace std;
#define int long long
#define pb push_back
const int maxn = 1e6 + 5, inf = 1e9 + 5, maxm = 4e4 + 5, mod = 1e9 + 7, N = 1e6;
int a[maxn], b[maxn];
int n, m;
string s;

int qpow(int a, int b){
    int res = 1;
    while(b){
        if(b & 1) res = res * a % mod;
        a = a * a % mod;
        b >>= 1;
    }
    return res;
}

int __lcm(int a, int b){
    int g = __gcd(a, b);
    return a * b / g;
}

void solve()
{
    
    int res = 0;
    int k;
    cin >> n >> k >> m;
    // for(int i = 1; i <= n; i++){
    //     cin >> a[i];
    // }
    cin >> s;
    
    int j = 0;
    string ans;
    bool ok = 1;
    for(int i = 1; i <= n; i++){
        bool vis[30] = {0};
        int cnt = 0;
        while(j < m && cnt < k){
            int id = s[j] - 'a';
            if(!vis[id]){
                vis[id] = 1;
                cnt++;
            }
            j++;
        }
        if(cnt >= k){
            ans += s[j - 1];
        }
        else{
            ok = 0;
            char ch;
            for(int i = 0; i < k; i++){
                if(!vis[i]){
                    ch = 'a' + i;
                    break;
                }
            }
            ans += ch;
        }
    }
    if(ok){
        cout << "Yes\n";
    }
    else{
        cout << "No\n";
        cout << ans << '\n';
    }
}
signed main(){
    ios::sync_with_stdio(0);
    cin.tie(0);
    // fac[0] = 1;
    // for(int i = 1; i <= N; i++){
    //     fac[i] = fac[i - 1] * i % mod;
    // }
    int T = 1;
    cin >> T;
    while (T--)
    {
        solve();
    }
    return 0;
}