148
правок
Изменения
→Связь периода и бордера
|proof=
Пусть дана <b>строка <tex>\alpha</tex></b>.
Напишем формально определения <b>бордера длины <tex>|k|</tex></b> строки <tex>\alpha</tex>:<br/>
<ul><tex>\forall i = 1 \ldots k</tex>, <tex>\alpha [i] = \alpha[i + (n - k)]</tex>.<br/></ul>
Сделаем <b>замену</b> <tex>x = n - k</tex>:<br/>
<ul><tex>\forall i = 1 \ldots n - x</tex>, <tex>\alpha [i] = \alpha[i + x]</tex>.</ul>
Получили определение <b>периода длины <tex>x</tex></b>. Но <tex>x = n - k</tex>, значит у строки <tex>\alpha</tex> есть <b>период длины <tex>|n - k|</tex></b>.
}}
