P4070 [SDOI2016]生成魔咒

时间:2022-09-07 21:55:10

题目地址:P4070 [SDOI2016]生成魔咒

相信看到题目之后很多人跟我的思路是一样的——

肯定要用 SAP3809 【模板】后缀排序

肯定要会求本质不同的子串个数P2408 不同子串个数

然后?就不会了......

瓶颈在哪儿?

你会发现每往后添加一个字符,整个 sa 数组只会插入一个数,要维护不难

但是 height无规律变化,这就导致无法高效维护

怎么办呢?

倒置字符串

我们将整个字符串倒置过来

显然本质不同的子串个数不会变化

而每往前添加一个字符串, height 的变化是 \(O(1)\) 的

那么,问题就变得简单很多了

具体实现请看代码注释

#include <bits/stdc++.h>
#define ll long long
#define si set<int>::iterator
using namespace std;
const int N = 1e5 + 6;
int n, m, a[N], b[N];
int sa[N], rk[N], tp[N], tx[N], he[N], st[N][20];
ll ans;
set<int> s;

inline void tsort() {//基数排序
    for (int i = 1; i <= m; i++) tx[i] = 0;
    for (int i = 1; i <= n; i++) ++tx[rk[i]];
    for (int i = 1; i <= m; i++) tx[i] += tx[i-1];
    for (int i = n; i; i--) sa[tx[rk[tp[i]]]--] = tp[i];
}

inline bool pd(int i, int w) {
    return tp[sa[i-1]] == tp[sa[i]] && tp[sa[i-1]+w] == tp[sa[i]+w];
}

inline void SA() {//后缀数组板子
    for (int i = 1; i <= n; i++) {
        rk[i] = a[i] = lower_bound(b + 1, b + m + 1, a[i]) - b;
        tp[i] = i;
    }
    tsort();
    for (int w = 1, p = 0; p < n; m = p, w <<= 1) {
        p = 0;
        for (int i = 1; i <= w; i++) tp[++p] = n - w + i;
        for (int i = 1; i <= n; i++)
            if (sa[i] > w) tp[++p] = sa[i] - w;
        tsort();
        swap(rk, tp);
        rk[sa[1]] = p = 1;
        for (int i = 2; i <= n; i++)
            rk[sa[i]] = pd(i, w) ? p : ++p;
    }
    int p = 0;
    for (int i = 1; i <= n; i++) {
        if (p) --p;
        int j = sa[rk[i]-1];
        while (a[i+p] == a[j+p]) ++p;
        he[rk[i]] = p;
    }
}

inline void ST() {//构造ST表
    for (int i = 1; i <= n; i++) st[i][0] = he[i];
    int w = log(n) / log(2);
    for (int k = 1; k <= w; k++)
        for (int i = 1; i <= n; i++) {
            if (i + (1 << k) > n + 1) break;
            st[i][k] = min(st[i][k-1], st[i+(1<<(k-1))][k-1]);
        }
}

inline int get(int l, int r) {//求l~r之间的最小值(即l-1与r的lcp)
    int k = log(r - l + 1) / log(2);
    return min(st[l][k], st[r-(1<<k)+1][k]);
}

int main() {
    cin >> n;
    for (int i = 1; i <= n; i++) {
        scanf("%d", &a[i]);
        b[i] = a[i];
    }
    //离散化
    sort(b + 1, b + n + 1);
    m = unique(b + 1, b + n + 1) - (b + 1);
    reverse(a + 1, a + n + 1);//倒置字符串
    SA();//求sa,rk,height数组
    ST();//ST表
    for (int i = n; i; i--) {//倒序考虑
        s.insert(rk[i]);//以rk为关键字插入set
        si it = s.find(rk[i]);//找到插入的位置
        int k = 0;//存最长lcp
        if (it != s.begin()) {//找前驱,注意特判
            int p = *(--it);
            k = get(p + 1, rk[i]);
            ++it;
        }
        ++it;
        if (it != s.end()) {//找后继,注意特判
            int p = *it;
            k = max(k, get(rk[i] + 1, p));
        }
        ans += n + 1 - i - k;//加上新生成的子串
        printf("%lld\n", ans);
    }
    return 0;
}

