Programmation linéaire exacte avec Q-matrices

par David-Olivier Azulay

Thèse de doctorat en Informatique

Sous la direction de Jean-François Pique.

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Nous avons utilise le formalisme des q-matrices de j. Edmonds afin d'elaborer des algorithmes pour la resolution exacte de contraintes lineaires, algorithmes qui ont la particularite d'etre incrementaux et de ne travailler que sur des entiers. Nous avons reussi a decomposer les calculs pour faire apparaitre des factorisations non evidentes a priori et qui, avec une representation adequate des matrices donnent d'excellents resultats. Nous avons pu de plus etendre le procede aux algorithmes du simplexe revise (factorisation lu, ) pour lesquels nous avons trouve des traductions efficaces en terme de q-matrice. Nous nous sommes aussi interesse a elargir l'application de ces algorithmes : nous avons etudie la possibilite d'un calcul parallele en nombre rns (residue number system), ainsi que l'evolution de la precision dans les calculs flottants. Selon ce dernier travail, il est possible, dans le cas general, de limiter la perte de precision en recalibrant les donnees en fonction du determinant qui est toujours explicite avec les q-matrices. De plus, pour certains problemes, un calcul flottant exact aussi rapide que le calcul arrondi des algorithmes actuels peut etre mis en uvre.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( pagination multiple)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : f. 8-77-8-79

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 32250
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.