Baza e Hilbertit (programimi linear)

Baza Hilbert e një koni konveks C është një grup minimal i vektorëve të plotë në C i tillë që çdo vektor numër i plotë në C është një kombinim konik i vektorëve në bazën e Hilbertit me koeficientët e numrave të plotë.

 Përkufizimi 
parapamje| Vizualizimi i bazës së Hilbertit. Dy rreze në rrafsh përcaktojnë një kon të pafund të të gjitha pikave që shtrihen midis tyre. Pikat unike të bazës Hilbert të konit janë të rrethuara në të verdhë. Çdo pikë numër i plotë në kon mund të shkruhet si një shumë e këtyre elementeve bazë. Ndërsa ndryshoni kon duke lëvizur njërën nga rrezet, ndryshon edhe baza Hilbert.
Jepet një laticë  dhe një kon shumëkëndor konveks me gjeneratorë 



konsiderojmë monoidin  . Nga lema e Gordanit, ky monoid gjenerohet përfundimisht, dmth, ekziston një grup i kufizuar pikash rrjetë. 

 të tillë që çdo pikë rrjetë  është një kombinim konik numër i plotë i këtyre pikave:



Koni C quhet i mprehtë nëse  nënkupton  . Në këtë rast ekziston një grup unik gjenerues minimal i monoidit  -baza e Hilbertit e C. Ai jepet nga bashkësia e pikave të rrjetës së pareduktueshme: Një element  quhet i pakalueshëm nëse nuk mund të shkruhet si shuma e dy elementeve jozero, dmth.  nënkupton  ose  .

Kategoria:Gjuhë programimi
Kategoria:Teknologji e informacionit