前言

虽然标题是 Hash ,但本篇文章不会仅仅注重于 Hash 算法。

要求读者的是掌握 Hash 的思想以及简单应用,同时牢固掌握字符串 Hash 。

同时本篇文章也简单讲述了离散化Manacher(马拉车)算法。

请读者放心食用。

简单介绍

简述

Hash 表又称散列表,是一种基于 链表+哈希函数 实现的算法,与离散化思想类似。

当我们要对若干复杂信息进行统计时,可以用 Hash 函数将其映射到一个简单的、容易维护的值域。

Hash 冲突

因为值域简单,所以容易发生冲突,所以要处理这种冲突情况。

这里仅介绍最常用的拉链法,有兴趣的同学可以自寻百度寻找其它方法。

最常用的方法就是链表存储,就是人们常说的拉链法链地址法,下图就是简单的存储之后的样子。

离散化

本来没打算讲的,但是既然和 Hash 思想类似,就当做入门吧。

离散化其实就是缩小值域最直接的方法:排序后按编号赋值。(例如 1,30,69,51,5 变成 1,3,5,4,2)

一般离散化有三个步骤:

  1. 排序。(可以用 sort 实现)
  2. 去重。(可以用 C++ STL 的 \(unique\) 函数实现)
  3. 二分查找离散化。(可以用 C++ STL 的 \(lower\)_\(bound\)​ 函数实现)

给一道例题好好体会:有一个序列a,每次操作给出(l,r),询问a中值在l和r之间的数的和。

代码见下:

  1. int main() {
  2. for (int i = 1; i <= n; ++i)
  3. b[i] = a[i];
  4. sort(b+1, b+n+1);
  5. int m = unique(b+1, b+n+1) - (b+1);
  6. for (int i = 1; i <= n; ++i) {
  7. int v = a[i];
  8. a[i] = lower_bound(b+1, b+m+1, v) - b;
  9. c[a[i]] += v;
  10. }
  11. for (int i = 1; i <= m; ++i)
  12. s[i] = s[i-1] + c[i];
  13. while (q--) {
  14. scanf("%d%d", &l, &r);
  15. l = lower_bound(b+1, b+m+1, l) - b;
  16. r = lower_bound(b+1, b+m+1, r) - b - 1;
  17. printf("%d\n", s[r] - s[l-1]);
  18. }
  19. }

个人认为这就是很基础的 Hash (如果这都理解不了就别学 Hash 了吧)

可以到百度去看看离散化,加深一下理解,对学习 Hash 有帮助。

基本结构

Hash 的基本结构有两个:

  1. 计算 Hash 函数的值。
  2. 定位到对应的链表中依次遍历、比较。(基于邻接表实现,不会的自行百度)

当 Hash 函数设计的好的时候,所有元素几乎平均地位于每一个表头,即几乎不产生冲突。

此时查询的期望值是 \(O(1)\) 的。

普通 Hash

简述

在这里,普通 Hash 指的是整数类型的 Hash。 (后面会讲到运用广泛的字符串 Hash 算法)

最直接的思想是设计一个较大的质数 \(P\) ,令 \(Hash(x)=(x\) \(mod\) \(P)+1\) 。(加一是避免有 \(0\) 的产生)

此时所有数值都分布于 \(1\)~\(N\) 之中。

这种 Hash 思想简单,易于实现,这里不做过多的介绍。

例题

Snowflake Snow Snowflakes

简单例题,这里我们定义的 Hash 函数:\(H(a_1,a_2...a_n)=(\sum_{j=1}^{6} a(i,j)+\prod_{j=1}^{6} a(i,j) )mod\) \(P\)。

