Paket für das Zählen von Ecken und Extremalstrahlen eines konvexen Polyeders
Ein konvexer Polyeder ist die Menge von Punkten, die eine endliche Menge
von linearen Ungleichungen erfüllt. Die Untersuchung der Ecken und
Extremalstrahlen solcher Systeme ist z.B. für Mathematik und Optimierung
wichtig und nützlich. In der Interpretation des Dualraums ist das Ermitteln
der Ecken eines (begrenzten) Polyeders gleichwertig mit der Feststellung
der konvexen Hülle (Ungleichungen an den Grenzflächen) einer Punktmenge
(beliebiger Dimension). Lrs (umgekehrte lexikographische Suche) hat zwei
wichtige Merkmale, die für bestimmte Anwendungen sehr wichtig sein können:
sie arbeitet mit exakter Arithmetik und der Speicherverbrauch ist
proportional zur Größe der Eingangsdaten und nicht zur Größe des Ergebnisses.
