日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

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

编程问答

模板:拓展kmp(Z函数)

發布時間:2023/12/3 编程问答 26 豆豆
生活随笔 收集整理的這篇文章主要介紹了 模板:拓展kmp(Z函数) 小編覺得挺不錯的,現在分享給大家,幫大家做個參考.

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

(逃)

前言

小清新算法,更像一個trick。
exkmp能夠在線性復雜度內求出字符串所有后綴與字符串本身的lcp
個人感覺這個東西和kmp關系不大,反而有些像馬拉車的思想。
之前學的東西,現在才想起來寫一個解析。

解析

定義 ziz_izi? 表示字符串的后綴 iii 與開頭的lcp。
考慮在求完 z1...i?1z_{1...i-1}z1...i?1? 的情況下,如何求解 ziz_izi?
pospospos 為滿足 pos+zpospos+z_{pos}pos+zpos? 最大的位置,r=pos+zpos?1r=pos+z_{pos}-1r=pos+zpos??1
分情況討論:

  • i>ri>ri>r:暴力算出 ziz_izi?,并使 pos←ipos\gets iposi
  • i≤ri\le rir:此時在 rrr 左側 iii 的 lcp 情況與 i?pos+1i-pos+1i?pos+1 是相同的,所以先令 zi←min?(r?i+1,zi?pos+1)z_i\gets \min(r-i+1,z_{i-pos+1})zi?min(r?i+1,zi?pos+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函数)的全部內容,希望文章能夠幫你解決所遇到的問題。

    如果覺得生活随笔網站內容還不錯,歡迎將生活随笔推薦給好友。