其中 P 是某个较大的质数,直接上代码吧。

  1. #include<cstdio>
  2. #include<algorithm>
  3. #include<cstring>
  4. #include<iostream>
  5. #include<cmath>
  6. #define N 100010
  7. #define MOD 99991
  8. using namespace std;
  9. int n,a[10],show[N][10],head[N],next[N],tot=0;
  10. bool equal(int x){
  11. for(int i=0;i<6;i++){
  12. for(int j=0;j<6;j++){
  13. bool flag=true;
  14. for(int k=0;k<6;k++) if(a[(i+k)%6]!=show[x][(j+k)%6]) flag=false;
  15. if(flag) return true;
  16. flag=true;
  17. for(int k=0;k<06;k++) if(a[(i+k)%6]!=show[x][(j-k+6)%6]) flag=false;
  18. if(flag) return true;
  19. }
  20. }
  21. return false;
  22. }
  23. int H(){
  24. int sum=0;
  25. long long mul=1;
  26. for(int i=0;i<6;i++){
  27. sum=(sum+a[i])%MOD;
  28. mul=(mul*(long long)a[i])%MOD;
  29. }
  30. return (sum+mul)%MOD;
  31. }
  32. bool insert(){
  33. int val=H();
  34. for(int i=head[val];i;i=next[i]){
  35. if(equal(i)) return true;
  36. }
  37. tot++;
  38. for(int i=0;i<6;i++) show[tot][i]=a[i];
  39. next[tot]=head[val];
  40. head[val]=tot;
  41. return false;
  42. }
  43. int main(){
  44. scanf("%d",&n);
  45. for(int i=1;i<=n;i++){
  46. for(int j=0;j<6;j++) scanf("%d",&a[j]);
  47. if(insert()){printf("Twin snowflakes found.\n");return 0;}
  48. }
  49. printf("No two snowflakes are alike.\n");
  50. return 0;
  51. }

字符串 Hash

简单介绍

下面介绍的是一种可以把任意长度(最好不要太长,一般 \(<=1e6\))的字符串转变成一个非负整数。

特点:碰撞概率几乎为0。(因此不需要链表结构防止冲突)

核心思想

一般有以下步骤预处理字符串 Hash:

  • 首先取一个固定值 \(P\) 并把字符串 \(A\) 当成 \(P\) 进制数。
  • 接着将字符串 \(A\) 转化为整数 \(a=1,b=2...,z=26\)。
  • 取一个固定值 \(M\) ,求出该 \(P\) 进制数对于 \(M\) 的余数作为 \(Hash(A)\)。

通常我们取 \(P=131/P=13331\) ,此时冲突的概率极低。(一般不会构造数据去卡你,因为很难构造)

通常我们取 \(M=2^{64}\) ,即 \(unsigned\) \(long\) \(long\) 的最大值,所以使用该类型存储 \(Hash(A)\) 。

如果 \(Hash(A)>2^{64}\) 会自动溢出,正好符合取余运算,同时避免了低效的 % 运算。

基本运算

有以下两种运算:

  1. 已知字符串 \(S\) 的 Hash 值为 \(H(S)\) ,那么在 \(S\) 后面添加一个字符 \(c\) 构成新字符串时:\(H(S+c)=(H(s)*P+value[c])mod\) \(M\)。(其中 \(value[c]=c-'a'+1\))
  2. 已知字符串 \(S\) 的 Hash 值为 \(H(S)\) ,字符串 \(S+T\) 的 Hash 值为 \(H(S+T)\) 时:\(H(T)=(H(S+T)-H(S)*P^{length(T)})\)。(相当于 \(S\) 在 \(P\) 进制下左移 \(length(T)\) 位然后被 \(H(S+T)\) 减)

举个栗子:\(S="abc",c="d",T="xyz"\) ,则:

  • \(S\) 表示的 \(P\) 进制数为 :1 2 3。(很好理解吧,对应核心思想的 \(step2\))
  • \(H(S)=1*P^2+2*P+3\)。
  • \(H(S+c)=1*P^5+2*P^4+3*P+4=H(s)*P+4\)。
  • \(S+T\) 表示的 \(P\) 进制数为:1 2 3 24 25 26
  • \(H(S+T)=1*P^5+2*P^4+3*P+24*P^2+25*P+26\)
  • \(S\) 在 \(P\) 进制下左移 \(length(T)\) 位:1 2 3 0 0 0
  • 二者相减就是 \(T\) 的 \(P\) 进制数表示:24 25 26
  • \(H(T)=H(S+T)-(1*P^2+2*P+3)*P^3=24*P^2+25*P+26\)。

根据以上两种操作可知,\(O(N)\) 的预处理前缀 Hash 值后,即可 \(O(1)\) 地判断两个字符串是否相同。

前缀和不会我也没办法,自行百度吧

二维字符串 Hash

学过二维前缀和的同学都知道 f[i][j]=f[i-1][j]+f[i][j-1]-f[i-1][j-1]

那么二维 Hash 也不过是这样罢了。

