Aarhus University Seal / Aarhus Universitets segl

Maximal lattice free bodies, test sets and the Frobenius problem

Publikation: Working paperForskning

  • Anders Nedergaard Jensen, Danmark
  • Niels Lauritzen
  • Bjarke Hammersholt Roune, Danmark
  • Datalogisk Institut
  • Institut for Matematiske Fag
Maximal lattice free bodies are maximal polytopes without interior integral points. Scarf initiated the study of maximal lattice free bodies relative to the facet normals in a fixed matrix. In this paper we give an efficient algorithm for computing the maximal lattice free bodies of an integral matrix A. An important ingredient is a test set for a certain integer program associated with A. This test set may be computed using algebraic methods. As an application we generalize the Scarf-Shallcross algorithm for the three-dimensional Frobenius problem to arbitrary dimension. In this context our method is inspired by the novel algorithm by Einstein, Lichtblau, Strzebonski and Wagon and the Groebner basis approach by Roune.
OriginalsprogEngelsk
UdgiverarXiv.org
Antal sider18
StatusUdgivet - 2007

Se relationer på Aarhus Universitet Citationsformater

ID: 6159859