Вы находитесь на странице: 1из 8

Палиндромы в последовательностях Штурма

Чердынцев Андрей, Шамазов Тимур,


Юсупов Тагир

27 мая 2021 г.

1/8
Что такое последовательность Штурма?

Определение 1
Последовательность Штурма — это бинарная последовательность символов, для которой
количество подслов длины n равно n + 1.

2/8
Что такое последовательность Штурма?

Определение 1
Последовательность Штурма — это бинарная последовательность символов, для которой
количество подслов длины n равно n + 1.

Определение 2
Последовательность вращения— это такая бинарная последовательность, что существует
иррациональное число α ∈ [0; 1] и действительное число β, для которых:

(∀n ∈ N) ω[n] = [(n + 1)α + β] − [nα + β]

3/8
Вращение окружности
Пусть S1 — окружность длины 1. Определим вращение окружности на угол α как
отображение f (x) = {x + α}. Рассмотрим две открытые дуги I0 , I1 на S1 , разделенные
точками 0 и {−α}.
Определение 3
Адрес точки из I0 ∪ I1 — символ 0 или 1 в зависимости от того, находится точка в I0 или
в I1

0
I1
{−α}

I0
4/8
Теорема

Теорема (о палиндромах в последовательностях Штурма)


В любой последовательности Штурма найдется палиндром любой длины.

5/8
Лемма

Лемма (о приближении)
При вращении окружности на иррациональный угол точками любой орбиты можно сколь
угодно близко подойти к любой точке на окружности.

α
{nα}

β
{(n − 1)α}

6/8
Теорема

Теорема (о палиндромах в последовательностях Штурма)


В любой последовательности Штурма найдется палиндром любой длины.

7/8
Доказательство

0 {− α2 }
Палиндромные маршруты
{−α}
y = { 1−α 0 1
2 }, y = { 2 − α}
Нечетной длины:

M = {f −k (y ), f −(k−1) (y ), ..., y , f (y ), ...f k (y )}

Четной длины:
{ 12 − α}
M0 = {f −(k−1) (y 0 ), f −(k−2) (y 0 ), ..., y 0 , f (y 0 ), ..., f k (y 0 )}
{ 1−α
2 } 1
2

8/8