4,999 research outputs found
Stabilized Benders methods for large-scale combinatorial optimization, with appllication to data privacy
The Cell Suppression Problem (CSP) is a challenging Mixed-Integer Linear Problem arising in statistical tabular data protection. Medium sized instances of CSP involve thousands of binary variables and million of continuous variables and constraints. However, CSP has the typical
structure that allows application of the renowned Benders’ decomposition method: once the “complicating” binary variables are fixed, the problem decomposes into a large set of linear subproblems on the “easy” continuous ones. This allows to project away the easy variables, reducing to a master problem in the complicating ones where the value functions of the subproblems are approximated with the standard cutting-plane approach. Hence, Benders’ decomposition suffers from the same drawbacks of the cutting-plane method, i.e., oscillation and slow convergence, compounded with the fact that the master problem is combinatorial. To overcome this drawback we present a stabilized Benders decomposition whose master is restricted to a neighborhood of successful candidates by local branching constraints, which are dynamically adjusted, and even dropped, during the iterations. Our experiments with randomly generated and real-world CSP instances with up to 3600 binary variables, 90M continuous variables and 15M inequality constraints show that our approach is competitive with both the current state-of-the-art (cutting-plane-based) code for cell suppression, and the Benders implementation in CPLEX 12.7. In some instances, stabilized Benders is able to quickly provide a very good solution in less than one minute, while the other approaches were not able to find any feasible solution in one hour.Peer ReviewedPreprin
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
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
Basic Polyhedral Theory
This is a chapter (planned to appear in Wiley's upcoming Encyclopedia of
Operations Research and Management Science) describing parts of the theory of
convex polyhedra that are particularly important for optimization. The topics
include polyhedral and finitely generated cones, the Weyl-Minkowski Theorem,
faces of polyhedra, projections of polyhedra, integral polyhedra, total dual
integrality, and total unimodularity.Comment: 14 page
- …