Linear Programming and its Applications

Transcription

1 Linear Programming and its Applications

2 H. A. Eiselt C.-L. Sandblom Linear Programming and its Applications With 71 Figures and 36 Tables 123

3 Prof. Dr. H. A. Eiselt University of New Brunswick Faculty of Business Administration P.O. Box 4400 Fredericton, NB E3B 5A3 Canada Prof. Dr. C.-L. Sandblom Dalhousie University Department of Industrial Engineering P.O. Box 1000 Halifax, NS B3J 2X4 Canada Library of Congress Control Number: ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2007 The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Production: LE-TEXJelonek, Schmidt &Vöckler GbR, Leipzig Cover-design: WMX Design GmbH, Heidelberg SPIN /3180YL Printed on acid-free paper

4 A problem well stated is a problem half solved. Charles Franklin Kettering

5 PREFACE Based on earlier work by a variety of authors in the 1930s and 1940s, the simplex method for solving linear programming problems was developed in 1947 by the American mathematician George B. Dantzig. Helped by the computer revolution, it has been described by some as the overwhelmingly most significant mathematical development of the last century. Owing to the simplex method, linear programming (or linear optimization, as some would have it) is pervasive in modern society for the planning and control of activities that are constrained by the availability of resources such as manpower, raw materials, budgets, and time. The purpose of this book is to describe the field of linear programming. While we aim to be reasonably complete in our treatment, we have given emphasis to the modeling aspects of the field. Accordingly, a number of applications are provided, where we guide the reader through the interactive process of mathematically modeling a particular practical situation, analyzing the consequences of the model formulated, and then revising the model in light of the results from the analysis. Closely related to the issue of building models based on specific applications is the art of reformulating problems. Some of these models may at first appear not to be amenable to a linear representation, and we devote an entire chapter to this topic. A properly balanced treatment of linear programming will necessarily require a full discussion of both duality and postoptimality, and we dedicate one chapter to each of these two topics. As far as solution methods are concerned, we cover the simplex method as well as interior point techniques. During the last two decades, the latter have become serious challengers to the simplex method for solving large scale practical problems. This book can be seen as the last part of a trilogy. The other two volumes have already appeared in print. "Integer Programming and Network Models" was published in 2000, and "Decision Analysis, Location Models, and Scheduling Problems" saw the light of day in All three volumes are similar in style, emphasizing models, applications and formulations/reformulations. We have also given detailed numerical illustrations for all algorithms presented, and have relied, whenever practical, on intuitive approaches. An interesting aspect is the longevity of a book like the present volume. It appears that descriptions of models keep their freshness longer than discussions of algorithms, and that references to computational aspects quickly become outdated. A statement from 1824 gives a poignant reminder of how short the life of a book may be:

6 VIII Preface One thousand books are published per annum in Great Britain... only do one hundred bring good profit... seven hundred are forgotten in one year, one hundred in two years,... not more than fifty survive seven years, and scarcely ten are thought of after twenty years. Of the 50,000 books published in the seventeenth century, not fifty are now in estimation; and of the 80,000 published in the eighteenth century not more than three hundred are considered worth reprinting, and not more than five hundred are sought after Since the first writings fourteen hundred years before Christ, i.e., in thirty-two centuries, only about five hundred works of writers of all nations have sustained themselves against the devouring influence of time. (Collections, Historical and Miscellaneous; and Monthly Literary Journal: edited by J. Farmer and J.B. Moore, Vol III, Concord 1824) It is our pleasure to thank all of the people who have, in one way or another, helped to make this book a reality. Some of the typing was done by #13 (Benbin Zhang) and the figures were produced by Dong Lin. Last, but certainly not least, our sincere thanks go to Dr. Müller of Springer Publishers, whose gentle reminders kept us on track and more or less on time. We are very grateful for the assistance. H.A. Eiselt C.-L. Sandblom

7 CONTENTS Symbols XIII A. Linear Algebra 1 A.1 Matrix Algebra 1 A.2 Systems of Simultaneous Linear Equations 5 A.3 Convexity 23 B. Computational Complexity 31 B.1 Algorithms and Time Complexity Functions 31 B.2 Examples of Time Complexity Functions 37 B.3 Classes of Problems and Their Relations Introduction A Short History of Linear Programming Assumptions and the Main Components of Linear Programming Problems The Modeling Process The Three Phases in Optimization Solving the Model and Interpreting the Printout Applications The Diet Problem Allocation Problems Cutting Stock Problems Employee Scheduling Data Envelopment Analysis Inventory Planning Blending Problems Transportation Problems Assignment Problems A Production Inventory Model: A Case Study 107

8 X Contents 3. The Simplex Method Graphical Concepts The Graphical Solution Technique Four Special Cases Algebraic Concepts The Algebraic Solution Technique Four Special Cases Revisited Duality The Fundamental Theory of Duality Primal-Dual Relations Interpretations of the Dual Problem Extensions of the Simplex Method The Dual Simplex Method The Upper Bounding Technique Column Generation Postoptimality Analyses Graphical Sensitivity Analysis Changes of the Right-Hand Side Values Changes of the Objective Function Coefficients Sensitivity Analyses in the Presence of Degeneracy Addition of a Constraint Economic Analysis of an Optimal Solution Non-Simplex Based Solution Methods Alternatives to the Simplex Method Interior Point Methods Problem Reformulations Reformulations of Variables Lower Bounding Constraints Variables Unrestricted in Sign Reformulations of Constraints Reformulations of the Objective Function Minimize the Weighted Sum of Absolute Values Bottleneck Problems Minimax and Maximin Problems Fractional (Hyperbolic) Programming 320

9 Contents XI 9. Multiobjective Programming Vector Optimization Models with Exogenous Tradeoffs Between Objectives The Weighting Method The Constraint Method Models with Exogenous Achievement Levels Reference Point Programming Fuzzy Programming Goal Programming Bilevel Programming 359 References 363 Subject Index 377

10 SYMBOLS This part introduces the reader to some of the support methodology used in this book. We have made every possible attempt to keep the exposition as brief and concise as possible. Readers who are interested in more in-depth coverage are referred to the pertinent literature. Notation ù = {1, 2,...}: Set of natural numbers ù 0 = {0, 1, 2,...}: Set of natural numbers including zero ú: Set of real numbers ú + : Set of nonnegative real numbers ú n : n-dimensional real space : Element of : Subset : Proper subset : Union of sets : Intersection of sets : Empty set : Implies : There exists at least one : For all S : Cardinality of the set S inf: infimum sup: supremum

11 XIV Symbols x [a, b]: a x b x [a, b[: a x < b x ]a, b]: a < x b x ]a, b[: a < x < b x : Ceiling of x, the smallest integer greater or equal to x x : Floor of x, the largest integer smaller or equal to x x : Absolute value of x a:= a + b: Valuation, a is replaced by a + b f ( x) : partial derivative of the function f(x) with respect to x x