Educational Codeforces Round 47 (Rated for Div. 2) G. Allowed Letters

把原字符看成 $X$，每个位置看成 $Y$，每种字符向每个能去的位置连边，就成了一个二分图完美匹配的问题。
现要得到字典序最小，那么就枚举每一位要放什么，然后看放完这种字符，剩下的字符的个数和后面能不能形成完美匹配。
根据霍尔定理，选择 $X$ 中的一个子集 $s$，和 $Y$ 连边的点集为 $N(s)$，那么 $N(s)$ 的大小就只和 $s$ 中的字符种类数有关。
当 $s$ 最大时肯定是每种字符的个数都拿上。那么就用一个 $cnt[i][s]$ 表示后缀 $[i, n]$ 中和 $s$ 连边的位置数。
然后枚举一下子集再判断一下 $N(s)$ 和 $s$ 的关系就行了。

#include <bits/stdc++.h>
using namespace std;

const int N = 1e5 + ;
int cnt[N][ << ], cnt2[], bin[N];
char s[N], ans[N];

int main() {
    scanf("%s", s + );
    int n = strlen(s + );
    for (int i = ; i <= n; i++)
        cnt2[s[i] - 'a']++;
    int m;
    scanf("%d", &m);
    for (int i = ; i <= m; i++) {
        char t[]; int x;
        scanf("%d%s", &x, t);
        for (int j = ; t[j]; j++)
            bin[x] |= ( << (t[j] - 'a'));
    }
    for (int i = n; i >= ; i--) {
        if (bin[i] == ) bin[i] = ( << ) - ;
        for (int s = ; s < ( << ); s++) {
            cnt[i][s] = cnt[i + ][s];
            if (bin[i] & s) cnt[i][s]++;
        }
    }
    for (int i = ; i <= n; i++) {
        bool flag = false;
        for (int alp = ; alp < ; alp++) {
            if (!cnt2[alp] || (bin[i] >> alp & ) == ) continue;
            cnt2[alp]--;
            bool check = ;
            for (int s = ; s < ( << ); s++) {
                int cn = ;
                for (int j = ; j < ; j++) if (s >> j & )
                    cn += cnt2[j];
                if (cn > cnt[i + ][s]) {
                    check = false;
                    break;
                }
            }
            if (check) {
                ans[i] = (char)(alp + 'a');
                flag = ;
                break;
            }
            cnt2[alp]++;
        }
        if (!flag) {
            puts("Impossible");
            return ;
        }
    }
    puts(ans + );
    return ;
}