Complexité de comptage des opérateurs d'intégration
Time: 14:30 -- Location: LIX
L'analyse récursive est un domaine qui s'attache à comprendre la notion de calcul sur des ensembles non dénombrables comme les nombres réels ou les fonctions réelles par exemple. Il permet entre autres de définir une notion de complexité sur de tels ensembles, mais les classes de complexité associées ne sont pas toujours bien comprises ou caractérisées et en particulier, peu de résultats concernent les classes analogue à NP et #P (complexité non déterministe et complexité de comptage) sur de tels domaines. Nous nous intéresserons ici à la complexité des opérateurs d'intégration des fonctions réelles continues sur l'intervalle [0;1], et prouvons plusieurs résultats permettant de relier des propriétés analytiques de tels opérateurs à leur complexité (notamment de comptage).