# Integer Programming with a Fixed Number of Variables

@article{Lenstra1983IntegerPW, title={Integer Programming with a Fixed Number of Variables}, author={Hendrik W. Lenstra}, journal={Math. Oper. Res.}, year={1983}, volume={8}, pages={538-548} }

It is shown that the integer linear programming problem with a fixed number of variables is polynomially solvable. The proof depends on methods from geometry of numbers.

## Topics from this paper

## 1,409 Citations

Integer quadratic programming in the plane

- Computer Science, MathematicsSODA
- 2014

We show that the problem of minimizing a quadratic polynomial with integer coefficients over the integer points in a general two-dimensional rational polyhedron is solvable in time bounded by a…

A linear algorithm for integer programming in the plane

- Mathematics, Computer ScienceMath. Program.
- 2005

Abstract.We show that a 2-variable integer program, defined by m constraints involving coefficients with at most φ bits, can be solved with O(m+φ) arithmetic operations on rational numbers of size…

An integral transformation for integer programming problems

- Mathematics
- 1985

It is shown that every integer programming problem can be transformed into an equivalent integer program with free variables in polynomial time. The transformation is advantageous because the…

FPTAS for mixed-integer polynomial optimization with a fixed number of variables

- Computer Science, MathematicsSODA '06
- 2006

We show the existence of an FPTAS for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed.

FPTAS for mixed-integer polynomial optimization with a fixed number of variables

- MathematicsSODA 2006
- 2006

We show the existence of an FPTAS for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed.

On Reduction Algorithms in Non Linear Integer Mathematical Programming

- Mathematics
- 1984

In this paper we give a new and very efficient method for solving hard non linear integer programming problems. Our method bases on reduction algorithms coming from the ‘Geometry of Numbers’.

A Faster Algorithm for Two-Variable Integer Programming

- Mathematics, Computer ScienceISAAC
- 2003

We show that a 2-variable integer program, defined by m constraints involving coefficients with at most ϕ bits can be solved with O(m + ϕ) arithmetic operations on rational numbers of size O(ϕ).

On the number of vertices in integer linear programming problems

- Mathematics
- 2006

We give a survey of work on the number of vertices of the convex hull of integer points defined by the system of linear inequalities. Also, we present our improvement of some of these.

Polyhedral Approaches to Mixed Integer Linear Programming

- Mathematics, Computer Science50 Years of Integer Programming
- 2010

This survey presents tools from polyhedral theory that are used in integer programming. It applies them to the study of valid inequalities for mixed integer linear sets, such as Gomory’s mixed…

The Computational Complexity of Integer Programming with Alternations

- Computer Science, MathematicsMath. Oper. Res.
- 2020

We prove that integer programming with three alternating quantifiers is NP-complete, even for a fixed number of variables. This complements earlier results by Lenstra [16] [Lenstra H (1983) Integer...

## References

SHOWING 1-10 OF 23 REFERENCES

A Polynomial-Time Algorithm for the Knapsack Problem with Two Variables

- Mathematics, Computer ScienceJ. ACM
- 1976

In this paper a very special knapsack problem is studied, namely, one with only two variables, and a polynomial-time algorithm is presented and analyzed.

Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix

- Mathematics, Computer ScienceSIAM J. Comput.
- 1979

Recently, Frumkin [9] pointed out that none of the well-known algorithms that transform an integer matrix into Smith [16] or Hermite [12] normal form is known to be polynomially bounded in its runn...

A Polynomial Algorithm for the Two-Variable Integer Programming Problem

- Mathematics, Computer ScienceJACM
- 1980

ABSTRACT A polynomial time algorithm is presented for solving the following two-variable integer programming problem maximize ClXl + c2x2 subject to a, lxl + a,2x2 = O, integers, where a,j, cj, and…

The ellipsoid method and its consequences in combinatorial optimization

- Mathematics, Computer ScienceComb.
- 1981

The method yields polynomial algorithms for vertex packing in perfect graphs, for the matching and matroid intersection problems, for optimum covering of directed cuts of a digraph, and for the minimum value of a submodular set function.

A bound on solutions of linear integer equalities and inequalities

- Mathematics
- 1978

Consider a system of linear equalities and inequalities with integer coefficients. We describe the set of rational solutions by a finite generating set of solution vectors. The entries of these…

Factoring polynomials with rational coefficients

- Mathematics, Computer Science
- 1982

In this paper we present a polynomial-time algorithm to solve the following problem: given a non-zero polynomial fe Q(X) in one variable with rational coefficients, find the decomposition of f into…

Computers and Intractability: A Guide to the Theory of NP-Completeness

- Computer Science, Mathematics
- 1978

Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the problem of optimal compression of propositional Horn production rule knowledge…

Production Sets with Indivisibilities Part I: Generalities

- Economics
- 1981

This paper and its sequel present a new approach to the study of production sets with indivisibilities and to the programming problems which arise when a factor endowment is specified. The absence of…

An Introduction to the Geometry of Numbers

- Mathematics
- 1959

Notation Prologue Chapter I. Lattices 1. Introduction 2. Bases and sublattices 3. Lattices under linear transformation 4. Forms and lattices 5. The polar lattice Chapter II. Reduction 1. Introduction…

Systems of distinct representatives and linear algebra

- Mathematics
- 1967

So me purposes of thi s paper are: (1) To take se riously the term , " term rank. " (2) To ma ke an issue of not " rea rra nging rows a nd colu mns" by not "a rranging" the m in the firs t place. (3)…