2000
DOI: 10.1007/pl00009496
|View full text |Cite
|
Sign up to set email alerts
|

Integer Optimization on Convex Semialgebraic Sets

Abstract: Let Y be a convex set in R k defined by polynomial inequalities and equations of degree at most d ≥ 2 with integer coefficients of binary length at most l. We show that if the set of optimal solutions of the integer programming problem min{y k | y = (y 1 , . . . , y k ) ∈ Y ∩ Z k } is not empty, then the problem has an optimal solution y * ∈ Y ∩ Z k of binary length ld O(k 4 ) . For fixed k, our bound implies a polynomial-time algorithm for computing an optimal integral solution y * . In particular, we extend … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
40
0

Year Published

2006
2006
2020
2020

Publication Types

Select...
5
2

Relationship

0
7

Authors

Journals

citations
Cited by 46 publications
(41 citation statements)
references
References 17 publications
1
40
0
Order By: Relevance
“…If the quadratic function is not convex, the problem is easily shown to be unbounded. If, on the other hand, the quadratic function is convex, then the problem can be solved for fixed n with the algorithm described in [20].…”
Section: Complexitymentioning
confidence: 99%
“…If the quadratic function is not convex, the problem is easily shown to be unbounded. If, on the other hand, the quadratic function is convex, then the problem can be solved for fixed n with the algorithm described in [20].…”
Section: Complexitymentioning
confidence: 99%
“…Case 3a1: Suppose g * 2 < 0. Then let λ * 2 be a minimizer to the minimization problem (14). Letx ∈ Z 2 be such thatx =x + λ * 2 r 2 + λ 1 r 1 ∈ Z 2 for some λ 1 ≥ 0, which can be found using a linear integer program.…”
Section: Cubic Polynomials and Unbounded Polyhedramentioning
confidence: 99%
“…This technique is based on an operator that determines integer feasibility on sets P ∩ C and P \ C, where P is a polyhedron, C is a convex set, and the dimension is fixed. It relies on two important previous results, namely that in fixed dimension the feasibility problem over semialgebraic sets can be solved in polynomial time [14], and the vertices of the integer hull of a polyhedron can be computed in polynomial time [5,10]. We employ this operator to solve the feasibility problem by dividing the domain into regions where this operator can be applied.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…The complexity result is the following. A complexity result of greater generality was presented by Khachiyan and Porkolab [79]. It covers the case of minimization of convex polynomials over the integer points in convex semialgebraic sets given by arbitrary (not necessarily quasiconvex) polynomials.…”
Section: Fixed Dimensionmentioning
confidence: 99%