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

par Jean-François Couturier

Thèse de doctorat en Informatique

Sous la direction de Dieter Kratsch.

Le président du jury était Michel Habib.

Le jury était composé de Henning Fernau, Frédéric Maffray, Anass Nagih.

Les rapporteurs étaient Cyril Gavoille, Christophe Paul.


  • 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

  • Titre traduit

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


  • Résumé

    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


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse ?