487 research outputs found
Description of 2-integer continuous knapsack polyhedra
AbstractIn this paper we discuss the polyhedral structure of several mixed integer sets involving two integer variables. We show that the number of the corresponding facet-defining inequalities is polynomial on the size of the input data and their coefficients can also be computed in polynomial time using a known algorithm [D. Hirschberg, C. Wong, A polynomial-time algorithm for the knapsack problem with two variables, Journal of the Association for Computing Machinery 23 (1) (1976) 147–154] for the two integer knapsack problem. These mixed integer sets may arise as substructures of more complex mixed integer sets that model the feasible solutions of real application problems
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
Reformulation and decomposition of integer programs
In this survey we examine ways to reformulate integer and mixed integer programs. Typically, but not exclusively, one reformulates so as to obtain stronger linear programming relaxations, and hence better bounds for use in a branch-and-bound based algorithm. First we cover in detail reformulations based on decomposition, such as Lagrangean relaxation, Dantzig-Wolfe column generation and the resulting branch-and-price algorithms. This is followed by an examination of Benders’ type algorithms based on projection. Finally we discuss in detail extended formulations involving additional variables that are based on problem structure. These can often be used to provide strengthened a priori formulations. Reformulations obtained by adding cutting planes in the original variables are not treated here.Integer program, Lagrangean relaxation, column generation, branch-and-price, extended formulation, Benders' algorithm
Note on the Complexity of the Mixed-Integer Hull of a Polyhedron
We study the complexity of computing the mixed-integer hull
of a polyhedron .
Given an inequality description, with one integer variable, the mixed-integer
hull can have exponentially many vertices and facets in . For fixed,
we give an algorithm to find the mixed integer hull in polynomial time. Given
and fixed, we compute a vertex description of
the mixed-integer hull in polynomial time and give bounds on the number of
vertices of the mixed integer hull
Polyhedral properties for the intersection of two knapsacks
We address the question to what extent polyhedral knowledge about
individual knapsack constraints suffices or lacks to describe the convex hull of
the binary solutions to their intersection. It turns out that the sign patterns of the
weight vectors are responsible for the types of combinatorial valid inequalities
appearing in the description of the convex hull of the intersection. In partic-
ular, we introduce the notion of an incomplete set inequality which is based
on a combinatorial principle for the intersection of two knapsacks. We outline
schemes to compute nontrivial bounds for the strength of such inequalities w.r.t.
the intersection of the convex hulls of the initial knapsacks. An extension of the
inequalities to the mixed case is also given. This opens up the possibility to use
the inequalities in an arbitrary simplex tableau.ADONE
New computer-based search strategies for extreme functions of the Gomory--Johnson infinite group problem
We describe new computer-based search strategies for extreme functions for
the Gomory--Johnson infinite group problem. They lead to the discovery of new
extreme functions, whose existence settles several open questions.Comment: 54 pages, many figure
Decomposition Methods for Nonlinear Optimization and Data Mining
We focus on two central themes in this dissertation. The first one is on
decomposing polytopes and polynomials in ways that allow us to perform
nonlinear optimization. We start off by explaining important results on
decomposing a polytope into special polyhedra. We use these decompositions and
develop methods for computing a special class of integrals exactly. Namely, we
are interested in computing the exact value of integrals of polynomial
functions over convex polyhedra. We present prior work and new extensions of
the integration algorithms. Every integration method we present requires that
the polynomial has a special form. We explore two special polynomial
decomposition algorithms that are useful for integrating polynomial functions.
Both polynomial decompositions have strengths and weaknesses, and we experiment
with how to practically use them.
After developing practical algorithms and efficient software tools for
integrating a polynomial over a polytope, we focus on the problem of maximizing
a polynomial function over the continuous domain of a polytope. This
maximization problem is NP-hard, but we develop approximation methods that run
in polynomial time when the dimension is fixed. Moreover, our algorithm for
approximating the maximum of a polynomial over a polytope is related to
integrating the polynomial over the polytope. We show how the integration
methods can be used for optimization.
The second central topic in this dissertation is on problems in data science.
We first consider a heuristic for mixed-integer linear optimization. We show
how many practical mixed-integer linear have a special substructure containing
set partition constraints. We then describe a nice data structure for finding
feasible zero-one integer solutions to systems of set partition constraints.
Finally, we end with an applied project using data science methods in medical
research.Comment: PHD Thesis of Brandon Dutr
- …