22,891 research outputs found
Intermediate integer programming representations using value disjunctions
We introduce a general technique to create an extended formulation of a
mixed-integer program. We classify the integer variables into blocks, each of
which generates a finite set of vector values. The extended formulation is
constructed by creating a new binary variable for each generated value. Initial
experiments show that the extended formulation can have a more compact complete
description than the original formulation.
We prove that, using this reformulation technique, the facet description
decomposes into one ``linking polyhedron'' per block and the ``aggregated
polyhedron''. Each of these polyhedra can be analyzed separately. For the case
of identical coefficients in a block, we provide a complete description of the
linking polyhedron and a polynomial-time separation algorithm. Applied to the
knapsack with a fixed number of distinct coefficients, this theorem provides a
complete description in an extended space with a polynomial number of
variables.Comment: 26 pages, 5 figure
Lattice based extended formulations for integer linear equality systems
We study different extended formulations for the set in order to tackle the feasibility problem for the set . Here the goal is not to find an improved polyhedral
relaxation of conv, but rather to reformulate in such a way that the new
variables introduced provide good branching directions, and in certain
circumstances permit one to deduce rapidly that the instance is infeasible. For
the case that has one row we analyze the reformulations in more detail.
In particular, we determine the integer width of the extended formulations in
the direction of the last coordinate, and derive a lower bound on the Frobenius
number of . We also suggest how a decomposition of the vector can be
obtained that will provide a useful extended formulation. Our theoretical
results are accompanied by a small computational study.Comment: uses packages amsmath and amssym
Semidefinite approximation for mixed binary quadratically constrained quadratic programs
Motivated by applications in wireless communications, this paper develops
semidefinite programming (SDP) relaxation techniques for some mixed binary
quadratically constrained quadratic programs (MBQCQP) and analyzes their
approximation performance. We consider both a minimization and a maximization
model of this problem. For the minimization model, the objective is to find a
minimum norm vector in -dimensional real or complex Euclidean space, such
that concave quadratic constraints and a cardinality constraint are
satisfied with both binary and continuous variables. {\color{blue}By employing
a special randomized rounding procedure, we show that the ratio between the
norm of the optimal solution of the minimization model and its SDP relaxation
is upper bounded by \cO(Q^2(M-Q+1)+M^2) in the real case and by
\cO(M(M-Q+1)) in the complex case.} For the maximization model, the goal is
to find a maximum norm vector subject to a set of quadratic constraints and a
cardinality constraint with both binary and continuous variables. We show that
in this case the approximation ratio is bounded from below by
\cO(\epsilon/\ln(M)) for both the real and the complex cases. Moreover, this
ratio is tight up to a constant factor
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
- …