不过由于是二维的,我们最好用两个不同的 \(P\) 来 Hash,具体代码长这样。

  1. #define P 131
  2. #define Q 13331
  3. ull f[N][N],pp[N],pq[N];
  4. for(int i=1;i<=N;i++)
  5. pp[i]=pp[i-1]*P,pq[i]=pq[i-1]*Q;
  6. for(int i=1;i<=n;i++)
  7. for(int j=1;j<=m;j++)
  8. f[i][j]=f[i-1][j]*P+f[i][j];
  9. for(int i=1;i<=n;i++)
  10. for(int j=1;j<=m;j++)
  11. f[i][j]=f[i][j-1]*Q+f[i][j];
  12. //计算矩形 (a,b),(c,d) 的 Hash 值为:(a<=c,b<=d)
  13. Hash=f[c][d]-f[a-1][d]*pp[c-a+1]-f[c][b-1]*pq[b-d+1]+f[a-1][b-1]*pp[c-a+1]*pq[b-d+1]

这里引入一道例题加深理解:Matrix 矩阵

判断若干小矩阵是否是大矩阵的子矩阵。

二维字符串 Hash 轻松解决。

  1. #include<cstdio>
  2. #include<cstring>
  3. #include<algorithm>
  4. #include<iostream>
  5. #include<cmath>
  6. #define N 1010
  7. #define MOD 99991
  8. #define P 131
  9. #define Q 13331
  10. using namespace std;
  11. typedef unsigned long long ull;
  12. int n,m,a,b,cnt=0;
  13. int head[N*N];
  14. ull f[N][N],g[N][N],pp[N],pq[N];
  15. char s[N];
  16. struct Edge{
  17. int nxt;
  18. ull to;
  19. }ed[N*N];
  20. int read(){
  21. int x=0,f=1;char c=getchar();
  22. while(c<'0' || c>'9') f=(c=='-')?-1:1,c=getchar();
  23. while(c>='0' && c<='9') x=x*10+c-48,c=getchar();
  24. return x*f;
  25. }
  26. void init(){//输入兼预处理。
  27. pp[0]=pq[0]=1;
  28. for(int i=1;i<=N;i++)
  29. pp[i]=pp[i-1]*P,pq[i]=pq[i-1]*Q;
  30. n=read(),m=read(),a=read(),b=read();
  31. for(int i=1;i<=n;i++){
  32. scanf("%s",s+1);
  33. for(int j=1;j<=m;j++)
  34. f[i][j]=s[j]-'0';
  35. }
  36. return;
  37. }
  38. int Hash(ull k){return k%MOD+1;}//简单 Hash。
  39. bool search(ull k){//链式查找。
  40. int u=Hash(k);
  41. for(int i=head[u];i;i=ed[i].nxt)
  42. if(k==ed[i].to) return true;
  43. return false;
  44. }
  45. void insert(ull k){//插入。
  46. int now=Hash(k);
  47. if(!search(k))
  48. ed[++cnt].to=k,ed[cnt].nxt=head[now],head[now]=cnt;
  49. return;
  50. }
  51. void pre_work(){//预处理大矩阵的 Hash 值。
  52. for(int i=1;i<=n;i++)
  53. for(int j=1;j<=m;j++)
  54. f[i][j]=f[i-1][j]*P+f[i][j];
  55. for(int i=1;i<=n;i++)
  56. for(int j=1;j<=m;j++)
  57. f[i][j]=f[i][j-1]*Q+f[i][j];
  58. for(int i=a;i<=n;i++)
  59. for(int j=b;j<=m;j++){
  60. ull now=f[i][j];
  61. now-=f[i-a][j]*pp[a];
  62. now-=f[i][j-b]*pq[b];
  63. now+=f[i-a][j-b]*pp[a]*pq[b];
  64. insert(now);
  65. }
  66. return;
  67. }
  68. ull work(){//计算小矩阵的 Hash 值。
  69. for(int i=1;i<=a;i++)
  70. for(int j=1;j<=b;j++)
  71. g[i][j]=g[i-1][j]*P+g[i][j];
  72. for(int i=1;i<=a;i++)
  73. for(int j=1;j<=b;j++)
  74. g[i][j]=g[i][j-1]*Q+g[i][j];
  75. return g[a][b];
  76. }
  77. int main(){
  78. init();
  79. pre_work();
  80. int q=read();
  81. while(q--){
  82. for(int i=1;i<=a;i++){
  83. scanf("%s",s+1);
  84. for(int j=1;j<=b;j++)
  85. g[i][j]=s[j]-'0';
  86. }
  87. ull k=work();
  88. if(search(k)) puts("1");
  89. else puts("0");
  90. }
  91. return 0;
  92. }

