中文题意

给你长度为n的字符串S，要你构造出大小为m的子序列集合。并且子序列的价值等于原序列长度减掉子序列长度，现在问你构造出最小的子序列集合的总价值是多少，如果无法构造输出负一。

Solution

动态规划解题，我们要构造出大小为m的子序列集合，那么我们根据子序列的特性，前面字符只能保留或者删除。
使用代表前个字符构造出来的长度为的子序列数量。那么如何递推到它呢？我们如果保证前提全部字母不重复。那么他就很容易实现。 ，很显然要么从前个数里面选出长度是的，要么直接从前个数选出长度为的第位我们就不加入子序列之间了。所以我们解决了这样的一个简化问题。如何处理可以让他适合会存在重复数字的时候呢？那么我们想想什么时候会重复数字多次计算。

假设我们之前有个序列是，那么如果我们现在选的是的情况，如果我们直接按照上面计算我们就会选择前5个选1个字母和组合，会出现这种情况，还会选择直接前面5个数直接组成2个字母的情况。那么又会计算到这种情况，那么多出来的部分是不是就是选定最近出现的位置并且保证这个字母必选的前提下，去前面再选个字母呢，好了到这里我们就吧全部的问题解决了。

#include <bits/stdc++.h>
using namespace std;
#define js ios::sync_with_stdio(false);cin.tie(0); cout.tie(0)
#define all(__vv__) (__vv__).begin(), (__vv__).end()
#define endl "\n"
#define pai pair<int, int>
#define ms(__x__,__val__) memset(__x__, __val__, sizeof(__x__))
#define rep(i, sta, en) for(int i=sta; i<=en; ++i)
#define repp(i, sta, en) for(int i=sta; i>=en; --i)
typedef long long ll; typedef unsigned long long ull; typedef long double ld;
inline ll read() { ll s = 0, w = 1; char ch = getchar(); for (; !isdigit(ch); ch = getchar()) if (ch == '-') w = -1; for (; isdigit(ch); ch = getchar())    s = (s << 1) + (s << 3) + (ch ^ 48); return s * w; }
inline void print(ll x, int op = 10) { if (!x) { putchar('0'); if (op)    putchar(op); return; }    char F[40]; ll tmp = x > 0 ? x : -x;    if (x < 0)putchar('-');    int cnt = 0;    while (tmp > 0) { F[cnt++] = tmp % 10 + '0';        tmp /= 10; }    while (cnt > 0)putchar(F[--cnt]);    if (op)    putchar(op); }
inline ll gcd(ll x, ll y) { return y ? gcd(y, x % y) : x; }
ll qpow(ll a, ll b) { ll ans = 1;    while (b) { if (b & 1)    ans *= a;        b >>= 1;        a *= a; }    return ans; }    ll qpow(ll a, ll b, ll mod) { ll ans = 1; while (b) { if (b & 1)(ans *= a) %= mod; b >>= 1; (a *= a) %= mod; }return ans % mod; }
const int dir[][2] = { {0,1},{1,0},{0,-1},{-1,0},{1,1},{1,-1},{-1,1},{-1,-1} };
const int MOD = 1e9 + 7;
const int INF = 0x3f3f3f3f;
const int N = 100 + 7;

ll n, m;
ll dp[N][N];
char s[N];

void solve() {
    n = read(), m = read();
    scanf("%s", s + 1);
    unordered_map<char, int> mp;
    rep(i, 0, n)    dp[i][0] = 1;
    rep(i, 1, n) {
        rep(j, 1, n) {
            dp[i][j] += dp[i - 1][j - 1] + dp[i - 1][j];
            if (mp.count(s[i]))
                dp[i][j] -= dp[mp[s[i]] - 1][j - 1];
        }
        mp[s[i]] = i;
    }
    ll sum = 0, ans = 0;
    repp(i, n, 0) {
        if (sum + dp[n][i] >= m) {
            ans += (n - i) * (m - sum);
            print(ans);
            return;
        }
        sum += dp[n][i];
        ans += (n - i) * dp[n][i];
    }
    print(-1);
}

int main() {
    //int T = read();    while (T--)
    solve();
    return 0;
}