8,778 research outputs found
Convex Integer Optimization by Constantly Many Linear Counterparts
In this article we study convex integer maximization problems with composite
objective functions of the form , where is a convex function on
and is a matrix with small or binary entries, over
finite sets of integer points presented by an oracle or by
linear inequalities.
Continuing the line of research advanced by Uri Rothblum and his colleagues
on edge-directions, we introduce here the notion of {\em edge complexity} of
, and use it to establish polynomial and constant upper bounds on the number
of vertices of the projection \conv(WS) and on the number of linear
optimization counterparts needed to solve the above convex problem.
Two typical consequences are the following. First, for any , there is a
constant such that the maximum number of vertices of the projection of
any matroid by any binary matrix is
regardless of and ; and the convex matroid problem reduces to
greedily solvable linear counterparts. In particular, . Second, for any
, there is a constant such that the maximum number of
vertices of the projection of any three-index
transportation polytope for any by any binary
matrix is ; and the convex three-index transportation problem
reduces to linear counterparts solvable in polynomial time
A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs
In this paper we generalize N-fold integer programs and two-stage integer
programs with N scenarios to N-fold 4-block decomposable integer programs. We
show that for fixed blocks but variable N, these integer programs are
polynomial-time solvable for any linear objective. Moreover, we present a
polynomial-time computable optimality certificate for the case of fixed blocks,
variable N and any convex separable objective function. We conclude with two
sample applications, stochastic integer programs with second-order dominance
constraints and stochastic integer multi-commodity flows, which (for fixed
blocks) can be solved in polynomial time in the number of scenarios and
commodities and in the binary encoding length of the input data. In the proof
of our main theorem we combine several non-trivial constructions from the
theory of Graver bases. We are confident that our approach paves the way for
further extensions
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
N-fold integer programming in cubic time
N-fold integer programming is a fundamental problem with a variety of natural
applications in operations research and statistics. Moreover, it is universal
and provides a new, variable-dimension, parametrization of all of integer
programming. The fastest algorithm for -fold integer programming predating
the present article runs in time with the binary length of
the numerical part of the input and the so-called Graver complexity of
the bimatrix defining the system. In this article we provide a drastic
improvement and establish an algorithm which runs in time having
cubic dependency on regardless of the bimatrix . Our algorithm can be
extended to separable convex piecewise affine objectives as well, and also to
systems defined by bimatrices with variable entries. Moreover, it can be used
to define a hierarchy of approximations for any integer programming problem
- …