Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1994

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00074319 , version 1

Cite

Marc Le Fur. Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin. [Rapport de recherche] RR-2358, INRIA. 1994. ⟨inria-00074319⟩
63 View
203 Download

Share

Gmail Facebook Twitter LinkedIn More