poj 1743 Musical Theme(最长重复子串 后缀数组)

有N(1 <= N <=20000)个音符的序列来表示一首乐曲,每个音符都是1..88范围内的整数,现在要找一个重复的主题。“主题”是整个音符序列的一个子串,它需要满足如下条件:1.长度至少为5个音符。2.在乐曲中重复出现(可能经过转调,“转调”的意思是主题序列中每个音符都被加上或减去了同一个整数值)。3.重复出现的同一主题不能有公共部分。

首先把序列差分一下,那么现在,问题就转换成了:给定一个字符串,求最长重复子串,这两个子串不能重叠。

先来看看最长可重叠重复子串吧。首先,一对极长重复子串必定可以表示为两个后缀的LCP。同时,任意两个后缀的LCP也必定对应一对极长重复子串。它们是满射的关系。因此最长可重叠重复子串的长度相当于任意一对后缀的lcp中最长的,显然就是最大的height。

那这个做法如何推广到最长不可重叠后缀呢?我们可以发现,只有当两个后缀的距离大于它们的lcp时,才能被纳入计算。在这种情况下,我们不能保证height中的最大值一定是答案,有可能最优值的两个后缀之间隔了多个后缀。做法是二分子串长度L,将后缀数组分成若干组,每个组内的height都大于L。记录组内位置最小的,位置最大的串,看看它们之间的距离是否大于子串长度。如果是这样的,那么mid=l+1,否则mid=r。

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std; const int maxn=4e4+5;
int n, m, a[maxn]; int *x, *y, *t, wa[maxn], wb[maxn], ws[maxn], wv[maxn], sa[maxn], ht[maxn];
int cmp(int *r, int a, int b, int l){
return r[a]==r[b]&&r[a+l]==r[b+l]; }
void da(int *r){
x=wa; y=wb; m=maxn;
for (int i=0; i<m; ++i) ws[i]=0;
for (int i=0; i<n; ++i) ++ws[x[i]=r[i]];
for (int i=1; i<m; ++i) ws[i]+=ws[i-1];
for (int i=0; i<n; ++i) sa[--ws[r[i]]]=i; //sa数组必须排好序
int i, j, p=0;
for (j=1; j<n&&p<n; j<<=1, m=p+1){ //p代表当前倍增情况下有多少不同的后缀 m应当变成p+1
for (p=0, i=n-j; i<n; ++i) y[p++]=i;
for (i=0; i<n; ++i) if (sa[i]>=j) y[p++]=sa[i]-j;
for (i=0; i<n; ++i) wv[i]=x[y[i]]; //wv:第二关键词中排i的数,在第一关键词中排第几
for (i=0; i<m; ++i) ws[i]=0;
for (i=0; i<n; ++i) ++ws[x[i]]; //ws:第一关键词中排名为i的数,总排名的范围是多少
for (i=1; i<m; ++i) ws[i]+=ws[i-1];
for (i=n-1; i>=0; --i) sa[--ws[wv[i]]]=y[i];
t=x; x=y; y=t; x[sa[0]]=1;
for (p=1, i=1; i<n; ++i) //rank必须从1开始以区分空串
x[sa[i]]=cmp(y, sa[i-1], sa[i], j)?p:++p;
}
memset(ht, 0, sizeof(ht));
for (i=0; i<n; ++i) --x[i]; p=0;
for (i=0; i<n; ht[x[i++]]=p){ //枚举原串中1到n的所有后缀
if (!x[i]) continue;
for (p?p--:0, j=sa[x[i]-1]; r[i+p]==r[j+p]&&i+p<n; ++p); //p表示h[i]
}
return;
} int main(){
while (~scanf("%d", &n)&&n){
for (int i=0; i<n; ++i) scanf("%d", &a[i]);
for (int i=0; i<n; ++i) a[i]=a[i+1]-a[i]+88; --n;
da(a); int l=0, r=n, k, flag;
while (l<r){
k=(l+r)>>1; flag=0;
int minm=sa[0], maxm=sa[0];
for (int i=1; i<=n; ++i){
if (ht[i]<k){
if (maxm-minm>k) flag=1;
minm=sa[i]; maxm=sa[i]; continue;
}
minm=min(minm, sa[i]);
maxm=max(maxm, sa[i]);
}
if (flag) l=k+1; else r=k;
}
printf("%d\n", l<5?0:l);
}
return 0;
}

最新文章

  1. Day Tips:关于搜索小问题
  2. [No000086]C#foreach集合被改变,报错处理方案
  3. super.onCreate(SavedInstanceState);
  4. LintCode Binary Tree Inorder Traversal
  5. SupportV7包中 SwipeRefreshLayout 修改下拉控件的距离
  6. Qt与VC编程合作起龌龊
  7. IOS网络请求框架AFNetworking和ASIHttpRequest对比
  8. ASP.NET与SOAP协议使用记录
  9. Android(java)学习笔记215:多线程断点下载的原理(JavaSE实现)
  10. Android隐藏标题栏
  11. FTP上传下载工具(FlashFXP) v5.5.0 中文版
  12. ACdream 1015 Double Kings
  13. bzoj 4002: [JLOI2015]有意义的字符串
  14. hover变化图片
  15. C语言小笔记
  16. Docker容器学习梳理 - 容器硬盘热扩容
  17. Mysql储存过程6: in / out / inout
  18. 使用maven拆分项目
  19. 每个 Java 开发者都应该知道的 5 个注解
  20. [svc][op]pip安装ansible &amp;&amp; yum安装python34

热门文章

  1. (转)ashx 使用Session
  2. Python运行错误解释
  3. tomcat 基础知识学习
  4. 图解缓存淘汰算法三之FIFO
  5. PowerDesigner CDM中取消默认不能存在同名主键的方法
  6. 服务器启动时Webapp的web.xml中配置的加载顺序
  7. 10-13C#语句(1)
  8. openGL 预定义变量04
  9. jdbc.properties 文件的配置
  10. Java更新