Applied Integer Programming: Modeling and Solution
In order to fully comprehend the algorithms associated with integer programming, it is important to understand not only how algorithms work, but also why they work. Applied Integer Programming features a unique emphasis on this point, focusing on problem modeling and solution using commercial software. Taking an application-oriented approach, this book addresses the art and science of mathematical modeling related to the mixed integer programming (MIP) framework and discusses the algorithms and associated practices that enable those models to be solved most efficiently.
The book begins with coverage of successful applications, systematic modeling procedures, typical model types, transformation of non-MIP models, combinatorial optimization problem models, and automatic preprocessing to obtain a better formulation. Subsequent chapters present algebraic and geometric basic concepts of linear programming theory and network flows needed for understanding integer programming. Finally, the book concludes with classical and modern solution approaches as well as the key components for building an integrated software system capable of solving large-scale integer programming and combinatorial optimization problems.
Throughout the book, the authors demonstrate essential concepts through numerous examples and figures. Each new concept or algorithm is accompanied by a numerical example, and, where applicable, graphics are used to draw together diverse problems or approaches into a unified whole. In addition, features of solution approaches found in today's commercial software are identified throughout the book.
Thoroughly classroom-tested, Applied Integer Programming is an excellent book for integer programming courses at the upper-undergraduate and graduate levels. It also serves as a well-organized reference for professionals, software developers, and analysts who work in the fields of applied mathematics, computer science, operations research, management science, and engineering and use integer-programming techniques to model and solve real-world optimization problems.
PART I MODELING.
1.1 Integer Programming.
1.2 Standard Versus Nonstandard Forms.
1.3 Combinatorial Optimization Problems.
1.4 Successful Integer Programming Applications.
1.5 Text Organization and Chapter Preview.
2 Modeling and Models.
2.1 Assumptions on Mixed Integer Programs.
2.2 Modeling Process.
2.3 Project Selection Problems.
2.4 Production Planning Problems.
2.5 Workforce/Staff Scheduling Problems.
2.6 Fixed-Charge Transportation and Distribution Problems.
2.7 Multicommodity Network Flow Problem.
2.8 Network Optimization Problems with Side Constraints.
2.9 Supply Chain Planning Problems.
3 Transformation Using 0–1 Variables.
3.1 Transform Logical (Boolean) Expressions.
3.2 Transform Nonbinary to 0–1 Variable.
3.3 Transform Piecewise Linear Functions.
3.4 Transform 0–1 Polynomial Functions.
3.5 Transform Functions with Products of Binary and Continuous Variables: Bundle Pricing Problem.
3.6 Transform Nonsimultaneous Constraints.
4 Better Formulation by Preprocessing.
4.1 Better Formulation.
4.2 Automatic Problem Preprocessing.
4.3 Tightening Bounds on Variables.
4.4 Preprocessing Pure 0–1 Integer Programs.
4.5 Decomposing a Problem into Independent Subproblems.
4.6 Scaling the Coefficient Matrix.
5 Modeling Combinatorial Optimization Problems I.
5.2 Set Covering and Set Partitioning.
5.3 Matching Problem.
5.4 Cutting Stock Problem.
5.5 Comparisons for Above Problems.
5.6 Computational Complexity of COP.
6 Modeling Combinatorial Optimization Problems II.
6.1 Importance of Traveling Salesman Problem.
6.2 Transformations to Traveling Salesman Problem.
6.3 Applications of TSP.
6.4 Formulating Asymmetric TSP.
6.5 Formulating Symmetric TSP.
PART II REVIEW OF LINEAR PROGRAMMING AND NETWORK FLOWS.
7 Linear Programming—Fundamentals.
7.1 Review of Basic Linear Algebra.
7.2 Uses of Elementary Row Operations.
7.3 The Dual Linear Program.
7.4 Relationships Between Primal and Dual Solutions.
8 Linear Programming: Geometric Concepts.
8.1 Geometric Solution.
8.2 Convex Sets.
8.3 Describing a Bounded Polyhedron.
8.4 Describing Unbounded Polyhedron.
8.5 Faces, Facets, and Dimension of a Polyhedron.
8.6 Describing a Polyhedron by Facets.
8.7 Correspondence Between Algebraic and Geometric Terms.
9 Linear Programming: Solution Methods.
9.1 Linear Programs in Canonical Form.
9.2 Basic Feasible Solutions and Reduced Costs.
9.3 The Simplex Method.
9.4 Interpreting the Simplex Tableau.
9.5 Geometric Interpretation of the Simplex Method.
9.6 The Simplex Method for Upper Bounded Variables.
9.7 The Dual Simplex Method.
9.8 The Revised Simplex Method.
10 Network Optimization Problems and Solutions.
10.1 Network Fundamentals.
10.2 A Class of Easy Network Problems.
10.3 Totally Unimodular Matrices.
10.4 The Network Simplex Method.
10.5 Solution via LINGO.
PART III SOLUTIONS.
11 Classical Solution Approaches.
11.1 Branch-and-Bound Approach.
11.2 Cutting Plane Approach.
11.3 Group Theoretic Approach.
11.4 Geometric Concepts.
12 Branch-and-Cut Approach.
12.2 Valid Inequalities.
12.3 Cut Generating Techniques.
12.4 Cuts Generated from Sets Involving Pure Integer Variables.
12.5 Cuts Generated from Sets Involving Mixed Integer Variables.
12.6 Cuts Generated from 0–1 Knapsack Sets.
12.7 Cuts Generated from Sets Containing 0–1 Coefficients and 0–1 Variables.
12.8 Cuts Generated from Sets with Special Structures.
13 Branch-and-Price Approach.
13.1 Concepts of Branch-and-Price.
13.2 Dantzig–Wolfe Decomposition.
13.3 Generalized Assignment Problem.
13.4 GAP Example.
13.5 Other Application Areas.
14 Solution via Heuristics, Relaxations, and Partitioning.
14.2 Overall Solution Strategy.
14.3 Primal Solution via Heuristics.
14.4 Dual Solution via Relaxation.
14.5 Lagrangian Dual.
14.6 Primal–Dual Solution via Benders’ Partitioning.
15 Solutions with Commercial Software.
15.2 Typical IP Software Components.
15.3 The AMPL Modeling Language.
15.4 LINGO Modeling Language.
15.5 MPL Modeling Language.
APPENDIX: ANSWERS TO SELECTED EXERCISES.
Robert G. Batson, PhD, PE, is Professor of Construction Engineering at The University of Alabama, where he is also Director of Industrial Engineering Programs. A Fellow of the American Society for Quality Control, Dr. Batson has written numerous journal articles in his areas of research interest, which include operations research, applied statistics, and supply chain management.
Yu Dang, PhD, is Qualitative Manufacturing Analyst at Quickparts.com, a manufacturing services company that provides customers with an online e-commerce system to procure custom manufactured parts. She received her PhD in operations management from The University of Alabama in 2004.
Thoroughly classroom-tested over the past two years, this book integrates problem solving, theory, and algorithms with insights into professional practice using commercial software.
This easy-to-read book narrows the gap between academia and industry in an effort to better prepare students and professionals for integer programming as it is used in the current working environment.
The book makes liberal use of examples and flowcharts. Each new concept or algorithm is illustrated by a numerical example, and each chapter contains 3-5 figures, such as flowcharts or simple geometric drawings, to illustrate the concepts in the text.
Modeling is emphasized because the insertion of integer variables in a linear program enables much more rich and realistic representations of decision situations.
"The book is intended as a textbook for an application oriented course for senior undergraduate or postgraduate students, mainly with an engineering, business school, or applied mathematics background. Each chapter comes with several exercises, solutions of which are provided in an appendix. Many figures illustrate the flow of algorithms and other concepts." (Zentralblatt MATH, 2010)