2
$\begingroup$
  1. In 'Computational Experience with Lenstra's Algorithm' by L Gao, Y Zhang it is claimed that they have an implementation of Lenstra's fixed dimension integer programming algorithm. Is this available online anywhere?

  2. Is Barvinok's algorithm available online?

$\endgroup$
2
  • $\begingroup$ Is this a right forum for such sort questions? $\endgroup$
    – user64494
    Mar 18, 2018 at 3:50
  • $\begingroup$ mathematical software is a tag. $\endgroup$
    – Turbo
    Mar 18, 2018 at 5:40

1 Answer 1

1
$\begingroup$

This may be of some help:

De Loera, Jesús A., David Haws, Raymond Hemmecke, Peter Huggins, and Ruriko Yoshida. "A computational study of integer programming algorithms based on Barvinok's rational functions." Discrete Optimization 2, no. 2 (2005): 135-144. (Elsevier link.)

For their comparisons, they used the CPLEX MIP solver, and the software package LattE available at https://www.math.ucdavis.edu/~latte/software.php.

$\endgroup$
7
  • $\begingroup$ I think it will help. So lattE implements Barvinok's algorithm? In spirit it has at least the same power as Lenstra's. Do you know what the complexity of Barvinok's algorithm is when employed for fixed dimension linear integer programming? $\endgroup$
    – Turbo
    Mar 18, 2018 at 5:40
  • 2
    $\begingroup$ lattE implements more than that, in particular it can do ILP $\endgroup$ Mar 18, 2018 at 9:44
  • $\begingroup$ @Turbo: The answer to your question may be in the paper I cited. Or you might write to DeLoera. $\endgroup$ Mar 18, 2018 at 11:44
  • $\begingroup$ @DimaPasechnik Does the software do Mixed ILP with Barvinok's algorithm? $\endgroup$
    – Turbo
    Apr 10, 2018 at 11:56
  • $\begingroup$ It does ILP, see p.30 of the manual: math.ucdavis.edu/~latte/software/packages/latte_current/… It does not do Mixed ILP, only "pure" ILP. $\endgroup$ Apr 10, 2018 at 17:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.