A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations

Résumé

The class of functions from the integers to the integers computable in polynomial time has been recently characterized using discrete ordinary differential equations (ODE), also known as finite differences. Doing so, the fundamental role of linear (discrete) ODEs and classical ODE tools such as changes of variables to capture computability and complexity measures, or as a tool for programming was pointed out. In this article, we extend the approach to a characterization of functions from the integers to the reals computable in polynomial time in the sense of computable analysis. In particular, we provide a characterization of such functions in terms of the smallest class of functions that contains some basic functions, and that is closed by composition, linear length ODEs, and a natural effective limit schema.
Fichier principal
Vignette du fichier
mcu22.pdf (382.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04259376 , version 1 (26-10-2023)

Licence

Identifiants

Citer

Manon Blanc, Olivier Bournez. A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations. 9th International Conference MCU (Machines, Computations, and Universality ), Aug 2022, Debrecen, Hungary. pp.58-74, ⟨10.1007/978-3-031-13502-6_4⟩. ⟨hal-04259376⟩
21 Consultations
78 Téléchargements

Altmetric

Partager

More