Abstract
We derive a new family of integer programming (IP) Farkas’ lemmas based on superadditive duality. We construct a certificate of infeasibility for an IP as a function of its right-hand side. We develop a recursive approach to compute such a function.
Similar content being viewed by others
References
Blair, C.E., Jeroslow, R.G.: The value function of an integer program. Math. Program. 23(1), 237–273 (1982)
Carøe, C.C., Tind, J.: L-shaped decomposition of two-stage stochastic programs with integer recourse. Math. Program. 83(1–3), 451–464 (1998)
Dawande, M.W., Hooker, J.N.: Inference-based sensitivity analysis for mixed integer/linear programming. Oper. Res. 48(4), 623–634 (2000)
Edmonds, J., Giles, R.: A min-max relation for submodular functions on graphs. In: Hammer, P.L., Johnson, E.L., Korte, B.H., Nemhauser, G.L. (eds). Studies in Integer Programming, Annals of Discrete Mathematics, vol. 1, pp. 185–204. Elsevier, Amsterdam (1977)
Farkas, G.: On the applications of the mechanical principle of Fourier. Math. Termtud. Ért. 12, 457–472 (1894)
Gilmore, P.C., Gomory, R.E.: The theory and computation of knapsack functions. Oper. Res. 14(6), 1045–1074 (1966)
Köppe, M., Weismantel, R.: Cutting planes from a mixed integer Farkas lemma. Oper. Res. Lett. 32(3), 207–211 (2004)
Lasserre, J.B.: A discrete Farkas lemma. Discret. Optim. 1(1), 67–75 (2004)
Trapp, A.C., Prokopyev, O.A., Schaefer, A.J.: On a level-set characterization of the value function of an integer program and its application to stochastic programming. Oper. Res. 61(2), 498–511 (2013)
Wolsey, L.A.: Integer programming duality: price functions and sensitivity analysis. Math. Program. 20(1), 173–195 (1981)
Acknowledgments
This paper was supported by National Science Foundation Grants CMMI-1100082, CMMI-1333758, and CMMI-1400009.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dehghanian, A., Schaefer, A.J. Superadditive characterizations of pure integer programming feasibility. Optim Lett 10, 181–188 (2016). https://doi.org/10.1007/s11590-015-0885-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11590-015-0885-4