Skip to Main content Skip to Navigation
Theses

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

Résumé : Alors que la complexité des fonctions d'ordre 1 est bien définie et étudiée, il n'existe pas de notion satisfaisante à tout ordre. Une telle théorie existe déjà à l'ordre 2 et permet de définir une classe analogue aux fonctions calculables en temps polynomial usuelles. Cela est tout particulièrement intéressant dans le domaine de l'analyse récursive où l'on peut représenter, entre autres, les nombres et les fonctions réelles par des fonctions d'ordre 1. On peut alors remarquer un lien fort entre calculabilité et continuité, et aussi rapprocher la complexité avec certaines propriétés analytiques, ce que nous illustrons dans le cas des opérateurs réels. Nous prouvons cependant que, du point de vue de la complexité, les fonctions d'ordre 1 ne permettent pas de représenter fidèlement certains espaces mathématiques. Ce résultat appuie tout particulièrement la nécessité d'une théorie de la complexité d'ordre supérieur. Nous développons alors un modèle de calcul basé sur la sémantique des jeux, où l'application de deux fonctions est représentée par la confrontation de deux stratégies dans un jeu. En définissant la taille de telles stratégies, nous pouvons déduire une notion robuste et pertinente de complexité pour ces stratégies et donc pour les fonctions d'ordre supérieur. Nous définissons aussi une classe de fonctions calculables en temps polynomial qui paraît être un bon candidat pour définir une classe de complexité raisonnable à tout ordre
Document type :
Theses
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01751160
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:08:41 PM
Last modification on : Tuesday, April 10, 2018 - 4:17:25 PM

File

DDOC_T_2014_0173_FEREE.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01751160, version 1

Citation

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

Share

Metrics

Record views

17