Изменения

|proof= По лемме 1 из [1] минимальный суффикс равен либо <tex>T[p..j]</tex>, либо его кратчайшему непустому бордеру. Более того, в последнем случае длина минимального суффикса равна как максимум не превышает <tex>\displaystyle \frac{1}{2}|T[p..j]|\leq\frac{1}{2}|T[i..j]|</tex>. On the other handС другой стороны, from the property (b) of canonical substrings we have that the length of по второму свойству канониеских подстрок, длина <tex>S_{j}^{\alpha(i,j)}</tex> is at least равна как минимум <tex>\displaystyle \frac{1}{2}|T[i..j]|</tex>. ThusТаким образом, in the second case the minimal suffix of во втором случае минимальный суффикс <tex>T[i..j]</tex> is the minimal suffix of является минимальным суффиксом <tex>S_{j}^{\alpha(i,j)}</tex>. Note that for Заметим, что для <tex>i=j</tex> the values значения <tex>\alpha(i,\ j)</tex> are not well-definedне определены, but then case (a) holdsно тогда выполняется первый случай из условия леммы. To prove the final statementЧтобы доказать финальное выражение, вспомним, recall that finding the minimal suffix in что нахождение минимального суффикса <tex>Suf [i,\ j]</tex> is one of the basic queries supported by the enhanced suffix array - одна из базовых операций, поддерживаемых улучшенным суфмассивом.