Hilbert basis (linear programming)


Contributors to Wikimedia projects

Article Images

The Hilbert basis of a convex cone C is a minimal set of integer vectors in C such that every integer vector in C is a conical combination of the vectors in the Hilbert basis with integer coefficients.

 
Hilbert basis visualization. Two rays in the plane define an infinite cone of all the points lying between them. The unique Hilbert basis points of the cone are circled in yellow. Every integer point in the cone can be written as a sum of these basis elements. As you change the cone by moving one of the rays, the Hilbert basis also changes.

Given a lattice   and a convex polyhedral cone with generators  

 

we consider the monoid  . By Gordan's lemma, this monoid is finitely generated, i.e., there exists a finite set of lattice points   such that every lattice point   is an integer conical combination of these points:

 

The cone C is called pointed if   implies  . In this case there exists a unique minimal generating set of the monoid  —the Hilbert basis of C. It is given by the set of irreducible lattice points: An element   is called irreducible if it can not be written as the sum of two non-zero elements, i.e.,   implies   or  .