Simple Explicit Formula for Counting Lattice Points of Polyhedra

  • Authors:
  • Jean B. Lasserre;Eduardo S. Zeron

  • Affiliations:
  • LAAS-CNRS and Institute of Mathematics, LAAS, 7 Av. du Colonel Roche, 31077 Toulouse, France;Depto. Matemáticas, Apdo. Postal 14-740, Cinvestav-IPN, Mexico D.F. 07000, Mexico

  • Venue:
  • IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Given z茂戮驴 茂戮驴nand A茂戮驴 茂戮驴m×n, we provide an explicit expression and an algorithm for evaluating the counting function h(y;z): = 茂戮驴 { zx| x茂戮驴 茂戮驴n;Ax=y,x茂戮驴 0}. The algorithm only involves simple (but possibly numerous) calculations. In addition, we exhibit finitely manyfixed convex cones of 茂戮驴nexplicitly and exclusively defined by A, such that for anyy茂戮驴 茂戮驴m, h(y;z) is obtained by a simple formula that evaluates 茂戮驴 zxover the integral points of those cones only. At last, we also provide an alternative (and different) formula from a decomposition of the generating function into simpler rational fractions, easy to invert.