码迷,mamicode.com
首页 > 其他好文 > 详细

[TJOI2015]弦论(后缀自动机)

时间:2019-08-31 15:17:26      阅读:87      评论:0      收藏:0      [点我收藏+]

标签:注意   sizeof   set   ace   href   有关   http   选择   std   

传送门

题意:
对给定字符串\(s\),求其第\(k\)小子串,重复串被计入以及不被计入这两种情况都需考虑。

思路:
首先构建后缀自动机,之后就考虑在后缀自动机上\(dp\)
我们知道如果要考虑重复串,那么就会与一个结点的\(endpos\)集合的大小有关,对于一条边\((u,v)\),如果结点\(u\)\(endpos\)集合大小为\(x\),那么就说明从\(u\)出发到达\(v\),会多出\(x\)种选择。
如果不考虑重复串,直接强制集合大小为\(1\)即可。
之后逆着拓扑序\(dp\)就行,求出从每个结点出发的子串个数。
最后求第\(k\)小的时候,有一些细节需要注意一下,比如从\(u\)\(v\)\(k\)应该减去\(|endpos(v)|\),因为现在的字符串会有\(|endpos(v)|\)个。
感觉后缀自动机好神奇...好多的性质以及用法...

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 1e6 + 5;
struct node{
    int ch[26];
    int len, fa;
    node(){memset(ch, 0, sizeof(ch)), len = 0;}
}dian[N];
int last = 1, tot = 1;
ll f[N], sum[N];
int n, k, op;
char s[N];
int c[N], a[N];
void add(int c) {
    int p = last;
    int np = last = ++tot;
    dian[np].len = dian[p].len + 1;
    f[np] = 1;
    for(; p && !dian[p].ch[c]; p = dian[p].fa) dian[p].ch[c] = np;
    if(!p) dian[np].fa = 1;
    else {
        int q = dian[p].ch[c];
        if(dian[q].len == dian[p].len + 1) dian[np].fa = q;
        else {
            int nq = ++tot; dian[nq] = dian[q];
            dian[nq].len = dian[p].len + 1;
            dian[q].fa = dian[np].fa = nq;
            for(; p && dian[p].ch[c] == q; p = dian[p].fa) dian[p].ch[c] = nq;
        }
    }
}
void dfs(int u) {
    if(k <= 0) return;
    for(int i = 0; i < 26; i++) {
        int v = dian[u].ch[i];
        if(k > sum[v]) k -= sum[v];
        else {
            cout << char(i + 'a');
            k -= f[v];
            dfs(v);
            return;
        }
    }
}
int main() {
    ios::sync_with_stdio(false); cin.tie(0);
    cin >> s + 1 >> op >> k;
    int n = strlen(s + 1);
    for(int i = 1; i <= n; i++) add(s[i] - 'a');
    for(int i = 1; i <= tot; i++) c[dian[i].len]++;
    for(int i = 1; i <= tot; i++) c[i] += c[i - 1];
    for(int i = 1; i <= tot; i++) a[c[dian[i].len]--] = i;
    for(int i = tot; i; i--) {
        if(op) f[dian[a[i]].fa] += f[a[i]];
        else f[a[i]] = 1;
    }
    f[1] = 0;
//长度从大到小,逆着拓扑序
//每个结点的next指针指向的点长度肯定不小于它
    for(int i = tot; i >= 1; i--) {
        sum[a[i]] = f[a[i]];
        for(int j = 0; j < 26; j++) {
            int v = dian[a[i]].ch[j];
            if(v) sum[a[i]] += sum[v];
        }
    }
    if(sum[1] < k) cout << -1;
    else dfs(1);
    return 0;
}

[TJOI2015]弦论(后缀自动机)

标签:注意   sizeof   set   ace   href   有关   http   选择   std   

原文地址:https://www.cnblogs.com/heyuhhh/p/11438848.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!