Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin
Abstract
Ce rapport présente deux algorithmes calculant une structure de contrôle dont l'exécution énumère les vecteurs entiers d'un polyèdre paramétré dans un certain contexte. Les algorithmes reprennent la méthode des projections successives, basée sur l'élimination par paires de Fourier-Motzkin, définie par Ancourt et Irigoin dans le cas non paramétré. La politique de suppression des contraintes redondantes générées par l'élimination par paires est revue afin de réduire le temps de synthèse des parcours pour des polyèdres de complexité géométrique supérieure et améliorer le temps d'exécution des parcours produits. Les algorithmes présentés servent de base à la génération de code dans le prototype de compilateur Pandore développé à l'IRISA ; une comparaison entre ces algorithmes et celui défini par Ancourt et Irigoin est donnée sur la classe des polyèdres manipulés par le compilateur Pandore.