例题

兔子与兔子

兔子与兔子

字符串 Hash 模板题,初学者必做。

  1. #include<cstdio>
  2. #include<algorithm>
  3. #include<iostream>
  4. #include<cstring>
  5. #include<cmath>
  6. #define N 1000010
  7. using namespace std;
  8. char s[N];
  9. int m;
  10. unsigned long long f[N],p[N];
  11. int main(){
  12. scanf("%s",s+1);
  13. int n=strlen(s+1);
  14. scanf("%d",&m);
  15. p[0]=1;
  16. for(int i=1;i<=n;i++){
  17. f[i]=f[i-1]*131+(s[i]-'a'+1);
  18. p[i]=p[i-1]*131;
  19. }
  20. for(int i=1;i<=m;i++){
  21. int l1,r1,l2,r2;
  22. scanf("%d %d %d %d",&l1,&r1,&l2,&r2);
  23. if(f[r1]-f[l1-1]*p[r1-l1+1]==f[r2]-f[l2-1]*p[r2-l2+1]) printf("Yes\n");
  24. else printf("No\n");
  25. }
  26. return 0;
  27. }

回文子串的最大长度

回文子串的最大长度

这里仅仅讲述 Hash 思想,因为有算法复杂度更优的 \(Manacher\) 算法。

思想就是枚举每个回文子串的中心位置 \(i=1\)~\(N\) ,分情况讨论奇数和偶数长度,

接着二分答案枚举字符串长度,利用字符串 Hash 判断两个字符串是否相同。(需要一个前缀数组和一个后缀数组)

不断刷新 \(ans=min(ans,len)\) ,复杂度 \(O(n\) \(log\) \(n)\) 。

下一段我们将讨论优秀的 \(Manachar\) 算法,可以 \(O(n)\) 解决最长回文子串的问题。

后缀数组

后缀数组

思路是先处理 \(SA[]\) 数组,初始化为 \(SA[i]=i\) 接着以字典序排序。(方法见下)

假设已经排好序了,我们就来求两个字符串的最长公共前缀,同样可以二分答案地去找。

发现可以将其写作函数,返回值为最长公共前缀的长度,那么 \(SA[]\) 数组排序时只需要 return(s[a+len]<s[b+len])

其中 \(a,b\) 为 \(cmp\) 函数的两个参数,\(len\) 是其最长公共前缀的长度,至此本问题得到完美解决。

  1. #include<cstdio>
  2. #include<cstring>
  3. #include<cmath>
  4. #include<iostream>
  5. #include<algorithm>
  6. #define N 300010
  7. using namespace std;
  8. int sa[N],height[N],n;
  9. unsigned long long p[N],H[N];
  10. char s[N];
  11. unsigned long long find(int a,int b){
  12. return (H[b]-H[a-1]*p[b-a+1]);
  13. }
  14. int len(int a,int b){
  15. if(s[a]!=s[b]) return 0;
  16. int l=0,r=n-1-max(a,b);
  17. while(l<r){
  18. int mid=(l+r+1)>>1;
  19. if(find(a,a+mid)==find(b,b+mid) && a+mid<n && b+mid<n)
  20. l=mid;
  21. else r=mid-1;
  22. }
  23. return l+1;
  24. }
  25. bool cmp(int a,int b){
  26. int l=len(a,b);
  27. return s[a+l]<s[b+l];
  28. }
  29. int main(){
  30. scanf("%s",s);
  31. n=strlen(s);
  32. p[0]=1;
  33. H[0]=s[0]-'a'+1;
  34. for(int i=1;i<n;i++){
  35. sa[i]=i;
  36. p[i]=p[i-1]*131;
  37. H[i]=H[i-1]*131+(s[i]-'a'+1);
  38. }
  39. sort(sa,sa+n,cmp);
  40. for(int i=0;i<n;i++) printf("%d ",sa[i]);
  41. printf("\n0 ");
  42. for(int i=1;i<n;i++) printf("%d ",len(sa[i],sa[i-1]));
  43. return 0;
  44. }

Manacher 算法

背景

