L'Approximation diophantienne simultanée et l'optimisation discrète
Given a (lower or upper) bounded function $f:\mathbb{N}^k \To \Real$ by a mathematical expression. The problem to find the extremal points of $f$ on any bounded set $S \subset \mathbb{N}^k$ is well-defined from a classical point of view. Nevertheless, from a computability theory perspective,  it should be avoided the possibility of pathologies when this problem has infinite Kolmogorov complexity. The main constraint is that the order relationship between  computable reals is not effectively solvable. We solve this problem by means of a structure containing two algorithms. The first one allows to evaluate the cost function while the second one transforms each value of the cost function in a point in an infinite dimensional vector of a space. We develop three particular cases, one of them corresponding to the Rauzy approximation method. Finally, we make a comparison between the best simultaneous Diophantine approximations obtained by the Rauzy method (our optimization-oriented version of it) and our tetrahedral method, that is one of the main achievement of this work.
Simultaneous Diophantine approximations K-bonacci constant Recursive real numbers