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

洛谷传送门

Codeforces传送门

题意翻译

给定一个长为$n$的串$S$，字符集a~f。你可以重排这个串，满足指定$m$个位置上只能放特定的字符，$m$个位置以及相应的字符集会给出,求字典序最小的串

输入输出格式

输入格式

第一行一个串$S$。

第二行一个整数$m$。

以下$m$行， 每行一个数字$po{s}_i$和一个字符串$s$， 表示$po{s}_i$处只能填$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$的， 那么可以用$Hall$定理做。

在这里实质上我们的匹配一边是$2^6$个点， 表示每种限制， 另一边是$6$个点， 表示每种颜色的总数。

那么根据$Hall$定理， 我们枚举$6$个点的所有子集， 看是否能有完美匹配就好了。

可以预处理出所有后缀对应每个状态的匹配数， 然后就可以$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");
}