LA 3907 Puzzle
2016-07-22 16:02
337 查看
问题描述:先给你s个禁止串,求不包含禁止串的最长串,如果存在,打印字典序最大。
数据范围:s <= 1000, 禁止串长度不超过50。
分析:不匹配问题实际上等同于匹配问题。假设我们已经有满足条件的串T, 如果加上某个字符c后得到的新串T + c 仍然满足条件,显然
我们便找到了一个更长的串,否则|T|就是所求。我们枚举字符c时,新串是否满足条件取决于原串T的后缀关于所有禁止串在其构成的trie
上的匹配情况,这也就是我们需要并且仅需要维护的信息。具体的说,我们记录串T在trie中匹配最深的节点编号,假设为l(T),当在T尾部
追加字符c时:
l(T) = nex[l(T)][c]
T = T + c
如果更新后得到的l(T)不在任一个禁止节点上,新串便是符合要求的。
如此我们看,若存在一个长度有限的最长串T,那么在T后追加任一个字符c后都会使得l(T + c)落在某个禁止节点上。考虑nex数组的计算:
nex[i][j]表示节点i对应的前缀追加字符j后在trie中匹配最深的节点编号。显然:
nex[i][j] = ch[i][j] ? ch[i][j] : ch[fail[i]][j]]
这里fail[i]表示节点i对应的前缀的后缀(不包括其本身)在trie中匹配最深的节点编号,即AC自动机中的失配函数。
将nex数组合并到ch数组中:
ch[i][j] = nex[i][j]
于是由trie中所有节点关于ch函数构成的一张有向图,并且将某些节点标记为禁止节点当且仅的其对应的前缀为某个禁止串。
因此考虑删去禁止节点后的新图G = (V, A), 合法串与图上的路径有一一对应关系,最长串存在当且仅当 |V| > 1(不能仅包含trie中0节点)
且图中无环。
判断一张有向图是否是DAG可以使用栈的性质,栈中存储dfs搜索经过的链节点,若新点不在链中即可加入,否则证明有环。
code:
数据范围:s <= 1000, 禁止串长度不超过50。
分析:不匹配问题实际上等同于匹配问题。假设我们已经有满足条件的串T, 如果加上某个字符c后得到的新串T + c 仍然满足条件,显然
我们便找到了一个更长的串,否则|T|就是所求。我们枚举字符c时,新串是否满足条件取决于原串T的后缀关于所有禁止串在其构成的trie
上的匹配情况,这也就是我们需要并且仅需要维护的信息。具体的说,我们记录串T在trie中匹配最深的节点编号,假设为l(T),当在T尾部
追加字符c时:
l(T) = nex[l(T)][c]
T = T + c
如果更新后得到的l(T)不在任一个禁止节点上,新串便是符合要求的。
如此我们看,若存在一个长度有限的最长串T,那么在T后追加任一个字符c后都会使得l(T + c)落在某个禁止节点上。考虑nex数组的计算:
nex[i][j]表示节点i对应的前缀追加字符j后在trie中匹配最深的节点编号。显然:
nex[i][j] = ch[i][j] ? ch[i][j] : ch[fail[i]][j]]
这里fail[i]表示节点i对应的前缀的后缀(不包括其本身)在trie中匹配最深的节点编号,即AC自动机中的失配函数。
将nex数组合并到ch数组中:
ch[i][j] = nex[i][j]
于是由trie中所有节点关于ch函数构成的一张有向图,并且将某些节点标记为禁止节点当且仅的其对应的前缀为某个禁止串。
因此考虑删去禁止节点后的新图G = (V, A), 合法串与图上的路径有一一对应关系,最长串存在当且仅当 |V| > 1(不能仅包含trie中0节点)
且图中无环。
判断一张有向图是否是DAG可以使用栈的性质,栈中存储dfs搜索经过的链节点,若新点不在链中即可加入,否则证明有环。
#include <algorithm> #include <cstdio> #include <cstring> #include <string> #include <queue> #include <map> #include <set> #include <ctime> #include <cmath> #include <iostream> #include <assert.h> #define pi acos(-1.) using namespace std; typedef long long ll; const int int_inf = 0x3f3f3f3f; const ll ll_inf = 1ll << 62; const int INT_INF = (int)((1ll << 31) - 1); const int mod = 1e9 + 7; const double double_inf = 1e30; typedef unsigned long long ul; #pragma comment(linker, "/STACK:102400000,102400000") #define max(a, b) ((a) > (b) ? (a) : (b)) #define min(a, b) ((a) < (b) ? (a) : (b)) #define mp make_pair #define st first #define nd second #define keyn (root->ch[1]->ch[0]) #define lson (u << 1) #define rson (u << 1 | 1) #define pii pair<int, int> #define pll pair<ll, ll> #define pb push_back #define type(x) __typeof(x.begin()) #define foreach(i, j) for(type(j)i = j.begin(); i != j.end(); i++) #define FOR(i, s, t) for(int i = (s); i <= (t); i++) #define ROF(i, t, s) for(int i = (t); i >= (s); i--) #define dbg(x) cout << x << endl #define dbg2(x, y) cout << x << " " << y << endl #define clr(x, i) memset(x, (i), sizeof(x)) #define maximize(x, y) x = max((x), (y)) #define minimize(x, y) x = min((x), (y)) #define low_bit(x) ((x) & (-x)) inline int readint(){ int x; scanf("%d", &x); return x; } inline int readstr(char *s){ scanf("%s", s); return strlen(s); } class cmpt{ public: bool operator () (const int &x, const int &y) const{ return x > y; } }; int Rand(int x, int o){ //if o set, return [1, x], else return [0, x - 1] if(!x) return 0; int tem = (int)((double)rand() / RAND_MAX * x) % x; return o ? tem + 1 : tem; } void data_gen(){ srand(time(0)); freopen("in.txt", "w", stdout); int times = 10; printf("%d\n", times); while(times--){ int n = Rand(500, 1), m = Rand(500, 1); printf("%d %d\n", n, m); FOR(i, 1, n){ FOR(j, 1, m) printf("%c", Rand(2, 0) + 'a'); putchar('\n'); } n = Rand(min(10, n), 1), m = Rand(min(10, m), 1); printf("%d %d\n", n, m); FOR(i, 1, n){ FOR(j, 1, m) printf("%c", Rand(2, 0) + 'a'); putchar('\n'); } } } struct cmpx{ bool operator () (int x, int y) { return x > y; } }; int debug = 1; int dx[] = {-1, 1, 0, 0}; int dy[] = {0, 0, -1, 1}; //------------------------------------------------------------------------- const int maxn = 1e3 + 10; const int maxm = 55; int sigma_size, tot; struct Trie{ int ch[maxn * maxm][26]; int sz; int info[maxn * maxm]; int fail[maxn * maxm]; int ans[maxn * maxm]; int ok[maxn * maxm]; void init() { sz = tot = 0; clr(ch[0], 0); clr(info, 0); } int idx(char c) { return c - 'A'; } void insert(char *s){ int u = 0; while(*s){ int v = ch[u][idx(*s)]; if(!v) { ch[u][idx(*s)] = v = ++sz; clr(ch[sz], 0); } u = v; ++s; } if(!info[u]) info[u] = ++tot; } void getFail(){ queue<int> q; while(!q.empty()) q.pop(); FOR(i, 0, sigma_size - 1) if(ch[0][i]) q.push(ch[0][i]); FOR(i, 0, sigma_size - 1) fail[ch[0][i]] = 0; while(!q.empty()){ int u = q.front(); q.pop(); FOR(i, 0, sigma_size - 1){ int v = ch[u][i]; if(!v) { ch[u][i] = ch[fail[u]][i]; continue; } fail[v] = ch[fail[u]][i]; q.push(v); } } } bool vis[maxn * maxm]; bool dfs(int u){ if(vis[u]) return true; if(ok[u] != -1) return ok[u]; if(info[u]) return ok[u] = 0; vis[u] = 1; FOR(i, 0, sigma_size - 1){ int v = ch[u][i]; if(dfs(v)) { vis[u] = 0; return ok[u] = 1; } } vis[u] = 0; return ok[u] = 0; } bool isAcy(){ clr(ok, -1), clr(vis, 0); return !dfs(0); } int __dfs(int u){ if(ans[u] != -1) return ans[u]; if(info[u]) return ans[u] = 0; int maxi = 0; FOR(i, 0, sigma_size - 1){ int v = ch[u][i]; int tem = __dfs(v); maximize(maxi, tem); } return ans[u] = maxi + 1; } int getAns(){ clr(ans, -1); return __dfs(0); } void printAns(int u, int d){ if(info[u]) return; ROF(i, sigma_size - 1, 0){ int v = ch[u][i]; if(ans[v] == d - 1){ if(ans[v] > 0) putchar(i + 'A'); printAns(v, d - 1); return; } } } }trie; int n; char s[maxm]; //------------------------------------------------------------------------- int main(){ //data_gen(); return 0; //C(); return 0; debug = 0; /////////////////////////////////////////////////////////////////////////////////////////////////////////////// if(debug) freopen("in.txt", "r", stdin); //freopen("out.txt", "w", stdout); int T = readint(); while(T--){ sigma_size = readint(), n = readint(); trie.init(); FOR(i, 1, n){ readstr(s); trie.insert(s); } trie.getFail(); int ans; if(!trie.isAcy()) ans = 0; else ans = trie.getAns(); if(ans > 1) trie.printAns(0, ans), putchar('\n'); else puts("No"); } ////////////////////////////////////////////////////////////////////////////////////////////////////////////// return 0; }
code:
相关文章推荐
- web应用中Spring ApplicationContext的动态更新
- scala flatMap 简介
- 通过继承ListActivity实现列表 了解
- 链表的划分
- @Resource、@Autowired、@Qualifier的注解注入及区别
- 控制试图圆角
- poj3683Priest John's Busiest Day【2-sat二选一输出】
- Linux下下载百度云大文件
- 认识和理解css布局中的BFC
- Zookeeper的设计模式之观察者模式(十)
- redis范围查询应用-查找IP所在城市<转>
- web应用中Spring ApplicationContext的动态更新
- 解决windows系统80端口被占用问题(转)
- Python Opearte SQLAlchemy Do Something
- 本地缓存和中央缓存 同步数据思路
- iOS-OC-提交审核:Missing Push Notification Entitlement
- HDOJ 5742 (2016多校联合训练 Training Contest 2) It's All In The Mind
- poj 1696
- wifi详解(五)
- 按钮 边角 相关设置