322
правки
Изменения
→Факт №2
===Факт №2===
Если значение <tex>LCP</tex> между парой суффиксов, соседних в массиве <tex>Suf</tex> , больше <tex>1</tex>, то лексикографический порядок суффиксов сохранится и можно удалить первый символ каждого суффикса.<br>
{{Утверждение
|statement=
Если <tex>LCP(S_{Suf[x-1]} , S_{Suf[x]} ) > 1</tex>, тогда <tex>Suf^{-1}[Suf[x - 1] + 1] < Suf^{-1}[Suf[x] + 1]</tex>
}}
===Факт №3===
В этом же случае, значение <tex>LCP</tex> между <tex>S_{Suf[x-1]+1}</tex> и <tex>S_{Suf[x]+1}</tex> на один меньше значения <tex>LCP</tex> между <tex>S_{Suf[x-1]}</tex> и <tex>S_{Suf[x]}</tex>.<br>
