Algorithmes exacts et exponentiels sur les graphes : énumération, comptage et optimisation

Exponential and exact algorithms on graphs : enumeration, counting and optimization

• Auteur / Autrice : Jean-François Couturier
• Direction : Dieter Kratsch
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 06/12/2012
• Etablissement(s) : Université de Lorraine
• Ecole(s) doctorale(s) : École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine
• Partenaire(s) de recherche : Laboratoire : LITA - Laboratoire d'Informatique Théorique et Appliquée - EA 3097
• Jury : Président / Présidente : Michel Habib
• Jury : Examinateurs / Examinatrices : Henning Fernau, Frédéric Maffray, Anass Nagih
• Jury : Rapporteurs / Rapporteuses : Cyril Gavoille, Christophe Paul

Mots clés

Mots clés contrôlés

Algorithmes

Mots clés libres

Algorithme

Exponentiel

NP-complet

Résumé

L'hypothèse qu'un grand nombre de problèmes n'admettent pas d'algorithme (exact et déterministe) polynomial date de l'avènement de la théorie de la NP-complétude dans les années 70. Depuis, de nombreuses théories et techniques algorithmiques se sont développées pour résoudre ces problèmes difficiles le plus efficacement possible. Dans cette thèse, nous nous intéressons aux algorithmes exacts faiblement exponentiels. L'objectif est d'obtenir des algorithmes de complexité 0* (c^n) où n est la taille de la donnée et c une Constante la plus faible possible

The assumption that many problems do not admit algorithm (exact and deterministic) polynomial ate of the advent of the theory of NP-completeness in the 70s. Since many theories and algorithmic techniques have been developed to solve these problems difficult as efficiently as possible. In this thesis, we focus on exact algorithms weakly exponential. The objective is to obtain algorithms complexity 0 * (c ^ n) where n is the size of the data and one constant c as small as possible