"Записки научных семинаров ПОМИ"
Том 448, стр. 80-95
Вычислительная сложность задачи Коши для задачи трёх тел
Н. Н. Васильев, Д. А. Павлов
С.-Петербургское отделение Математического института им. В. А. Стеклова РАН;
С.-Петербургский государственный электротехнический университет,
С.-Петербург, Россия
nn.vasiliev@gmail.com
Институт прикладной астрономии,
наб. Кутузова 10, С.-Петербург 191187, Россия
dpavlov@iaaras.ru
- Аннотация:
Статья посвящена анализу вычислительной сложности задачи Коши для систем
ОДУ. Вводится формальная постановка такой задачи, использующая машину Тьюринга и
оракула для записи вещественных входных данных. Доказывается отсутствие
полиномиальных верхних оценок сложности решения задачи Коши для проблемы трех
тел. Доказательство использует осциллирующие решения задачи Ситникова, имеющие сложное
динамическое поведение, являющееся препятствием к наличию алгоритма,
вычисляющего решение в конечной точке за полиномиальное время.
Библ. -- 15 назв.
- Ключевые слова: сложность алгоритма, машина Тьюринга, задача Коши, задача трех тел, осциллирующие траектории
[computational complexity, Turing machine, initial value problem, three-body problem, oscillatory motion]
Полный текст(.pdf)