给定一个字符串,求出其最长回文子串。例如:

  1. \(s="abcd"\),最长回文长度为 \(1\);
  2. \(s="ababa"\),最长回文长度为 \(5\);
  3. \(s="abccb"\),最长回文长度为 \(4\),即 \(bccb\)。

以上问题的传统思路大概是,遍历每一个字符,以该字符为中心向两边查找。其时间复杂度为 ,效率很差。

1975 年,一个叫 Manacher 的人发明了一个算法,\(Manacher\) 算法(中文名:马拉车算法)。

下面来看看马拉车算法是如何工作的。

算法过程分析

由于回文分为偶回文(比如 bccb)和奇回文(比如 bcacb),而在处理奇偶问题上会比较繁琐,所以这里我们使用一个技巧,具体做法是:在字符串首尾,及各字符间各插入一个字符(前提这个字符未出现在串里)。

举个例子:s="abbahopxpo",转换为s_new="$#a#b#b#a#h#o#p#x#p#o#"。(这里的字符 $ 只是为了防止越界,下面代码会有说明)

如此,s 里起初有一个偶回文abba和一个奇回文opxpo,被转换为#a#b#b#a##o#p#x#p#o#,长度都转换成了奇数

定义一个辅助数组int p[],其中p[i]表示以 i 为中心的最长回文的半径,例如:

i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
s_new[i] $ # a # b # b # a # h # o # p # x # p #
p[i] 1 2 1 2 5 2 1 2 1 2 1 2 1 2 1 4 1 2 1

经事后提醒发现表格缺少了7以后的部分,并且目前没有好的解决办法,可以自行点击原文链接查看,不过应该不影响阅读

可以看出,p[i] - 1正好是原字符串中最长回文串的长度。

接下来的重点就是求解 p 数组,如下图:

设置两个变量,mx 和 id 。mx 代表以 id 为中心的最长回文的右边界,也就是mx = id + p[id]

假设我们现在求p[i],也就是以 i 为中心的最长回文半径,如果i < mx,如上图,那么:

  1. if (i < mx)
  2. p[i] = min(p[2 * id - i], mx - i);

2 * id - i为 i 关于 id 的对称点,即上图的 j 点,而p[j]表示以 j 为中心的最长回文半径,因此我们可以利用p[j]来加快查找。

代码实现

  1. #include <iostream>
  2. #include <cstring>
  3. #include <algorithm>
  4. using namespace std;
  5. char s[1000];
  6. char s_new[2000];
  7. int p[2000];
  8. int Init()
  9. {
  10. int len = strlen(s);
  11. s_new[0] = '$';
  12. s_new[1] = '#';
  13. int j = 2;
  14. for (int i = 0; i < len; i++)
  15. {
  16. s_new[j++] = s[i];
  17. s_new[j++] = '#';
  18. }
  19. s_new[j] = '\0'; // 别忘了哦
  20. return j; // 返回 s_new 的长度
  21. }
  22. int Manacher()
  23. {
  24. int len = Init(); // 取得新字符串长度并完成向 s_new 的转换
  25. int max_len = -1; // 最长回文长度
  26. int id;
  27. int mx = 0;
  28. for (int i = 1; i < len; i++)
  29. {
  30. if (i < mx)
  31. p[i] = min(p[2 * id - i], mx - i); // 需搞清楚上面那张图含义, mx 和 2*id-i 的含义
  32. else
  33. p[i] = 1;
  34. while (s_new[i - p[i]] == s_new[i + p[i]]) // 不需边界判断,因为左有'$',右有'\0'
  35. p[i]++;
  36. // 我们每走一步 i,都要和 mx 比较,我们希望 mx 尽可能的远,这样才能更有机会执行 if (i < mx)这句代码,从而提高效率
  37. if (mx < i + p[i])
  38. {
  39. id = i;
  40. mx = i + p[i];
  41. }
  42. max_len = max(max_len, p[i] - 1);
  43. }
  44. return max_len;
  45. }
  46. int main()
  47. {
  48. while (printf("请输入字符串:\n"))
  49. {
  50. scanf("%s", s);
  51. printf("最长回文长度为 %d\n\n", Manacher());
  52. }
  53. return 0;
  54. }

算法复杂度分析

文章开头已经提及,Manacher 算法为线性算法,即使最差情况下其时间复杂度亦为\(O(n)\) 。

在进行证明之前,我们还需要更加深入地理解上述算法过程。

