261,661 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
Mixed-integer Quadratic Programming is in NP
Mixed-integer quadratic programming is the problem of optimizing a quadratic
function over points in a polyhedral set where some of the components are
restricted to be integral. In this paper, we prove that the decision version of
mixed-integer quadratic programming is in NP, thereby showing that it is
NP-complete. This is established by showing that if the decision version of
mixed-integer quadratic programming is feasible, then there exists a solution
of polynomial size. This result generalizes and unifies classical results that
quadratic programming is in NP and integer linear programming is in NP
A Relation between the Protocol Partition Number and the Quasi-Additive Bound
In this note, we show that the linear programming for computing the
quasi-additive bound of the formula size of a Boolean function presented by
Ueno [MFCS'10] is equivalent to the dual problem of the linear programming
relaxation of an integer programming for computing the protocol partition
number. Together with the result of Ueno [MFCS'10], our results imply that
there exists no gap between our integer programming for computing the protocol
partition number and its linear programming relaxation
Optimising a nonlinear utility function in multi-objective integer programming
In this paper we develop an algorithm to optimise a nonlinear utility
function of multiple objectives over the integer efficient set. Our approach is
based on identifying and updating bounds on the individual objectives as well
as the optimal utility value. This is done using already known solutions,
linear programming relaxations, utility function inversion, and integer
programming. We develop a general optimisation algorithm for use with k
objectives, and we illustrate our approach using a tri-objective integer
programming problem.Comment: 11 pages, 2 tables; v3: minor revisions, to appear in Journal of
Global Optimizatio
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
- …