[CF1009G]Allowed Letters[贪心+霍尔定理]
题意
给你一个长为 \(n\) 的串,字符集为 \(a,b,c,d,e,f\) 。你可以将整个串打乱之后重新放置,但是某些位置上有一些限制:必须放某个字符集的字符。问字典序最小的串,如果无解输出 "Impossible"。
\(n\le 10^5\)
分析
每次贪心地选择字典序最小的字符判断,判断后面是否可以完美匹配。可以考虑霍尔定理。
这里有两种想法,一种是对于每种字符开一个 \(bitset\) 记录被包含的位置然后求并集(字符匹配位置);另一种则是考虑 "非完美算法" : 枚举一个字符集作为某些位置的字符集的并集,然后将所有可选字符集被完全包含的位置数量作为答案(位置匹配字符)。
容易发现第二种做法虽然可能求单个答案并不准确,但一定能够保证最终的答案是正确的,因为如果我们枚举的并集比实际那些位置字符集的并集要大的话,会更容易满足 $|X|\le |\digamma(X)| $ ,一定不会比实际的并集影响大。
因为要递推,所以考虑第二种方式。令 \(cnt(i)(S)\) 表示以 \(i\) 结尾的后缀中,字符集是 \(S\) 的子集的位置个数,如果有完美匹配则需要满足对于任意的 \(S\) 有: \(\sum\limits_{c\in S}num(c)\ge cnt(i+1)(S)\) ,其中 \(num(c)\) 表示剩余 \(c\) 字符的个数。
总时间复杂度为 \(O(6n\times 2^6)\)。
代码
#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
#define go(u) for(int i = head[u], v = e[i].to; i; i=e[i].lst, v=e[i].to)
#define rep(i, a, b) for(int i = a; i <= b; ++i)
#define pb push_back
#define re(x) memset(x, 0, sizeof x)
inline int gi() {
int x = 0,f = 1;
char ch = getchar();
while(!isdigit(ch)) { if(ch == '-') f = -1; ch = getchar();}
while(isdigit(ch)) { x = (x << 3) + (x << 1) + ch - 48; ch = getchar();}
return x * f;
}
template <typename T> inline void Max(T &a, T b){if(a < b) a = b;}
template <typename T> inline void Min(T &a, T b){if(a > b) a = b;}
const int N = 1e5 + 7;
int n, m;
int cnt[N][1 << 6], val[N], num[6], ans[N];
char s[N], s2[N];
int main() {
scanf("%s", s + 1);
n = strlen(s + 1);
rep(i, 1, n) num[s[i] - 'a'] ++;
m = gi();
rep(i, 1, m) {
int x = gi();
scanf("%s", s2 + 1);
int len = strlen(s2 + 1);
rep(j, 1, len) val[x] |= (1 << s2[j] - 'a');
}
for(int i = n; i; --i) {
if(!val[i]) val[i] = (1 << 6) - 1;
for(int j = 0; j < 1 << 6; ++j) {
cnt[i][j] = cnt[i + 1][j];
if((j & val[i]) == val[i]) cnt[i][j] ++;
}
}
rep(i, 1, n) {
for(int j = 0; j < 6; ++j) if(cnt[j] && val[i] >> j & 1){
num[j]--;bool fg = 1;
for(int S = 0; S < 1 << 6; ++S) {
int c = 0;
for(int k = 0; k < 6; ++k) if(S >> k & 1) c += num[k];
if(c < cnt[i + 1][S]) fg = 0;
}
if(fg) {ans[i] = j; goto A;}
num[j]++;
}
return puts("Impossible"), 0;
A:;
}
rep(i, 1, n) printf("%c", ans[i] + 'a');
puts("");
return 0;
}
[CF1009G]Allowed Letters[贪心+霍尔定理]的更多相关文章
- CF1009G Allowed Letters
link 题意: 给你一个长为n的串,字符集'a'~'f'.你可以重排这个串,满足指定m个位置上只能放特定的字符,m个位置以及字符集会给出.求字典序最小的串? $n,m\leq 10^5.$ 题解: ...
- Codeforces 1009G Allowed Letters FMT,二分图,二分图匹配,霍尔定理
原文链接https://www.cnblogs.com/zhouzhendong/p/CF1009G.html 题目传送门 - CF1009G 题意 给定一个长度为 $n$ 的字符串 $s$ .并给定 ...
- Codeforces 1009G Allowed Letters 最大流转最小割 sosdp
Allowed Letters 最直观的想法是贪心取, 然后网络流取check可不可行, 然后T了. 想到最大流可以等于最小割, 那么我们状压枚举字符代表的6个点连向汇点是否断掉, 然后再枚举64个本 ...
- 【题解】 AtCoder ARC 076 F - Exhausted? (霍尔定理+线段树)
题面 题目大意: 给你\(m\)张椅子,排成一行,告诉你\(n\)个人,每个人可以坐的座位为\([1,l]\bigcup[r,m]\),为了让所有人坐下,问至少还要加多少张椅子. Solution: ...
- 【题解】 bzoj1135: [POI2009]Lyz (线段树+霍尔定理)
题面戳我 Solution 二分图是显然的,用二分图匹配显然在这个范围会炸的很惨,我们考虑用霍尔定理. 我们任意选取穿\(l,r\)的号码鞋子的人,那么这些人可以穿的鞋子的范围是\(l,r+d\),这 ...
- 【题解】 bzoj3693: 圆桌会议 (线段树+霍尔定理)
bzoj3693 Solution: 显然我们可以把人和位置抽象成点,就成了一个二分图,然后就可以用霍尔定理判断是否能有解 一开始我随便YY了一个\(check\)的方法:就是每次向后一组,我们就把那 ...
- [hdu5503]EarthCup[霍尔定理]
题意 一共 \(n\) 只球队,两两之间会进行一场比赛,赢得一分输不得分,给出每只球队最后的得分,问能否构造每场比赛的输赢情况使得得分成立.多组数据 \(T\le 10,n\le 5\times 10 ...
- [CF981F]Round Marriage[二分+霍尔定理]
题意 洛谷 分析 参考了Icefox 首先二分,然后考虑霍尔定理判断是否有完美匹配.如果是序列的话,因为这里不会出现 \(j<i,L(i)<L(j)\) 或者 \(j<i,R(i)& ...
- [BZOJ3693]圆桌会议[霍尔定理+线段树]
题意 题目链接 分析 又是一个二分图匹配的问题,考虑霍尔定理. 根据套路我们知道只需要检查 "区间的并是一段连续的区间" 这些子集. 首先将环倍长.考虑枚举答案的区间并的右端点 \ ...
随机推荐
- apk安装提示:Failure [INSTALL_FAILED_DUPLICATE_PERMISSION perm=XXX]
近日,楼主在同一台手机上,同时安装同一个游戏的不同渠道包,add install后,提示:Failure [INSTALL_FAILED_DUPLICATE_PERMISSION perm=andro ...
- AJAX四种跨域处理方法
同源策略 同源策略 同源策略限制从一个源加载的文档或者脚本如何与来自另一个源的资源进行交互.这是一个用于隔离潜在恶意文件的关键的安全机制. 具体定义是:一段脚本向后台请求数据,只能读取属于同一协议名. ...
- Problem1-Project Euler
Problem1-Project Euler Multiples of 3 and 5 If we list all the natural numbers below 10 that are m ...
- webstorm使用过程中的一些问题与技巧
这一篇会随着使用逐渐更新: 1. 问题:string templates are not supported by current javascript version 解决 : setting &g ...
- .NET笔试题集(四)
转载于:http://www.cnblogs.com/ForEvErNoME/archive/2012/09/10/2678727.html 1.请你简单的说明数据库建立索引的优缺点 使用索引可以加快 ...
- Oracle EBS FTP显示无法与某IP 连接
首先 用root用户登录 如果可以登录 那么应该是权限的问题 这里选择 方法二:修改 /etc/sudoers 文件,找到下面一行,在root下面添加一行,如下所示: ## Allow root to ...
- [Spark RDD_1] RDD 基本概念
0. 说明 RDD 概述 && 创建 RDD 的方式 && RDD 编程 API(Transformation 和 Action Operations) &&a ...
- 【Alpha】团队项目测试报告与用户反馈
测试报告 一 . WEB端测试 测试页面 测试功能/界面 功能/界面简述 测试预期效果 测试目的 是否完成(Y/N) Internet Explorer Google chrome Firefox S ...
- webstorm 搭建es6开发环境
本文转自:http://www.jianshu.com/p/26601581e152 1:新建一个Empty Project项目es6 ,然后在src目录下新建了一个es.js: 2:打开设置pref ...
- app的描述-软件的描述
app的描述=需求文档+接口文档+程序架构+工程结构. 程序架构:类结构图: 需求文档:业务逻辑-->时序图.