pacchetto per elencare vertici e raggi estremi di un poliedro convesso
Un poliedro convesso è l'insieme di punti che soddisfano una famiglia
finita di disuguaglianze lineari. Lo studio dei vertici e dei raggi estremi
di tali sistemi è utile e importante ad esempio in studi matematici e di
ottimizzazione. In un'interpretazione duale, trovare i vertici di un
poliedro (limitato) è equivalente a trovare l'involucro convesso
(disuguaglianze limite) di un insieme di punti (di dimensioni arbitrarie).
Lrs (lexicographic reverse search) ha due importanti funzionalità che
possono essere molto importanti per alcune applicazioni: funziona in
aritmetica esatta e consuma memoria in modo proporzionale all'input,
indipendentemente da quando grande sia l'output.
