Le but de ce travail est d'élaborer un problème test destiné à la vérification d'un algorithme de présolution pour programmes quadratiques. Nous commençons par illustrer les différentes réductions utilisées par l'algorithme, au moyen de sous-problèmes du problème test final. Ensuite, nous appliquons toutes les transformations exécutées par l'algorithme à notre problème test et nous terminons par une analyse des résultats obtenus par cet algorithme.
Vérification d'un algorithme de présolution pour programmes quadratiques
Lambrecht, P. (Auteur). 2004
Student thesis: Master types › Master en sciences mathématiques