Изменения
Нет описания правки
Если <tex>LCP(S_{j-1}, S_{i-1}) > 1</tex>, тогда <tex>LCP(S_k,S_i) \le LCP(S_j,S_i)</tex>
|proof=
Так как <tex>LCP(S_{j−1j-1},S_{i−1i-1}) > 1</tex>, имеем <tex>Suf^{-1}[j] < Suf^{-1}[i]</tex> из факта №2. Так как <tex>Suf^{-1}[j] \le Suf^{-1}[k] = Suf^{-1}[i] - 1</tex>, имеем <tex>LCP(S_{k} , S_{i}) \ge LCP(S_{j} , S_{i})</tex> из факта №1
}}
