Abstract
We view mixed integer/linear problem formulation as a process of identifying disjunctive and knapsack constraints in a problem and converting them to mixed integer form. We show through a series of examples that following this process can yield mixed integer models that automatically incorporate some of the modeling devices that have been discovered over the years for making the formulation tighter. In one case it substantially improves on the generally accepted model. We provide a theoretical basis for the process by generalizing Jeroslow’s mixed integer representability theorem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aardal K (1998) Reformulation of capacitated facility location problems: How redundant information can help. Annals of Operations Research 82:289-309
Beaumont N (1990) An algorithm for disjunctive programs. European Journal of Operational Research 48:362-371
Hooker JN (2007) Integrated Methods for Optimization. Springer, New York
Jeroslow RG (1987) Representability in mixed integer programming, I: Characterization results. Discrete Applied Mathematics 17:223-243
Jeroslow RG (1989) Logic-Based Decision Support: Mixed Integer Model Formulation. Annals of Discrete Mathematics, North-Holland
Trick M (2005) Formulations and reformulations in integer programming. In: Barták R, Milano M (eds) Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2005), Springer, Lecture Notes in Computer Science, vol 3524, pp 366-379
Williams HP (1999) Model Building in Mathematical Programming, 4th Ed. Wiley, New York
Williams HP (to appear) Logic and Integer Programming. Springer
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this paper
Cite this paper
Hooker, J.N. (2009). A Principled Approach to Mixed Integer/Linear Problem Formulation. In: Chinneck, J.W., Kristjansson, B., Saltzman, M.J. (eds) Operations Research and Cyber-Infrastructure. Operations Research/Computer Science Interfaces, vol 47. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-88843-9_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-88843-9_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-88842-2
Online ISBN: 978-0-387-88843-9
eBook Packages: Computer ScienceComputer Science (R0)