Package: liblrs1t64 (0.71b-2.1 and others)

Pakke til at optælle toppunkter og ekstreme stråler - delte biblioteker

Et konveks polyeder er sættet af punkter der tilfredsstiller en begrænset familie af lineære uligheder. Studiet af toppunkter og ekstreme stråler for sådanne systemer er vigtigt og brugbart i f.eks. matematik og optimering. I en fælles fortolkning svarer det at finde toppunkter på en (bundet) polyeder til at finde det konvekse skrog (bundede uligheder) på et (arbitrær dimensionelt) punktsæt. Lrs (omvendt leksikografisk søgning) har to vigtige funktioner som kan være meget vigtige for bestemte programmer: Det virker i præcis aritmetik, og det forbruger hukommelse proportionalt med inddata, uanset hvor stort uddata er.

Denne pakke indeholder det (krævede) delte bibliotek

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