Vlady Ravelomanana (LIAFA)

Dans cet exposé, nous nous penchons sur une analyse rigoureuse de quelques algorithmes pour résoudre des problèmes difficiles (NP-complets). Notre approche consiste à étudier des algorithmes simples mais exacts dédiés à ces problèmes. En particulier, nous considérons le problème du Stable Maximum (MIS) qui est un prototype même des problèmes NP-complets.

Nous exhibons alors le ‘paysage de complexité’ en moyenne de toute une classe d’algorithmes trouvant le MIS de manière exacte quand les instances en entrée sont des graphes aléatoires Erd\H os -- Rényi. Sur ces instances aléatoires, les résultats obtenus suggèrent que les algorithmes simples et exhaustifs sont tout aussi efficaces que ceux qui sont très élaborés.

D’autres problèmes de satisfaction de contraintes (CSP) seront aussi abordés.

(travail en commun avec Cyril Banderier – LIPN, Hsien-Kuei Hwang – Academia Sinica et Vytas Zacharovas – Academia Sinica)