J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
Isomorphisme inexact de graphes par optimisation évolutionnaire
qui aura lieu le jeudi 22 octobre à 14h30 au LIP6, salle 549.
---------------------
Résumé
---------------------
L'isomorphisme inexact de graphes est un problème crucial pour la
définition d'une distance entre graphes, préalable nécessaire à une
multitude d'applications allant de l'analyse d'images à des applications
biomédicales en passant par la reconnaissance optique de caractères. Ce
problème est encore plus complexe que celui de l'isomorphisme exact.
Alors que ce dernier est un problème de décision de complexité au moins
de classe P et qui ne s'applique qu'à des graphes exactement identiques,
l'isomorphisme inexact est un problème combinatoire de complexité de
classe NP qui permet de prendre en compte des perturbations dues au
bruit, qui apparaissent fréquemment dans les applications réelles.
Dans ce cadre, nous choisissons d'étudier une solution basée sur les
algorithmes génétiques pouvant être appliquée à l'isomorphisme exact et
inexact. Nous proposons des opérateurs de croisement généraux pour tout
problème représenté par un codage de permutation, ainsi que des
opérateurs spécifiques à l'isomorphisme de graphes qui exploitent une
heuristique gloutonne. Nous réalisons une étude exhaustive pour comparer
ces opérateurs avec les opérateurs existants, soulignant leurs
propriétés, avantages et inconvénients respectifs.
Nous étudions par ailleurs plusieurs pistes d'amélioration de
l'algorithme, en théorie ou en pratique, considérant successivement les
objectifs d'accélération de l'exécution, d'augmentation de la précision
et de garantie de résultat optimal. Nous proposons pour cela de combiner
l'approche proposée avec d'autres techniques telles que des heuristiques
générales comme la recherche locale, des heuristiques dédiées comme
l'algorithme A*, et des outils pratiques comme la parallélisation.
Ces travaux conduisent à la définition d'une méthode générique pour la
résolution de tous les problèmes d'isomorphismes de graphes, qu'il
s'agisse d'isomorphismes exact ou inexact, d'isomorphismes de graphes de
même taille ou d'isomorphismes de sous-graphes. Nous illustrons enfin la
validité de cette solution générale par trois applications concrètes
issues de domaines différents, la recherche d'images et la chimie, qui
présentent chacune des caractéristiques spécifiques, utilisant des
graphes attribués ou non, soumis aux perturbations plutôt structurelles
ou au niveau d'attributs.
---------------------
Composition du Jury
---------------------
Mme Bernadette Bouchon-Meunier, Directeur de recherche, CNRS (Directeur)
M Marcin Detyniecki, Chargé de recherche, CNRS, HDR (Encadrant)
M Patrick Gallinari, Professeur à l'Université Paris VI (Examinateur)
Mme Evelyne Lutton, Directeur de recherche, INRIA (Rapporteur)
Mme Michèle Sebag, Directeur de recherche, CNRS (Rapporteur)
M El-Ghazali Talbi, Professeur à l'Université de Lille I (Examinateur)
La soutenance sera suivie d'un pot "germanique" auquel vous êtes
cordialement invités.
Bien cordialement,
Thomas Baerecke
Bureau 623
Laboratoire d'Informatique de Paris 6
104 avenue du Président Kennedy
75016 Paris
Tel : 01 44 27 88 03
Fax : 01 44 27 70 00
Plan d'accès : http://www.lip6.fr/informations/comment.php