P4070 [SDOI2016]生成魔咒的更多相关文章

  1. bzoj4516 &sol; P4070 &lbrack;SDOI2016&rsqb;生成魔咒

    P4070 [SDOI2016]生成魔咒 后缀自动机 每插入一个字符,对答案的贡献为$len[last]-len[fa[last]]$ 插入字符范围过大,所以使用$map$存储. (去掉第35行就是裸 ...

  2. 洛谷 P4070 &lbrack;SDOI2016&rsqb;生成魔咒 解题报告

    P4070 [SDOI2016]生成魔咒 题目描述 魔咒串由许多魔咒字符组成,魔咒字符可以用数字表示.例如可以将魔咒字符 \(1\).\(2\) 拼凑起来形成一个魔咒串 \([1,2]\). 一个魔咒 ...

  3. Luogu P4070 &lbrack;SDOI2016&rsqb;生成魔咒

    题目链接 \(Click\) \(Here\) 其实是看后缀数组资料看到这个题目的,但是一眼反应显然后缀自动机,每次维护添加节点后的答案贡献即可,唯一不友好的一点是需要平衡树维护,这里因为复杂度不卡而 ...

  4. &lbrack;洛谷P4070&rsqb;&lbrack;SDOI2016&rsqb;生成魔咒

    题目大意:有一个字符串,每次在末尾加入一个字符,问当前共有多少个本质不同的字串 题解:$SAM$,就是问插入这个字符后,多了多少个字串,就是当前这个点的$Right$数组大小. 卡点:无 C++ Co ...

  5. BZOJ4516&colon; &lbrack;Sdoi2016&rsqb;生成魔咒 后缀自动机

    #include<iostream> #include<cstdio> #include<cstring> #include<queue> #inclu ...

  6. BZOJ 4516&colon; &lbrack;Sdoi2016&rsqb;生成魔咒 &lbrack;后缀自动机&rsqb;

    4516: [Sdoi2016]生成魔咒 题意:询问一个字符串每个前缀有多少不同的子串 做了一下SDOI2016R1D2,题好水啊随便AK 强行开map上SAM 每个状态的贡献就是\(Max(s)-M ...

  7. BZOJ&lowbar;4516&lowbar;&lbrack;Sdoi2016&rsqb;生成魔咒&lowbar;后缀数组&plus;ST表&plus;splay

    BZOJ_4516_[Sdoi2016]生成魔咒_后缀数组+ST表+splay Description 魔咒串由许多魔咒字符组成,魔咒字符可以用数字表示.例如可以将魔咒字符 1.2 拼凑起来形成一个魔 ...

  8. 【LG4070】&lbrack;SDOI2016&rsqb;生成魔咒

    [LG4070][SDOI2016]生成魔咒 题面 洛谷 题解 如果我们不用在线输的话,那么答案就是对于所有状态\(i\) \[ \sum (i.len-i.fa.len) \] 现在我们需要在线询问 ...

  9. &lbrack;Sdoi2016&rsqb;生成魔咒&lbrack;SAM or SA&rsqb;

    4516: [Sdoi2016]生成魔咒 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1017  Solved: 569[Submit][Statu ...

随机推荐

  1. Html5 postMessage

    解释: 跨文档消息传输Cross Document Messaging. 编写代码前注意判断浏览器是否支持Html5 实例: b页面向a页面发送消息. <!DOCTYPE> <htm ...

  2. Android AChartEngine 去除折线图黑边

    通常使用AChartEngine画出的折线图,如果背景不是黑色,则会在折线图的坐标轴旁边出现黑边,如图所示: 试了好多设置,最后终于发现,去除黑边的设置是: mRenderer.setMarginsC ...

  3. ajax请求跨域问题

    ajax跨域,这个是面试的时候常被问到,也是在做项目的时候会遇到的问题,在之前的项目中就有遇到过,这里根据经验写了三种分享下 1.使用中间层过渡的方式 简单来说就是"后台代理",把 ...

  4. 【题解】【BST】【Leetcode】Convert Sorted Array to Binary Search Tree

    Given an array where elements are sorted in ascending order, convert it to a height balanced BST.思路: ...

  5. Scala中的If判断&amp&semi;While&amp&semi;For循环

    If 判断: object TestScalaIf { def main(args: Array[String]): Unit = { // val resutlt = judge1(-100) // ...

  6. Linux自动备份MySQL数据库脚本代码

    下面这段Linux的Shell脚本用于每日自动备份MySQL数据库,可通过Linux的crontab每天定时执行 在脚本中可设置需要备份的数据库表清单,并且会将备份文件通过gzip压缩.需要注意的是, ...

  7. Google Protocal Buffer

    Google Protocal Buffer 是一种轻便高效的结构化数据存储格式,可以用于结构化数据串行化或者说序列化.它很适合做数据存储或RPC数据交换格式. 串行化(序列化):将对象存储到解释中式 ...

  8. &lbrack;编织消息框架&rsqb;&lbrack;设计协议&rsqb;优化long&comma;int转换

    理论部分 一个long占8byte,大多数应用业数值不超过int每次传输多4byte会很浪费 有没有什么办法可以压缩long或int呢? 答案是有的,原理好简单,如果数值不超过int.max_valu ...

  9. Spring之声明式事务

    在讲声明式事务之前,先回顾一下基本的编程式事务 编程式事务: //1.获取Connection对象 Connection conn = JDBCUtils.getConnection(); try { ...

  10. SpringBoot单元测试

    一.Service层Junit单元测试 需要的jar包 <dependency> <groupId>org.springframework.boot</groupId&g ...