CF700E Cool Slogans

题目描述

给出一个长度为n的字符串\(s[1]\),由小写字母组成。定义一个字符串序列\(s[1....k]\),满足性质:\(s[i]\)在\(s[i-1] (i>=2)\)中出现至少两次(位置可重叠),问最大的\(k\)是多少,使得从\(s[1]\)开始到\(s[k]\)都满足这样一个性质。

很妙的题啊。

首先\(s[i]\)一定是\(s[i+1]\)的后缀。因为如果不是,我们可以吧多余的部分删除,这样不影响答案。

我们建出后缀自动机,然后在\(fail\)树上\(DP\)。我们设\(f_v\)表示后缀自动机上\(v\)节点代表的子串作为最后一个串的答案。

更新的时候就判断\(v\)的\(fail\)代表的节点是否在\(v\)代表的节点中出现了两次,如果是,\(f_v=f_{fail_v}+1\)。否则,\(v\)就没用了,我们更新\(v\)的儿子时仍然用\(fail_v\)来更新,因为他们\(f\)值相同,但是\(fail_v\)更短,所以更优。

判断一个串是否再另一个串中出现了两次可以用线段树合并搞一搞。

代码:

#include<bits/stdc++.h>
#define ll long long
#define N 400005 using namespace std;
inline int Get() {int x=0,f=1;char ch=getchar();while(ch<'0'||ch>'9') {if(ch=='-') f=-1;ch=getchar();}while('0'<=ch&&ch<='9') {x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}return x*f;} int n;
char s[N];
int mxlen[N<<1],fail[N<<1];
int ch[N<<1][26];
int last=1,cnt=1;
int pos[N<<1];
void Insert(int f,int Pos) {
int p=last,v=++cnt;
pos[v]=Pos;
last=v;
mxlen[v]=mxlen[p]+1;
while(p&&!ch[p][f]) ch[p][f]=v,p=fail[p];
if(!p) return fail[v]=1,void();
int sn=ch[p][f];
if(mxlen[sn]==mxlen[p]+1) return fail[v]=sn,void();
int New=++cnt;
memcpy(ch[New],ch[sn],sizeof(ch[sn]));
mxlen[New]=mxlen[p]+1;
fail[New]=fail[sn];
fail[sn]=fail[v]=New;
while(p&&ch[p][f]==sn) ch[p][f]=New,p=fail[p];
} int rt[N<<1];
int lx,rx;
int tot;
int tag[N*40];
int ls[N*40],rs[N*40];
int mn[N<<1];
void Insert(int &v,int old,int lx,int rx,int p) {
v=++tot;
tag[v]=tag[old]+1;
if(lx==rx) return ;
int mid=lx+rx>>1;
if(p<=mid) Insert(ls[v],ls[old],lx,mid,p);
else Insert(rs[v],rs[old],mid+1,rx,p);
} int Merge(int a,int b,int lx,int rx) {
if(!a||!b) return a+b;
int v=++tot;
tag[v]=tag[a]+tag[b];
if(lx==rx) return v;
int mid=lx+rx>>1;
ls[v]=Merge(ls[a],ls[b],lx,mid);
rs[v]=Merge(rs[a],rs[b],mid+1,rx);
return v;
} int query(int v,int lx,int rx,int l,int r) {
if(!v||lx>r||rx<l) return 0;
if(l<=lx&&rx<=r) return tag[v];
int mid=lx+rx>>1;
return query(ls[v],lx,mid,l,r)+query(rs[v],mid+1,rx,l,r);
} vector<int>e[N<<1];
void dfs(int v) {
if(pos[v]) Insert(rt[v],rt[v],lx,rx,pos[v]);
for(int i=0;i<e[v].size();i++) {
int to=e[v][i];
dfs(to);
pos[v]=pos[to];
rt[v]=Merge(rt[v],rt[to],lx,rx);
}
} int f[N],top[N];
int ans;
bool chk(int v,int f) {
return query(rt[f],lx,rx,pos[v]-mxlen[v]+mxlen[f],pos[v])>=2;
} void solve(int v) {
ans=max(ans,f[v]);
for(int i=0;i<e[v].size();i++) {
int to=e[v][i];
if(v==1) f[to]=1,top[to]=to;
else {
if(chk(to,top[v])) f[to]=f[v]+1,top[to]=to;
else f[to]=f[v],top[to]=top[v];
}
solve(to);
}
} int main() {
n=Get();
scanf("%s",s+1);
lx=1,rx=n;
for(int i=1;i<=n;i++) Insert(s[i]-'a',i);
for(int i=2;i<=cnt;i++) {
e[fail[i]].push_back(i);
}
dfs(1);
solve(1);
cout<<ans;
return 0;
}

