Package: liblrs1 (0.71b-2)

pacchetto per elencare vertici e raggi estremi (librerie condivise)

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.

Questo pacchetto contiene la libreria condivisa (necessaria).

This page is also available in the following languages (How to set the default document language):