Hilbert basis (linear programming)

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.

Given a lattice

and a convex polyhedral cone with generators

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

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.,

This applied mathematics–related article is a stub.

You can help Wikipedia by expanding it.

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.