CF700E Cool Slogans的更多相关文章

  1. CF700E Cool Slogans SAM、线段树合并、树形DP

    传送门 在最优的情况下,序列\(s_1,s_2,...,s_k\)中,\(s_i (i \in [2 , k])\)一定会是\(s_{i-1}\)的一个\(border\),即\(s_i\)同时是\( ...

  2. CF700E:Cool Slogans(SAM,线段树合并)

    Description 给你一个字符串,如果一个串包含两个可有交集的相同子串,那么这个串的价值就是子串的价值+1.问你给定字符串的最大价值子串的价值. Input 第一行读入字符串长度$n$,第二行是 ...

  3. CF700E Cool Slogans——SAM+线段树合并

    RemoteJudge 又是一道用线段树合并来维护\(endpos\)的题,还有一道见我的博客CF666E 思路 先把\(SAM\)建出来 如果两个相邻的串\(s_i\)和\(s_{i+1}\)要满足 ...

  4. CF700E Cool Slogans 后缀自动机 + right集合线段树合并 + 树形DP

    题目描述 给出一个长度为n的字符串s[1],由小写字母组成.定义一个字符串序列s[1....k],满足性质:s[i]在s[i-1] (i>=2)中出现至少两次(位置可重叠),问最大的k是多少,使 ...

  5. 字符串数据结构模板/题单(后缀数组,后缀自动机,LCP,后缀平衡树,回文自动机)

    模板 后缀数组 #include<bits/stdc++.h> #define R register int using namespace std; const int N=1e6+9; ...

  6. Codeforces 1063F - String Journey(后缀数组+线段树+dp)

    Codeforces 题面传送门 & 洛谷题面传送门 神仙题,做了我整整 2.5h,写篇题解纪念下逝去的中午 后排膜拜 1 年前就独立切掉此题的 ymx,我在 2021 年的第 5270 个小 ...

  7. 【CF700E】Cool Slogans 后缀自动机+线段树合并

    [CF700E]Cool Slogans 题意:给你一个字符串S,求一个最长的字符串序列$s_1,s_2,...,s_k$,满足$\forall s_i$是S的子串,且$s_i$在$s_{i-1}$里 ...

  8. 【CF700E】Cool Slogans(后缀自动机)

    [CF700E]Cool Slogans(后缀自动机) 题面 洛谷 CodeForces 题解 构建后缀自动机,求出后缀树 现在有个比较明显的\(dp\) 设\(f[i]\)表示从上而下到达当前点能够 ...

  9. CF700E E. Cool Slogans

    https://codeforces.com/contest/700/problem/E 题解:https://www.luogu.org/problemnew/solution/CF700E 其实就 ...

随机推荐

  1. 阅读Java Native源码前的准备

    前言 读java native源代码时,我们一般会去网站下载openjdk8源码http://download.java.net/openjdk/jdk8/promoted/b132/openjdk- ...

  2. js 面向对象 ES5 AND ES6

    1. ES5实现 父类: // 职员类 function Employees(id,name,salary) { // 属性 this.id = id; this.name = name; this. ...

  3. hihocoder编程练习赛75

    题目1 : 工作城市分配 时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 H公司在北京和上海两个城市各有一间办公室.该公司最近新招募了2N名员工,小Hi负责把这2N名员工 ...

  4. Spring学习之旅(四)Spring工作原理再探

    上篇博文对Spring的工作原理做了个大概的介绍,想看的同学请出门左转.今天详细说几点. (一)Spring IoC容器及其实例化与使用 Spring IoC容器负责Bean的实例化.配置和组装工作有 ...

  5. 30.Odoo产品分析 (四) – 工具板块(2) – 搜索和仪表盘(2)

    查看Odoo产品分析系列--目录 在前面的模块中,简单介绍过了odoo如何搜索系统中的各种数据集,并保存这些过滤器,以便在之后需要时能够轻松访问这些过滤器.这里将做更详细的介绍.最后分析仪表盘的功能, ...

  6. loadrunner 脚本录制-Protocol Advisor协议分析器的使用

    脚本录制-Protocol Advisor协议分析器的使用 by:授客 QQ:1033553122 1.启动Protocol Advisor File > Protocol Advisor &g ...

  7. 深入理解Java虚拟机06--虚拟机字节码执行引擎

    一.前言 物理机的执行引擎是直接在物理硬件如CPU.操作系统.指令集上运行的,但是对于虚拟机来讲,他的执行引擎由自己实现. 执行引擎有统一的外观(Java虚拟机规范),不同类型的虚拟机都遵循了这一规范 ...

  8. Windows桌面或服务器环境下嵌入JavaScript支持(JSRT)

    很多人比较关注Google的JS V8 JavaScript引擎,确实Google最近很高调.但这个库在Windows下使用确实有点难度,即使在Linux嵌入,也需要下载gyp,编译安装,然后再下载v ...

  9. mysql的数据类型和字段属性

    本文内容: 数据类型 数值类型 整数型 浮点型 定点型 日期时间类型 字符串类型 补充: 显示宽度与zerofll 记录长度 字段属性 空\不为空值:NULL.NOT NULL 主键:primary ...

  10. LNMP + Apache 架构配置

    从事前端开发已3年有余,越来越发现前端开发要学习的知识已不仅仅是html+css+js那么简单了,2017年市场上就有了大前端的概念,可以说对前端工程师的要求也越来越高了,从招聘的要求中可以看到熟悉一 ...