Brigitte Vallée (GREYC Caen)

(Travaux communs avec Ali Akhavi, Jérémie Bourdon, Julien Clément, Benoît Daireaux, Philippe Flajolet, Damien Stelhé, Paul Zimmermann)

Je commencerai par rappeler ce qu’est le cadre général du domaine:

analyse dynamique = analyse des algorithmes+ systèmes dynamiques,

et les résultats que nous avons déjà obtenus.

Puis je décrirai les problèmes principaux sur lesquels le groupe travaille.

Ils sont de deux natures un peu differentes :

  • nous cherchons d’abord à analyser des algorithmes ou des sources de symboles où il y a de plus en plus de corrélations. Nous travaillons ainsi sur des généralisations de l’algorithme d’Euclide (algorithme Plus-Moins, algorithmes japonais) et nous cherchons aussi un bon cadre pour travailler sur des sources de symboles plus corrélées.
  • dans les cadres des algorithmes que nous savons déjà bien étudier, nous cherchons à décrire plus précisément le déroulement de l’algorithme, et à obtenir le comportement précis de certains paramètres. C’est le genre de problème qui se pose quand on veut analyser l’algorithme itératif de Lehmer-Euclide, ou, plus difficile, la version récursive de ce même algorithme.

Comme on dit en anglais, c’est du work in progress…