Journal Article10.48550/arxiv.2310.19920
Solving a Class of Cut-Generating Linear Programs via Machine Learning
TL;DR: A novel framework based on machine learning to approximate the optimal value of a CGLP class that determines whether a cutting plane can be generated at a node of the branch-and-bound tree is proposed and results suggest that the approximate CGLP obtained from classification can improve the solution time compared with that of conventional cutting plane methods.
read more
Abstract: Cut-generating linear programs (CGLPs) play a key role as a separation oracle to produce valid inequalities for the feasible region of mixed-integer programs. When incorporated inside branch-and-bound, the cutting planes obtained from CGLPs help to tighten relaxations and improve dual bounds. However, running the CGLPs at the nodes of the branch-and-bound tree is computationally cumbersome due to the large number of node candidates and the lack of a priori knowledge on which nodes admit useful cutting planes. As a result, CGLPs are often avoided at default settings of branch-and-cut algorithms despite their potential impact on improving dual bounds. In this paper, we propose a novel framework based on machine learning to approximate the optimal value of a CGLP class that determines whether a cutting plane can be generated at a node of the branch-and-bound tree. Translating the CGLP as an indicator function of the objective function vector, we show that it can be approximated through conventional data classification techniques. We provide a systematic procedure to efficiently generate training data sets for the corresponding classification problem based on the CGLP structure. We conduct computational experiments on benchmark instances using classification methods such as logistic regression. These results suggest that the approximate CGLP obtained from classification can improve the solution time compared with that of conventional cutting plane methods. Our proposed framework can be efficiently applied to a large number of nodes in the branch-and-bound tree to identify the best candidates for adding a cut. History: Accepted by Andrea Lodi, Area Editor/Design & Analysis of Algorithms — Discrete. Supplemental Material: The e-companion is available at https://doi.org/10.1287/ijoc.2022.0241 .
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Figures

Figure 1 The CGLP projection cone and its polar cone. 
Table 15 Comparison of the ML approach for different consistency ranks for MIPLIB problems 
Table 7 Classification results for the Support Vector Machine with kernel=linear and regularization parameter C = 0.4 
Figure 2 Classification of class-0 and class-1 with respect to the polar of the projection cone. 
Table 6 Classification results for the Logistic Regression with solver=liblinear, inverse of regularization strength C = 1, and probability P = 0.5 
Figure 3 Sensitivity analysis results for redundancy ratio
References
A new polynomial-time algorithm for linear programming
Narendra Karmarkar
- 01 Dec 1984
TL;DR: The algorithm consists of repeated application of such projective transformations each followed by optimization over an inscribed sphere to create a sequence of points which converges to the optimal solution in polynomial-time.
Disjunctive programming and a hierarchy of relaxations for discrete optimization problems
TL;DR: A new conceptual framework for the convexification of discrete optimization problems, and a general technique for obtaining approximations to the conveX hull of the feasible set is discussed.
462
A hierarchy of relaxations and convex hull characterizations for mixed-integer zero-one programming problems
Hanif D. Sherali,Warren P. Adams +1 more
TL;DR: This paper proposes a technique which first converts the problem into a nonlinear, polynomial mixed-integer zero-one problem by multiplying the constraints with some suitable d-degree polynometric factors involving the n binary variables, and subsequently linearizes the resulting problem through appropriate variable transformations.
411
Chapter 3 – Constraint Propagation
Christian Bessiere
- 01 Jan 2006
TL;DR: The chapter examines that constraint propagation embeds any reasoning, which consists in explicitly forbidding values or combinations of values for some variables of a problem, because a given subset of its constraints cannot be satisfied otherwise.
•Book
Integer Programming
Michele Conforti,Gérard Cornuéjols,Giacomo Zambelli +2 more
- 16 Nov 2014
TL;DR: In this paper, the authors present an elegant and rigorous presentation of integer programming, exposing the subjects mathematical depth and broad applicability, and special attention is given to the theory behind the algorithms used in state-of-the-art solvers.
276