欢迎访问 生活随笔!

生活随笔

当前位置: 首页 > 编程资源 > 编程问答 >内容正文

编程问答

模板:拓展kmp(Z函数)

发布时间:2023/12/3 编程问答 35 豆豆
生活随笔 收集整理的这篇文章主要介绍了 模板:拓展kmp(Z函数) 小编觉得挺不错的,现在分享给大家,帮大家做个参考.

所谓拓展kmp,就是拓展的kmp

(逃)

前言

小清新算法,更像一个trick。
exkmp能够在线性复杂度内求出字符串所有后缀与字符串本身的lcp
个人感觉这个东西和kmp关系不大,反而有些像马拉车的思想。
之前学的东西,现在才想起来写一个解析。

解析

定义 ziz_izi 表示字符串的后缀 iii 与开头的lcp。
考虑在求完 z1...i−1z_{1...i-1}z1...i1 的情况下,如何求解 ziz_izi
pospospos 为满足 pos+zpospos+z_{pos}pos+zpos 最大的位置,r=pos+zpos−1r=pos+z_{pos}-1r=pos+zpos1
分情况讨论:

  • i>ri>ri>r:暴力算出 ziz_izi,并使 pos←ipos\gets iposi
  • i≤ri\le rir:此时在 rrr 左侧 iii 的 lcp 情况与 i−pos+1i-pos+1ipos+1 是相同的,所以先令 zi←min⁡(r−i+1,zi−pos+1)z_i\gets \min(r-i+1,z_{i-pos+1})zimin(ri+1,zipos+1),如果这个 min⁡\minmin 取的是前一项,就再暴力尝试拓展 ziz_izi
  • 和马拉车类似的,当我们暴力计算 ziz_izi 而产生复杂度时,都必然伴随着 rrr 的增大,rrr 最多不会超过 nnn,所以均摊总复杂度为 O(n)O(n)O(n)

    代码

    void exkmp(){z[1]=0;int pl=0;for(int i=2;i<=n;i++){if(i>pl+z[pl]-1){while(s[1+z[i]]==s[i+z[i]]) ++z[i];}else{z[i]=min(pl+z[pl]-i,z[i-pl+1]);if(z[i]==pl+z[pl]-i){while(s[1+z[i]]==s[i+z[i]]) ++z[i];} }if(i+z[i]>pl+z[pl]) pl=i;}return; }

    总结

    以上是生活随笔为你收集整理的模板:拓展kmp(Z函数)的全部内容,希望文章能够帮你解决所遇到的问题。

    如果觉得生活随笔网站内容还不错,欢迎将生活随笔推荐给好友。