Pith. sign in

REVIEW 1 cited by

Learning Cut Generating Functions for Integer Programming

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2405.13992 v1 pith:HRLCKGHX submitted 2024-05-22 math.OC cs.LG

classification math.OCcs.LG
keywords cuttingplanesbranch-and-cutintegerprogramminggeneratingselectionalgorithm
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

The branch-and-cut algorithm is the method of choice to solve large scale integer programming problems in practice. A key ingredient of branch-and-cut is the use of cutting planes which are derived constraints that reduce the search space for an optimal solution. Selecting effective cutting planes to produce small branch-and-cut trees is a critical challenge in the branch-and-cut algorithm. Recent advances have employed a data-driven approach to select optimal cutting planes from a parameterized family, aimed at reducing the branch-and-bound tree size (in expectation) for a given distribution of integer programming instances. We extend this idea to the selection of the best cut generating function (CGF), which is a tool in the integer programming literature for generating a wide variety of cutting planes that generalize the well-known Gomory Mixed-Integer (GMI) cutting planes. We provide rigorous sample complexity bounds for the selection of an effective CGF from certain parameterized families that provably performs well for any specified distribution on the problem instances. Our empirical results show that the selected CGF can outperform the GMI cuts for certain distributions. Additionally, we explore the sample complexity of using neural networks for instance-dependent CGF selection.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Approximating the Gomory Mixed-Integer Cut Closure Using Historical Data

    math.OC 2024-11 conditional novelty 7.0 of 10

    For MILP families with a fixed constraint matrix and lattice-valued right-hand-sides, a finite set of aggregation multipliers yields the Gomory mixed-integer cut closure for all instances, motivating a data-driven cut...

Pith tools