The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs
Santanu S. Dey, Andres Iroume, Guanyi Wang

TL;DR
This paper investigates the effectiveness of aggregation cuts for sign-pattern integer programs, showing that single-row aggregation approximates the aggregation closure well, but multi-row aggregation can outperform multi-row closures significantly.
Contribution
It extends the understanding of aggregation cuts from packing IPs to sign-pattern IPs, highlighting the limitations and strengths of single-row versus multi-row aggregation.
Findings
Aggregation closure for sign-pattern IPs can be 2-approximated by the 1-row closure.
Multi-row aggregation closure cannot be well approximated by the original multi-row closure.
Aggregated multi-row cutting planes can outperform multiple original constraint cuts.
Abstract
In this paper, we study the strength of aggregation cuts for sign-pattern integer programs (IPs). Sign-pattern IPs are a generalization of packing IPs and are of the form where for a given column , is either non-negative for all or non-positive for all . Our first result is that the aggregation closure for such sign-pattern IPs can be 2-approximated by the original 1-row closure. This generalizes a result for packing IPs. On the other hand, unlike in the case of packing IPs, we show that the multi-row aggregation closure cannot be well approximated by the original multi-row closure. Therefore for these classes of integer programs general aggregated multi-row cutting planes can perform significantly better than just looking at cuts from multiple original constraints.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Optimization and Search Problems · Advanced Graph Theory Research
