-
arXiv:1704.08762 [pdf, ps, other]
The computational complexity of the initial value problem for the three body problem
Abstract: The paper is concerned with the computational complexity of the initial value problem (IVP) for a system of ordinary dynamical equations. Formal problem statement is given, containing a Turing machine with an oracle for getting the initial values as real numbers. It is proven that the computational complexity of the IVP for the three body problem is not bounded by a polynomial. The proof is based… ▽ More
Submitted 10 September, 2017; v1 submitted 27 April, 2017; originally announced April 2017.
Comments: Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 448, 2016, pp. 80-95
Journal ref: Journal of Mathematical Sciences July 2017, Volume 224, Issue 2, pp 221-230