High-multiplicity N-fold IP via configuration LP

Dušan Knop, Martin Koutecký, Asaf Levin, Matthias Mnich, Shmuel Onn

Research output: Contribution to journalArticlepeer-review

Abstract

N-fold integer programs (IPs) form an important class of block-structured IPs for which increasingly fast algorithms have recently been developed and successfully applied. We study high-multiplicityN-fold IPs, which encode IPs succinctly by presenting a description of each block type and a vector of block multiplicities. Our goal is to design algorithms which solve N-fold IPs in time polynomial in the size of the succinct encoding, which may be significantly smaller than the size of the explicit (non-succinct) instance. We present the first fixed-parameter algorithm for high-multiplicity N-fold IPs, which even works for convex objectives. Our key contribution is a novel proximity theorem which relates fractional and integer optima of the Configuration LP, a fundamental notion by Gilmore and Gomory [Oper. Res., 1961] which we generalize. Our algorithm for N-fold IP is faster than previous algorithms whenever the number of blocks is much larger than the number of block types, such as in N-fold IP models for various scheduling problems.

Original languageEnglish
Pages (from-to)199-227
Number of pages29
JournalMathematical Programming
Volume200
Issue number1
DOIs
StatePublished - Jun 2023

Keywords

  • Configuration IP
  • Fixed-parameter algorithms
  • Integer programming
  • Scheduling

All Science Journal Classification (ASJC) codes

  • Software
  • General Mathematics

Fingerprint

Dive into the research topics of 'High-multiplicity N-fold IP via configuration LP'. Together they form a unique fingerprint.

Cite this