Сравнение игровыми методами понятий префиксной и обычной Колмогоровской сложности Андреев Михаил Александрович

Короткий опис

Андреев, Михаил Александрович.
Сравнение игровыми методами понятий префиксной и обычной колмогоровской сложности : диссертация ... кандидата физико-математических наук : 01.01.06 / Андреев Михаил Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова]. - Москва, 2017. - 61 с.
Оглавление диссертациикандидат наук Андреев Михаил Александрович
1.1 Актуальность темы
1.2 Цели и задачи работы
1.3 Основные результаты
1.4 Апробация работы и публикации автора
1.5 Используемые обозначения
2 Основные понятия и результаты
2.1 Колмогоровская сложность
2.2 Перечислимые снизу дискретные и непрерывные
полумеры
2.3 Очень большие числа
3 Области определения декомпрессоров
3.1 Введение
3.2 Определения и обозначения
3.3 Основная лемма
3.4 Плотность
3.5 Разбиваем задачу на несколько
3.6 Построение полумер игровым методом
3.7 Выигрышная позиция
3.8 Выигрышная стратегия Алисы
3.9 Почему стратегия работает
4 Сравнение ХЛ и ГО
4.1 Введение
4.2 Основной результат и набросок доказательства: игровая техника
4.3 Сведение к конечным играм
4.4 Выигрышная стратегия в конечной игре
4.5 Усиление: перечислимое множество, характеристическая последовательность которого имеет бесконечную сумму
5 Очень большие числа
5.1 Введение
5.2 Верхние оценки
5.3 Нижние оценки
5.3.1 Доказательство утверждения
5.3.2 Доказательство утверждения (и)
Глава 1 Введение