A primal Barvinok algorithm based on irrational decompositions
Abstract
We introduce variants of Barvinok's algorithm for counting lattice points in polyhedra. The new algorithms are based on irrational signed decomposition in the primal space and the construction of rational generating functions for cones with low index. We give computational results that show that the new algorithms are faster than the existing algorithms by a large factor.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- March 2006
- DOI:
- 10.48550/arXiv.math/0603308
- arXiv:
- arXiv:math/0603308
- Bibcode:
- 2006math......3308K
- Keywords:
-
- Mathematics - Combinatorics;
- 05A15;
- 52C07;
- 68W30
- E-Print:
- v3: New all-primal algorithm. v4: Extended introduction, updated computational results. To appear in SIAM Journal on Discrete Mathematics