根据回文的性质,p[i]的值基于以下三种情况得出:

(1):j 的回文串有一部分在 id 的之外,如下图:

假设右侧新增的紫色部分是p[i]可以增加的部分,那么根据回文的性质,a 等于 d ,也就是说 id 的回文不仅仅是黑线,而是黑线+两条紫线,矛盾,所以假设不成立,故p[i] = mx - i,不可以再增加一分。

(2):j 回文串全部在 id 的内部,如下图:

根据代码,此时p[i] = p[j],那么p[i]还可以更大么?答案亦是不可能!见下图:

假设右侧新增的红色部分是p[i]可以增加的部分,那么根据回文的性质,a 等于 b ,也就是说 j 的回文应该再加上 a 和 b ,矛盾,所以假设不成立,故p[i] = p[j],也不可以再增加一分。

(3):j 回文串左端正好与 id 的回文串左端重合,见下图:

根据代码,此时p[i] = p[j]p[i] = mx - i,并且p[i]还可以继续增加,所以需要

  1. while (s_new[i - p[i]] == s_new[i + p[i]])
  2. p[i]++;

根据(1)(2)(3),很容易推出 Manacher 算法的最坏情况,即为字符串内全是相同字符的时候。在这里我们重点研究 Manacher() 中的 for 语句,推算发现 for 语句内平均访问每个字符 5 次,即时间复杂度为:\(T_{worst}(n)=O(n)\)。

同理,我们也很容易知道最佳情况下的时间复杂度,即字符串内字符各不相同的时候。推算得平均访问每个字符 4 次,即时间复杂度为:\(T_{best}(n)=O(n)\)。

综上,Manacher 算法的时间复杂度为 \(O(n)\)。

以上内容全部转载自原文链接,确实写的很好。

例题

\(Update\) \(2020.3.18\)

