An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection

David Monniaux

Résumé

Polyhedral projection is a main operation of the polyhedron abstract domain. It can be computed via parametric linear programming (PLP), which is more efficient than the classic Fourier-Motzkin elimination method. In prior work, PLP was done in arbitrary precision rational arithmetic. In this paper, we present an approach where most of the computation is performed in floating-point arithmetic, then exact rational results are reconstructed. We also propose a workaround for a difficulty that plagued previous attempts at using PLP for computations on polyhedra: in general the linear programming problems are degenerate, resulting in redundant computations and geometric descriptions.
Fichier principal
Vignette du fichier
Yu_Monniaux_SAS2019.pdf (785.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02362102 , version 1 (18-11-2019)

Identifiants

Citer

Hang Yu, David Monniaux. An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. Static Analysis (SAS 2019), Oct 2019, Porto, Portugal. pp.203-224, ⟨10.1007/978-3-030-32304-2_11⟩. ⟨hal-02362102⟩
72 Consultations
68 Téléchargements

Altmetric

Partager

More