4,165 research outputs found
A new Lenstra-type Algorithm for Quasiconvex Polynomial Integer Minimization with Complexity 2^O(n log n)
We study the integer minimization of a quasiconvex polynomial with
quasiconvex polynomial constraints. We propose a new algorithm that is an
improvement upon the best known algorithm due to Heinz (Journal of Complexity,
2005). This improvement is achieved by applying a new modern Lenstra-type
algorithm, finding optimal ellipsoid roundings, and considering sparse
encodings of polynomials. For the bounded case, our algorithm attains a
time-complexity of s (r l M d)^{O(1)} 2^{2n log_2(n) + O(n)} when M is a bound
on the number of monomials in each polynomial and r is the binary encoding
length of a bound on the feasible region. In the general case, s l^{O(1)}
d^{O(n)} 2^{2n log_2(n) +O(n)}. In each we assume d>= 2 is a bound on the total
degree of the polynomials and l bounds the maximum binary encoding size of the
input.Comment: 28 pages, 10 figure
Polynomial Norms
In this paper, we study polynomial norms, i.e. norms that are the
root of a degree- homogeneous polynomial . We first show
that a necessary and sufficient condition for to be a norm is for
to be strictly convex, or equivalently, convex and positive definite. Though
not all norms come from roots of polynomials, we prove that any
norm can be approximated arbitrarily well by a polynomial norm. We then
investigate the computational problem of testing whether a form gives a
polynomial norm. We show that this problem is strongly NP-hard already when the
degree of the form is 4, but can always be answered by testing feasibility of a
semidefinite program (of possibly large size). We further study the problem of
optimizing over the set of polynomial norms using semidefinite programming. To
do this, we introduce the notion of r-sos-convexity and extend a result of
Reznick on sum of squares representation of positive definite forms to positive
definite biforms. We conclude with some applications of polynomial norms to
statistics and dynamical systems
Optimal Point Placement for Mesh Smoothing
We study the problem of moving a vertex in an unstructured mesh of
triangular, quadrilateral, or tetrahedral elements to optimize the shapes of
adjacent elements. We show that many such problems can be solved in linear time
using generalized linear programming. We also give efficient algorithms for
some mesh smoothing problems that do not fit into the generalized linear
programming paradigm.Comment: 12 pages, 3 figures. A preliminary version of this paper was
presented at the 8th ACM/SIAM Symp. on Discrete Algorithms (SODA '97). This
is the final version, and will appear in a special issue of J. Algorithms for
papers from SODA '9
- …