Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1994

Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2358.pdf (394.18 Ko) Télécharger le fichier

Dates et versions

inria-00074319 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074319 , version 1

Citer

Marc Le Fur. Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin. [Rapport de recherche] RR-2358, INRIA. 1994. ⟨inria-00074319⟩
65 Consultations
219 Téléchargements

Partager

Gmail Facebook X LinkedIn More