1,071 research outputs found
Nonlinear Integer Programming
Research efforts of the past fifty years have led to a development of linear
integer programming as a mature discipline of mathematical optimization. Such a
level of maturity has not been reached when one considers nonlinear systems
subject to integrality requirements for the variables. This chapter is
dedicated to this topic.
The primary goal is a study of a simple version of general nonlinear integer
problems, where all constraints are still linear. Our focus is on the
computational complexity of the problem, which varies significantly with the
type of nonlinear objective function in combination with the underlying
combinatorial structure. Numerous boundary cases of complexity emerge, which
sometimes surprisingly lead even to polynomial time algorithms.
We also cover recent successful approaches for more general classes of
problems. Though no positive theoretical efficiency results are available, nor
are they likely to ever be available, these seem to be the currently most
successful and interesting approaches for solving practical problems.
It is our belief that the study of algorithms motivated by theoretical
considerations and those motivated by our desire to solve practical instances
should and do inform one another. So it is with this viewpoint that we present
the subject, and it is in this direction that we hope to spark further
research.Comment: 57 pages. To appear in: M. J\"unger, T. Liebling, D. Naddef, G.
Nemhauser, W. Pulleyblank, G. Reinelt, G. Rinaldi, and L. Wolsey (eds.), 50
Years of Integer Programming 1958--2008: The Early Years and State-of-the-Art
Surveys, Springer-Verlag, 2009, ISBN 354068274
On the local stability of semidefinite relaxations
We consider a parametric family of quadratically constrained quadratic
programs (QCQP) and their associated semidefinite programming (SDP)
relaxations. Given a nominal value of the parameter at which the SDP relaxation
is exact, we study conditions (and quantitative bounds) under which the
relaxation will continue to be exact as the parameter moves in a neighborhood
around the nominal value. Our framework captures a wide array of statistical
estimation problems including tensor principal component analysis, rotation
synchronization, orthogonal Procrustes, camera triangulation and resectioning,
essential matrix estimation, system identification, and approximate GCD. Our
results can also be used to analyze the stability of SOS relaxations of general
polynomial optimization problems.Comment: 23 pages, 3 figure
An SDP Approach For Solving Quadratic Fractional Programming Problems
This paper considers a fractional programming problem (P) which minimizes a
ratio of quadratic functions subject to a two-sided quadratic constraint. As is
well-known, the fractional objective function can be replaced by a parametric
family of quadratic functions, which makes (P) highly related to, but more
difficult than a single quadratic programming problem subject to a similar
constraint set. The task is to find the optimal parameter and then
look for the optimal solution if is attained. Contrasted with the
classical Dinkelbach method that iterates over the parameter, we propose a
suitable constraint qualification under which a new version of the S-lemma with
an equality can be proved so as to compute directly via an exact
SDP relaxation. When the constraint set of (P) is degenerated to become an
one-sided inequality, the same SDP approach can be applied to solve (P) {\it
without any condition}. We observe that the difference between a two-sided
problem and an one-sided problem lies in the fact that the S-lemma with an
equality does not have a natural Slater point to hold, which makes the former
essentially more difficult than the latter. This work does not, either, assume
the existence of a positive-definite linear combination of the quadratic terms
(also known as the dual Slater condition, or a positive-definite matrix
pencil), our result thus provides a novel extension to the so-called "hard
case" of the generalized trust region subproblem subject to the upper and the
lower level set of a quadratic function.Comment: 26 page
Construction of power flow feasibility sets
We develop a new approach for construction of convex analytically simple
regions where the AC power flow equations are guaranteed to have a feasible
solutions. Construction of these regions is based on efficient semidefinite
programming techniques accelerated via sparsity exploiting algorithms.
Resulting regions have a simple geometric shape in the space of power
injections (polytope or ellipsoid) and can be efficiently used for assessment
of system security in the presence of uncertainty. Efficiency and tightness of
the approach is validated on a number of test networks
- …