新增两道例题,好像多很难的样子 (。・`ω´・。)

例题一

[国家集训队]最长双回文串

首先这既然关于回文串,就打一遍 \(Manacher\) 的板子。

然后...(\(INF\) 年过去了)

啊,终于想到了,既然每个字符串都可以分为两个回文部分,那么我么就记录下每个串的左右回文串长度。

即:

  1. \(l[i]\) 代表 \(i\) 位置所在回文串中中心位置最左端的位置。
  2. \(r[i]\) 代表 \(i\) 位置所在回文串中中心位置最右端的位置。

然后是不是就豁(geng)然(jia)开(mi)朗(mang)了?

具体的解释就看代码注释吧。

  1. #include<cstdio>
  2. #include<algorithm>
  3. #include<cstring>
  4. #include<iostream>
  5. #include<cmath>
  6. #define N 100010
  7. using namespace std;
  8. int p[N*2],n,l[N*2],r[N*2];
  9. char s[N*2],a[N];
  10. int pre_work(){
  11. int len=strlen(a);
  12. s[0]='$';
  13. s[1]='#';
  14. int j=2;
  15. for(int i=0;i<len;i++){
  16. s[j++]=a[i];
  17. s[j++]='#';
  18. }
  19. s[j]='\0';
  20. return j;
  21. }
  22. void manacher(){
  23. n=pre_work();
  24. int id,mx=0;
  25. for(int i=1;i<n;i++){
  26. if(i<mx) p[i]=min(p[2*id-i],mx-i);
  27. else p[i]=1;
  28. while(s[i-p[i]]==s[i+p[i]]) ++p[i];
  29. if(mx<i+p[i]){
  30. id=i;
  31. mx=i+p[i];
  32. }
  33. r[i+p[i]-1]=max(r[i+p[i]-1],p[i]-1);
  34. l[i-p[i]+1]=max(l[i-p[i]+1],p[i]-1);
  35. /**
  36. * l[i]表示以i为左端点的最长的回文串
  37. * r[i]表示以i为右端点的最长的回文串
  38. *
  39. * 对于蒟蒻(我)来讲有点抽象所以我们举一个生动的栗子:
  40. *
  41. * 首先,字符串为ababaccd
  42. *
  43. * 0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17
  44. * 插入后变成 #|$|a|$|b|$|a|$|b|$|a |$ |c |$ |c |$ |d |~
  45. *
  46. * 显然i = 4时,hw[4] = 4
  47. * L = 7 = i + hw[4]-1;
  48. * R = 1 = i-hw[4]+1;
  49. * 回文串实际长度=hw[4]-1;
  50. * 所以转移就是: l[i+hw[i]-1]=max(l[i+hw[i]-1],hw[i]-1);
  51. * r[i-hw[i]+1]=max(r[i-hw[i]+1],hw[i]-1);
  52. *
  53. */
  54. }
  55. }
  56. int main(){
  57. scanf("%s",a);
  58. manacher();
  59. for(int i=n;i>=1;i-=2) r[i]=max(r[i],r[i+2]-2);
  60. for(int i=1;i<=n;i+=2) l[i]=max(l[i],l[i-2]-2);
  61. /**
  62. * 又因为两块不能重叠,所以我们选择'$'作为断点进行枚举
  63. *
  64. * 那么先提出一个困扰蒟蒻我的问题:
  65. *
  66. * Q: 上面不是已经求过了吗,为什么还要递推呢?
  67. *
  68. * A: 上面求出的每个l[i]和r[i]都是在i最大的情况下求的
  69. *
  70. * eg:0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15|16|17
  71. * #|$|a|$|b|$|a|$|b|$|a |$ |c |$ |c |$ |d |~
  72. *
  73. * l[3]求出来的是0,但很明显bab是一个回文,l[3]应该等于3
  74. * 这是因为我们在i=6时,hw[i]=6,只更新了l[1]和r[11],因为bab不是i=6的最长回文串所以没有更新
  75. *
  76. * 这时就需要递推把前面的转移过来了:
  77. *
  78. * bab 比 ababa 短两个字符。
  79. * 每一个回文串向后挪动一个 都会少两个字符,所以:
  80. * l[i] = max(l[i], l[i - 2] - 2);
  81. * r[i] = max(r[i], r[i + 2] - 2);
  82. * 我们枚举的是'$'的位置,所以l[i]正推由前一个'$'的位置转移来,r[i]逆推由后面的'$'转移来,每次都会-2回文串长度
  83. *
  84. */
  85. int ans=0;
  86. for(int i=1;i<=n;i+=2) if(r[i]&&l[i]) ans=max(ans,l[i]+r[i]);
  87. printf("%d\n",ans);
  88. return 0;
  89. }

例题二

NUMOFPAL - Number of Palindromes

相比上一题,这道题的难度就小很多了。

直接就是:

\[ans=\sum_{i=0}^{n-1} p[i]\div 2
\]
  1. #include<cstdio>
  2. #include<algorithm>
  3. #include<cstring>
  4. #include<cmath>
  5. #include<iostream>
  6. #define N 1010
  7. using namespace std;
  8. int p[N*2],n,id,mx=0;
  9. char a[N],s[N*2];
  10. int pre_work(){
  11. s[0]='$';
  12. s[1]='#';
  13. int j=2;
  14. for(int i=0;i<strlen(a);i++){
  15. s[j++]=a[i];
  16. s[j++]='#';
  17. }
  18. s[j]='\0';
  19. return j;
  20. }
  21. void manacher(){
  22. n=pre_work();
  23. for(int i=1;i<n;i++){
  24. if(mx>i) p[i]=min(p[id*2-i],mx-i);
  25. else p[i]=1;
  26. while(s[i+p[i]]==s[i-p[i]]) p[i]++;
  27. if(mx<i+p[i]){
  28. id=i;
  29. mx=i+p[i];
  30. }
  31. }
  32. return;
  33. }
  34. int main(){
  35. scanf("%s",a);
  36. manacher();
  37. int ans=0;
  38. for(int i=0;i<n;i++){
  39. ans+=p[i]/2;
  40. }
  41. printf("%d\n",ans);
  42. return 0;
  43. }

结语

感谢 LZshuing 给了我灵感,以及让我入门 Hash。

感谢 \(Manacher\) 部分作者的优秀文章,再上原文链接

感谢您的观看,同时这篇文章希望对您有帮助。

Hash 算法与 Manacher 算法的更多相关文章

  1. 【算法】Manacher算法

    最长回文串问题 manacher算法是用来求解最长回文串的问题.最长回文串的解法一般有暴力法.动态规划.中心扩展法和manacher算法. 暴力法的时间复杂度为\(O(n^3)\),一般都会超时: 动 ...

  2. ACM -- 算法小结(八)字符串算法之Manacher算法

    字符串算法 -- Manacher算法 首先介绍基础入门知识,以下这部分来着一贴吧,由于是很久之前看的,最近才整理一下,发现没有保存链接,请原创楼主见谅. //首先:大家都知道什么叫回文串吧,这个算法 ...

  3. 算法笔记--manacher算法

    参考:https://www.cnblogs.com/grandyang/p/4475985.html#undefined 模板: ; int p[N]; string manacher(string ...

  4. 疯子的算法总结(七) 字符串算法之 manacher 算法 O(N)解决回文串

    有点像DP的思想,写写就会做. #include<bits/stdc++.h> using namespace std; const int maxn=1e7+5; char a[maxn ...

  5. manacher算法专题

    一.模板 算法解析:http://www.felix021.com/blog/read.php?2040 *主要用来解决一个字符串中最长回文串的长度,在O(n)时间内,线性复杂度下,求出以每个字符串为 ...

  6. [hdu3068 最长回文]Manacher算法,O(N)求最长回文子串

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3068 题意:求一个字符串的最长回文子串 思路: 枚举子串的两个端点,根据回文串的定义来判断其是否是回文 ...

  7. [转] Manacher算法详解

    转载自: http://blog.csdn.net/dyx404514/article/details/42061017 Manacher算法 算法总结第三弹 manacher算法,前面讲了两个字符串 ...

  8. 最长回文子串问题-Manacher算法

    转:http://blog.csdn.net/dyx404514/article/details/42061017 Manacher算法 算法总结第三弹 manacher算法,前面讲了两个字符串相算法 ...

  9. manacher算法求最长回文子序列

    一:背景 给定一个字符串,求出其最长回文子串.例如: s="abcd",最长回文长度为 1: s="ababa",最长回文长度为 5: s="abcc ...

随机推荐

  1. 理解RESTful:理论与最佳实践

    什么是 REST 什么是 RESTful Richardson 成熟度模型 RESTful API 设计最佳实践 补充:HTTP 状态码及说明 什么是 REST REST 一词,是由 HTTP 协议的 ...

  2. mysql-15-view

    #视图 /* 含义:虚拟表,和普通表一样使用.通过表动态生成的数据 只保存了sql逻辑,不保存查询结果 应用场景: 1.多个地方用到同样的查询结果 2.该查询结果使用的sql语句较为复杂 */ USE ...

  3. 剑指offer-字符串&数字规律

    1. 表示数值的字符串 请实现一个函数用来判断字符串是否表示数值(包括整数和小数).例如,字符串"+100","5e2","-123",&q ...

  4. Android 自定义Vie 对勾CheckBox

    天在美团点外卖,有一个商品推荐的条目,上面的CheckBox是自定义的,虽然我们大部分都是用图片来自定义样式.但是还是可以自定义View来绘制的,只要画一个圆和对勾即可. 最终效果 最终效果.png ...

  5. JavaScript求数组中元素的最大值

    要求: 求数组[2,6,1,77,52,25,7]中的最大值. 实现思路: 声明一个保存最大元素的变量 max 默认最大值max定义为数组中的第一个元素arr[0] 遍历这个数组,把里面每个数组元素和 ...

  6. 如何选择JVM垃圾回收器?

    明确垃圾回收器组合 -XX:+UseSerialGC 年轻代和老年代都用串行收集器 -XX:+UseParNewGC 年轻代使用ParNew,老年代使用 Serial Old -XX:+UsePara ...

  7. install Wine + WeChat in Fedora 31

    install Wine + WeChat in Fedora 31 dnf -y install dnf-plugins-core dnf config-manager --add-repo htt ...

  8. Angluar2 项目搭建

    一 使用 Angular CLI 官方脚手架 1.安装 cli npm install -g @angular/cli 2.创建工作空间和初始应用 ng new my-app 二 tsLint 代码格 ...

  9. hasura的golang反向代理

    概述 反向代理代码 对请求的处理 对返回值的处理 遇到的问题 概述 一直在寻找一个好用的 graphql 服务, 之前使用比较多的是 prisma, 但是 prisma1 很久不再维护了, 而 pri ...

  10. Mysql架构与内部模块-第三章

    前言 接上文,本篇文章专门简述Mysql存储引擎,内容繁多,如果你只需知道每种存储引擎的适用场景,可以直接查看本文最后列出的适用场景部分. 正文: Mysql存储引擎作为本系列文章中相对重要的一环,也 ...