A Difference-of-Convex Cutting Plane Algorithm for Mixed-Binary Linear Program

03/01/2021
by   Yi-Shuai Niu, et al.
0

In this paper, we propose a cutting plane algorithm based on DC (Difference-of-Convex) programming and DC cut for globally solving Mixed-Binary Linear Program (MBLP). We first use a classical DC programming formulation via the exact penalization to formulate MBLP as a DC program, which can be solved by DCA algorithm. Then, we focus on the construction of DC cuts, which serves either as a local cut (namely type-I DC cut) at feasible local minimizer of MBLP, or as a global cut (namely type-II DC cut) at infeasible local minimizer of MBLP if some particular assumptions are verified. Otherwise, the constructibility of DC cut is still unclear, and we propose to use classical global cuts (such as the Lift-and-Project cut) instead. Combining DC cut and classical global cuts, a cutting plane algorithm, namely DCCUT, is established for globally solving MBLP. The convergence theorem of DCCUT is proved. Restarting DCA in DCCUT helps to quickly update the upper bound solution and to introduce more DC cuts for lower bound improvement. A variant of DCCUT by introducing more classical global cuts in each iteration is proposed, and parallel versions of DCCUT and its variant are also designed which use the power of multiple processors for better performance. Numerical simulations of DCCUT type algorithms comparing with the classical cutting plane algorithm using Lift-and-Project cuts are reported. Tests on some specific samples and the MIPLIB 2017 benchmark dataset demonstrate the benefits of DC cut and good performance of DCCUT algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/20/2022

On the convergence analysis of DCA

In this paper, we propose a clean and general proof framework to establi...
research
05/20/2023

Accelerated DC Algorithms for the Asymmetric Eigenvalue Complementarity Problem

We are interested in solving the Asymmetric Eigenvalue Complementarity P...
research
07/11/2022

On SOCP-based disjunctive cuts for solving a class of integer bilevel nonlinear programs

We study a class of integer bilevel programs with second-order cone cons...
research
01/22/2023

An Accelerated DC Programming Approach with Exact Line Search for The Symmetric Eigenvalue Complementarity Problem

In this paper, we are interested in developing an accelerated Difference...
research
02/13/2019

Sentence Compression via DC Programming Approach

Sentence compression is an important problem in natural language process...
research
06/09/2020

A program for the full axiom of choice

The theory of classical realizability is a framework for the Curry-Howar...
research
07/09/2018

Cut-off Theorems for the PV-model

We prove cut-off results for deadlocks and serializability of a PV-threa...

Please sign up or login with your details

Forgot password? Click here to reset