Complexité d'ordre supérieur et analyse récursive

Hugo Férée 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : While first order complexity is well defined and studied, higher order lacks a satisfactory notion of complexity. Such a theory already exists at order 2 and provides a complexity class analogue to usual polynomial time computable functions. This is already especially interesting in the domain of computable analysis, where real numbers or real functions for example can be represented by first order functions. In particular, there is a clear link between computability and continuity, and we also illustrate in the case of real operators that complexity can be related to some analytical properties. However, we prove that, from a complexity point of view, some mathematical spaces can not be faithfully represented by order 1 functions and require higher order ones. This result underlines that there is a need to develop a notion of complexity at higher types which will be, in particular but not only, useful to computable analysis. We have developed a computational model for higher type sequential computations based on a game semantics approach, where the application of two functions is represented by the game opposing two strategies. By defining the size of such strategies, we are able to define a robust and meaningful notion of complexity at all types, together with a class of polynomial time computable higher order functionals which seems to be a good candidate for a class of feasible functionals at higher types.
Document type :
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download
Contributor : Hugo Férée <>
Submitted on : Monday, December 29, 2014 - 7:35:24 PM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
Long-term archiving on : Monday, March 30, 2015 - 10:21:24 AM


Distributed under a Creative Commons Attribution - ShareAlike 4.0 International License


  • HAL Id : tel-01751160, version 2


Hugo Férée. Complexité d'ordre supérieur et analyse récursive. Complexité [cs.CC]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0173⟩. ⟨tel-01751160v2⟩



Record views


Files downloads