Learning to Cut Generation in Branch-and-Cut algorithms for Combinatorial Optimization
Báo cáo viên: Nguyễn Việt Hưng
Thời gian: 9h15-10h15 sáng Thứ 3, ngày 12/08/2025
Địa điểm: Phòng 507 nhà A6
Tóm tắt: Branch-and-cut is one of the most successful methods to exactly solve combinatorial optimization problems. A key decision problem in branch-and-cut is cut generation–the problem of deciding whether to generate cuts or to branch at each node of the search tree. This decision significantly impacts performance: generating efficient cuts can remove a substantial portion of the infeasible region and reduce tree size. However, in many cases, generating cuts slows runtime as separation routines could be time-consuming, and the violated cuts found by these routines could be inefficient. Hence, a smart strategy for generating cuts is crucial for the efficiency of branch-and-cut algorithms. There are two main types of cuts: generic cuts derived from the integrality of variables and combinatorial cuts based on the facial structure of the convex hull of feasible solutions. Combinatorial cuts are particularly determinant in branch-and-cut for many NP-hard combinatorial optimization problems, e.g., the Traveling Salesman Problem, the Max-Cut problem, etc. This talk is about our recent work where we propose a framework combining supervised learning and deep reinforcement learning to learn strategies for generating combinatorial cuts in branch-and-cut. Our framework contains two components: a cut detector to predict the cut existence and a cut evaluator to choose between generating cuts and branching. We conduct experiments on two well-known combinatorial cut classes: subtour elimination constraints for the Traveling Salesman problem and cycle inequalities for the Max-Cut problem. Our results show that the proposed framework outperforms the commonly used strategies for cut generation, even on instances larger than those used for training.
Các seminar cùng chủ đề
- Superconcentration in Some Models of Statistical Physics (Tính siêu tập trung của một số mô hình trong vật lý thống kê)
- Moments and logarithmic intermittency of the Critical 2D Stochastic Heat Flow
- On the proof of Gaussian Product Inequality
- Lyapunov exponents for the simple random walk in random potentials
- On the Geometry of Separation in Finite Gaussian Mixtures
- Convergence Rates for Latent Mixing Measures in Infinite Homoscedastic Location-Scale Mixture Models
- Fluctuation of the mangetization and maximum likelihood estimator in mean field spin models
- Edgeworth expansion on Wiener chaos
- On the stability for the convergence in law of polynomial chaoses
- On critical points and zeros of iterated derivatives of random polynomials
Tin tức nổi bật
Xem tất cảHội thảo sắp diễn ra
Xem tất cảXuất bản mới
Xem tất cảBài giảng viện
Xem tất cảNgười báo cáo: Claude Sabbah (CNRS, École Polytechnique, Institut Polytechnique de Paris, France)