洛谷传送门
Codeforces传送门
题意翻译
给定一个长为
n
n
n的串
S
S
S,字符集a~f
。你可以重排这个串,满足指定
m
m
m个位置上只能放特定的字符,
m
m
m个位置以及相应的字符集会给出,求字典序最小的串
输入输出格式
输入格式
第一行一个串 S S S。
第二行一个整数 m m m。
以下 m m m行, 每行一个数字 p o s i pos_i posi和一个字符串 s s s, 表示 p o s i pos_i posi处只能填 s s s中的字符。
输出格式
如果无法得到题目要求的串, 输出Impossible
。
否则输出一个满足要求的字典序最小的串。
输入输出样例
输入样例#1:
bedefead
5
2 e
1 dc
5 b
7 ef
6 ef
输出样例#1:
deadbeef
输入样例#2:
abacaba
0
输出样例#2:
aaaabbc
输入样例#3:
fc
2
1 cfab
2 f
输出样例#3:
cf
解题分析
确定一个状态是否合法是很简单的, 直接看二分图有没有完美匹配就好了。
但是每次贪心枚举一位, 然后跑网络流显然是要 T T T的, 那么可以用 H a l l Hall Hall定理做。
在这里实质上我们的匹配一边是 2 6 2^6 26个点, 表示每种限制, 另一边是 6 6 6个点, 表示每种颜色的总数。
那么根据 H a l l Hall Hall定理, 我们枚举 6 6 6个点的所有子集, 看是否能有完美匹配就好了。
可以预处理出所有后缀对应每个状态的匹配数, 然后就可以 O ( 1 ) O(1) O(1)得到一个子集是否合法了。
代码如下:
#include <cstdio>
#include <cstring>
#include <cmath>
#include <cctype>
#include <cstdlib>
#include <algorithm>
#define R register
#define IN inline
#define W while
#define gc getchar()
#define ll long long
#define MX 100500
const int all = 63;
int len, n;
bool lim[MX];
char buf[MX], ans[MX];
int itsec[MX][64], cnt[6], stat[MX];
IN bool check(R int pos)
{
static int tot, foo, tmp;
for (R int i = 1; i <= all; ++i)
{
tot = 0, tmp = i;
W (tmp)
{
foo = __builtin_ctz(tmp);
tmp ^= (1 << foo);
tot += cnt[foo];
}
if (tot > itsec[pos + 1][i])
return false;
}
return true;
}
int main(void)
{
scanf("%s", buf + 1); len = std::strlen(buf + 1);
for (R int i = 1; i <= len; ++i) ++cnt[buf[i] - 'a'];
scanf("%d", &n); int foo, bar;
for (R int i = 1; i <= n; ++i)
{
scanf("%d%s", &foo, buf + 1);
bar = std::strlen(buf + 1); lim[foo] = true;
for (R int j = 1; j <= bar; ++j) stat[foo] |= (1 << (buf[j] - 'a'));
}
for (R int i = len; i; --i)
{
for (R int j = 1; j <= all; ++j) itsec[i][j] = itsec[i + 1][j];
if (!lim[i]) stat[i] = all;
for (R int j = 1; j <= all; ++j) if (stat[i] & j) ++itsec[i][j];
}
for (R int i = 1; i <= len; ++i)
{
foo = stat[i];
W (foo)
{
bar = __builtin_ctz(foo);
foo ^= (1 << bar);
if (cnt[bar])
{
--cnt[bar];
if (check(i)) {ans[i] = 'a' + bar; goto ok;}
++cnt[bar];
}
}
goto fail;
ok :;
}
return printf("%s", ans + 1), 0;
fail :; puts("Impossible");
}