Contribution à l`algorithmique anytime : contrôle et conception

Contribution à l'algorithmique
anytime : contrôle et conception
Arnaud Delhay
([e-mail])
Directeurs : Max Dauchet (LIFL) et Philippe Vanheeghe (LAIL)

2
Position de l’étude
Compromis grâce aux
Algorithmes Anytime
Temps-réel Problèmes complexes
(NP-durs)

3
Contribution à l’algorithmique anytime :
contrôle et conception
• Les algorithmes anytime
– Introduction
– Qualité et Utilité
– Profils de performance
– Types d’algorithmes anytime
• La maximisation de la qualité moyenne
– Position du problème
– Tentative de résolution analytique
– Discrétisation du problème
• La construction des profils de performance
– Position du problème
– Choix du critère de qualité
– Choix du mode de génération des entrées
– Apport de la théorie de la complexité de Kolmogorov
• Conclusions et Perspectives

4
Algorithmes Anytime : Introduction
• Compromis entre temps de calcul et qualité du résultat
temps temps
Algorithme classique
Comportement binaire
Algorithme Anytime
Production de résultats intermédiaires
Qualité du résultat final
Qualité du résultat final
Qualité Qualité

5
Qualité et Utilité
• La qualité
– mesure absolue de la performance de l’algorithme
– pour un algorithme donné, Q : (Temps de calcul, Donnée) ® Â ou [0,1]
• L'utilité
– mesure de la performance de l'algorithme dans son contexte d'utilisation
– pour un algorithme et un contexte donnés, U : (Qualité,Temps) ® Â