Algorithmes exacts et exponentiels pour des problèmes de graphes

Algorithmes exacts et exponentiels pour des probl`emes
de graphes
Romain Letourneur
To cite this version:
Romain Letourneur. Algorithmes exacts et exponentiels pour des probl`emes de graphes. Com-
plexit´e [cs.CC]. Universit´e d’Orl´eans; 2015. Fran¸cais. <tel-01309228v1>
HAL Id: tel-01309228
https://tel.archives-ouvertes.fr/tel-01309228v1
Submitted on 29 Apr 2016 (v1), last revised 24 Jan 2016 (v2)
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destin´ee au d´epˆot et `a la diffusion de documents
scientifiques de niveau recherche, publi´es ou non,
´emanant des ´etablissements d’enseignement et de
recherche fran¸cais ou ´etrangers, des laboratoires
publics ou priv´es.

UNIVERSITÉ D’ORLÉANS
ÉCOLE DOCTORALE
MATHEMATIQUES, INFORMATIQUE, PHYSIQUE THEORIQUE
ET INGENIERIE DES SYSTEMES
Laboratoire d'Informatique Fondamentale d'Orléans
THÈSE
présentée par :
Romain LETOURNEUR
soutenue le : 9 juillet 2015
pour obtenir le grade de : Docteur de l’université d’Orléans
Discipline/ Spécialité : Informatique
Algorithmes exacts et exponentiels
pour des problèmes de graphes
THÈSE dirigée par :
Ioan TODINCA Professeur des Universités, Université d'Orléans
Mathieu LIEDLOFF Maître de Conférences, Université d'Orléans
RAPPORTEURS :
Frédéric HAVET Directeur de Recherche CNRS, Nice-Sophia-Antipolis
Cristina BAZGAN Professeur des Universités, Université Paris Dauphine
____________________________________________________________________
JURY :
Cristina BAZGAN Professeur des Universités, Université Paris Dauphine
Frédéric HAVET Directeur de Recherche CNRS, Nice-Sophia-Antipolis
Mathieu LIEDLOFF Maître de Conférences, Université d'Orléans
Alexandre PINLOU Maître de Conférences HDR, Université Paul Valery Montpellier 3
Vincent T'KINDT Professeur des Universités, Université François Rabelais de Tours
Ioan TODINCA Professeur des Universités, Université d'Orléans

Remerciements
Je tiens tout d’abord à remercier chaleureusement mes directeurs de thèse, Mathieu Liedloff
et Ioan Todinca, présents tout au long de ma thèse, supportant mes blagues quelquefois limites,
mes quelques moments de flemme et bien sûr leur aide et leur soutien au quotidien qui m’ont
permis de réaliser cette thèse dans les meilleures conditions. Ce fut un réel plaisir de travailler
avec eux, et de découvrir le plaisir et la fierté d’obtenir son premier résultat, publier son premier
article, présenter ses résultats devant des experts mondiaux et finalement découvrir le travail de
chercheur.
Je tiens également à remercier mes rapporteurs de thèse, Cristina Bazgan ainsi que Frédé-
ric Havet qui ont donné de leur temps pour lire avec attention mon manuscrit et m’ont permis,
par leurs précieux commentaires, de le perfectionner. Je remercie par la même occasion Vincent
T’Kindt ainsi qu’Alexandre Pinlou qui ont accepté d’être examinateurs de ma thèse.
Je remercie bien évidemment toutes les personnes avec lesquelles j’ai eu l’occasion de travailler
durant ces trois années. Je tiens tout particulièrement à remercier mes coauteurs auprès desquels
j’ai énormément appris, Mathieu Chapelle, Manfred Cochefert, Jean-François Couturier, Dieter
Kratsch et Mathieu Liedloff.
Un grand merci va également à tous les membres du LIFO, collègues que j’ai tout d’abord cô-
toyés en tant qu’étudiant, puis en tant que collègue. Je leur dois à tous énormément de choses,
l’essentiel de mes connaissances acquises durant mes études de Licence et de Master ainsi que ma
passion pour l’informatique, mais aussi tous ces bons moments passés durant ma thèse. Je remer-
cie tout particulièrement les directeurs du LIFO, Jérôme Durand-Lose et Sébastien Limet, ainsi
que le directeur de l’équipe de recherche GAMoC, Nicolas Ollinger, et bien évidemment tous les
membres de l’équipe.
Bon, les chefs, c’est fait, les collègues aussi, ensuite . . .
J’adresse un merci tout particulier à mes compagnons de galère, ceux qui sont devenus Doc-
teurs au combat, les petits nouveaux pour lesquels l’aventure ne fait que commencer. Je pense
en particulier (liste non exhaustive !) à Mathieu Chapelle et Maxime Senot, ceux qui m’ont donné
envie de faire cette thèse, Pedro Montealegre, mon cobureau, le cador du "Confite de Pato" (Bonne
année à toi copain !), Bastien Le Gloannec (souris un peu !) ou encore à Vivien Pelletier (le gars de
l’équipe de nuit). Merci à tous, c’était bien sympa !

Je remercie également ma famille, en particulier mes parents, mon frère et Chacalou, qui ont
également toujours été là pour moi, et qui m’ont soutenu durant toutes ces années.
Un merci tout particulier va à mes amis, je pense principalement à Bicu (Bro’ !), Dindinou
(Bro’ #2 !) , Couenne (d’abord en L1, puis en L1 puis en L1 . . .), Jaune (check !), ainsi qu’à tous mes
collègues avec lesquels j’ai partagé ces moments si précieux.
Je remercie également Linux, alias Nunux, cap’tain nunux, el diablo, nunuxinator . . . (un nou-
veau surnom par jour), mon félin compagnon d’écriture criblé de dettes de jeu !
Mon plus grand merci va incontestablement à ma chérie, ma « femelle » comme ils disent,
Marie-Pierre, ma petite Merguez, qui est présente au quotidien à mes côtés, supportant mes mo-
ments quasi permanents de boude et avec qui je partage ces moments si épiques. Merci à toi, on
est vraiment un super binôme !
A tous merci,
Romain
« La photosynthèse, c’est qu’une
question de volonté. »
Bicu, Letrome, Merguez [2015]