Year: 2026
Type: preprint
Abstract: The goal of this paper is to refine methods in computable analysis and to employ them in the study of solutions of an optimization problem posed by Bellman. This problem asks how to find optimal (shortest) paths which do not fit into given plane figures. We show that each instance of Bellman's problem has an arbitrarily small uniformly computable perturbation for which the minimal length of path is computable, and thus the class of optimal paths is a $Π_1^0$ class, and there are uniformly computable paths which escape with arbitrarily small length greater than the minimum possible.
Source: arXiv (Cornell University)
Author: Canel, Jacob
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7214639680