Commuting matrices
Study of integer points in convex polyhedra[1] is motivated by the questions, such as "how many nonnegative integer-valued solutions does a system of linear equations with nonnegative coefficients have" or "how many solutions does an integer linear program have". Counting integer points in polyhedra or other questions about them arise in representation theory, commutative algebra, algebraic geometry, statistics, and computer science.[2]
The set of integer points, or, more generally, the set of points of an affine lattice, in a polyhedron is called Z-polyhedron,[3] from the mathematical notation or Z for the set of integer numbers.[4]
Properties
For a lattice Λ, Minkowski's theorem relates the number d(Λ) and the volume of a symmetric convex set S to the number of lattice points contained in S.
The number of lattice points contained in a polytope all of whose vertices are elements of the lattice is described by the polytope's Ehrhart polynomial. Formulas for some of the coefficients of this polynomial involve d(Λ) as well.
Applications
Loop optimization
In certain approaches to loop optimization, the set of the executions of the loop body is viewed as the set of integer points in a polyhedron defined by loop constraints.
See also
References and notes
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
Further reading
- "Integer Points In Polyhedra: Geometry, Number Theory, Algebra, Optimization: Proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Integer Points in Polyhedra, 2003 (Contemporary Mathematics series, v. 374), 2005, ISBN 0-8218-3459-2
- Alexander Barvinok, Integer Points in Polyhedra, 2008, ISBN 3-03719-052-3
- ↑ In some contexts convex polyhedra are called simply "polyhedra".
- ↑ Integer points in polyhedra. Geometry, Number Theory, Representation Theory, Algebra, Optimization, Statistics, ACM--SIAM Joint Summer Research Conference, 2006
- ↑ The term "Z-polyhedron" is also used as a synonym to convex lattice polytope, the convex hull of finitely many points in an affine lattice.
- ↑ "Computations on Iterated Spaces" in: The Compiler Design Handbook: Optimizations and Machine Code Generation, CRC Press 2007, 2nd edition, ISBN 1-4200-4382-X, p.15-7