Abstract
Maximizing geometric functionals such as the classical l p -norms over polytopes plays an important role in many applications, hence it is desirable to know how efficiently the solutions can be computed or at least approximated.
While the maximum of the l ∞-norm over polytopes can be computed in polynomial time, for 2 ≤ p < ∞ the l p -norm-maxima cannot be computed in polynomial time within a factor of 1.090, unless \(\mathbb{P} = \mathbb{N}\mathbb{P}\). This result holds even if the polytopes are centrally symmetric parallelotopes.
Quadratic Programming is a problem closely related to norm-maximization, in that in addition to a polytope P ⊂ ℝn, numbers c ij , 1 ≤ i ≤ j ≤ n, are given and the goal is to maximize Σ1≤i≤j≤n c ij x i x j over P. It is known that Quadratic Programming does not admit polynomial-time approximation within a constant factor, unless \(\mathbb{P} = \mathbb{N}\mathbb{P}\).
Using the observation that the latter result remains true even if the existence of an integral optimal point is guaranteed, in this paper it is proved that analogous inapproximability results hold for computing the l p -norm-maximum and various l p -radii of centrally symmetric polytopes for 2≤ p < ∞.
Article PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Brieden Geometric Optimization Problems Likely Not Contained in \(\mathbb{A}\mathbb{P}\mathbb{X}\) . Discrete Comput Geom 28, 201–209 (2002). https://doi.org/10.1007/s00454-002-2756-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-002-2756-x