https://www.cnblogs.com/victorique/p/8480093.html
學習了這篇bolg
LCP Lemma
LCP(i,k)=min(LCP(i,j),LCP(j,k)) 對於任意1<=i<=j<=k<=n
感覺直接想也能想到這個證明,就是suff(sa[i]),suff(sa[k])的最長公共前綴,而suff(sa[i])與suff(sa[k])相同的前綴肯定不如
suff(sa[i])與suff(sa[j]),suff(sa[k])與suff(sa[j])或相同的多,因爲sa[i]是按後綴排序的,序離得遠,相似度肯定小,所以上述等式顯然成立。
LCP Theorem
LCP(i,k)=min(LCP(j,j-1)) 對於任意1<i<=j<=k<=n
這裏跟剛纔一樣,j,j-1離得更近了LCP肯定不會小,所以上述成立
https://www.cnblogs.com/zwfymqz/p/8413523.html#_label1_0
這篇是找的很多篇中過程解析最清楚的
https://blog.csdn.net/a1035719430/article/details/80217267
這篇是找的很多篇中代碼解析最清楚的
上面2個結合看應該就沒問題了