Вычислительная сложность задачи Коши для задачи трёх тел

Статья посвящена анализу вычислительной сложности задачи Коши для систем ОДУ. Вводится формальная постановка такой задачи, использующая машину Тьюринга и оракула для записи вещественных входных данных. Доказывается отсутствие полиномиальных верхних оценок сложности решения задачи Коши для проблемы трех тел. Доказательство использует осциллирующие решения задачи Ситникова, имеющие сложное динамическое поведение, являющееся препятствием к наличию алгоритма, вычисляющего решение в конечной точке за полиномиальное время. Библ. – 15 назв.