Tightness of sensitivity and proximity bounds for integer linear programs

From MaRDI portal
Publication:831833

DOI10.1007/978-3-030-67731-2_25zbMATH Open1492.90089arXiv2010.09255OpenAlexW3126375186MaRDI QIDQ831833FDOQ831833


Authors: Sebastian Berndt, Klaus Jansen, Alexandra Lassota Edit this on Wikidata


Publication date: 24 March 2022

Abstract: We consider ILPs, where each variable corresponds to an integral point within a polytope mathcalP, i. e., ILPs of the form mincopxmidsumpinmathcalPcapmathbbZdxpp=b,xinmathbbZge0|mathcalPcapmathbbZd|. The distance between an optimal fractional solution and an optimal integral solution (called proximity) is an important measure. A classical result by Cook et al.~(Math. Program., 1986) shows that it is at most DeltaTheta(d) where Delta is the largest coefficient in the constraint matrix. Another important measure studies the change in an optimal solution if the right-hand side b is replaced by another right-hand side b. The distance between an optimal solution x w.r.t.~b and an optimal solution x w.r.t.~b (called sensitivity) is similarly bounded, i. e., lVertbbVert1cdotDeltaTheta(d), also shown by Cook et al. Even after more than thirty years, these bounds are essentially the best known bounds for these measures. While some lower bounds are known for these measures, they either only work for very small values of Delta, require negative entries in the constraint matrix, or have fractional right-hand sides. Hence, these lower bounds often do not correspond to instances from algorithmic problems. This work presents for each Delta>0 and each d>0 ILPs of the above type with non-negative constraint matrices such that their proximity and sensitivity is at least DeltaTheta(d). Furthermore, these instances are closely related to instances of the Bin Packing problem as they form a subset of columns of the configuration ILP. We thereby show that the results of Cook et al. are indeed tight, even for instances arising naturally from problems in combinatorial optimization.


Full work available at URL: https://arxiv.org/abs/2010.09255




Recommendations




Cites Work


Cited In (14)





This page was built for publication: Tightness of sensitivity and proximity bounds for integer linear programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831833)