handbook on modelling for discrete optimization978-0-387-32942-0/1.pdf · continuous approaches for...
TRANSCRIPT
HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
Recent titles in the INTERNATIONAL SERIES IN OPERATIONS RESEARCH & MANAGEMENT SCIENCE
Frederick S. Hillier, Series Editor, Stanford University
Maros/ COMPUTATIONAL TECHNIQUES OF THE SIMPLEX METHOD Harrison, Lee & Neale/ THE PRACTICE OF SUPPLY CHAIN MANAGEMENT: Where Theory and
Application Converge Shanthikumar, Yao & ZijnV STOCHASTIC MODELING AND OPTIMIZATION OF
MANUFACTURING SYSTEMS AND SUPPLY CHAINS Nabrzyski, Schopf & W?glarz/ GRID RESOURCE MANAGEMENT: State of the Art and Future
Trends Thissen & Herder/ CRITICAL INFRASTRUCTURES: State of the Art in Research and Application Carlsson, Fedrizzi, & Fuller/ FUZZY LOGIC IN MANAGEMENT
Soyer, Mazzuchi & Singpurwalla/ MATHEMATICAL RELIABILITY: An Expository Perspective Chakravarty & Eliashberg/ MANAGING BUSINESS INTERFACES: Marketing, Engineering, and
Manufacturing Perspectives Talluri & van Ryzin/ THE THEORY AND PRACTICE OF REVENUE MANAGEMENT Kavadias & Loch/PROJECT SELECTION UNDER UNCERTAINTY: Dynamically Allocating
Resources to Maximize Value Brandeau, Sainfort & Pierskalla/ OPERATIONS RESEARCH AND HEALTH CARE: A Handbook of
Methods and Applications Cooper, Seiford & Zhu/ HANDBOOK OF DATA ENVELOPMENT ANALYSIS: Models and
Methods Luenberger/ LINEAR AND NONLINEAR PROGRAMMING, 2'"^ Ed Sherbrooke/ OPTIMAL INVENTORY MODELING OF SYSTEMS: Multi-Echelon Techniques,
Second Edition Chu, Leung, Hui & Cheung/ 4th PARTY CYBER LOGISTICS FOR AIR CARGO Simchi-Levi, Wu & Sh^nl HANDBOOK OF QUANTITATfVE SUPPLY CHAIN ANALYSIS:
Modeling in the E-Business Era Gass & Assad/ AN ANNOTATED TIMELINE OF OPERATIONS RESEARCH: An Informal History Greenberg/ TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS IN
OPERATIONS RESEARCH Weber/ UNCERTAINTY IN THE ELECTRIC POWER INDUSTRY: Methods and Models for
Decision Support Figueira, Greco & Ehrgott/ MULTIPLE CRITERIA DECISION ANALYSIS: State of the Art
Surveys Reveliotis/ REAL-TIME MANAGEMENT OF RESOURCE ALLOCATIONS SYSTEMS: A Discrete
Event Systems Approach Kail & Mayer/ STOCHASTIC LINEAR PROGRAMMING: Models, Theory, and Computation Sethi, Yan & Zhang/ INVENTORY AND SUPPLY CHAIN MANAGEMENT WITH FORECAST
UPDATES Cox/ QUANTITATTVE HEALTH RISK ANALYSIS METHODS: Modeling the Human Health Impacts
of Antibiotics Used in Food Animals Ching & Ngf MARKOV CHAINS: Models, Algorithms and Applications Li & Sun/NONLINEAR INTEGER PROGRAMMING
Kaliszewski/ SOFT COMPUTING FOR COMPLEX MULTIPLE CRITERIA DECISIONMAKING Bouyssou et al/ EVALUATION AND DECISION MODELS WITH MULTIPLE CRITERIA:
Stepping stones for the analyst Blecker & Friedrich/ MASS CUSTOMIZATION: Challenges and Solutions
* A list of the early publications in the series is at the end of the book *
HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
Edited by
GAUTAM APPA Operational Research Department London School of Economics
LEONIDAS PITSOULIS Department of Mathematical and Physical Sciences Aristotle University of Thessaloniki
H.PAUL WILLIAMS Operational Research Department London School of Economics
Sprin ger
Gautam Appa Leonidas Pitsoulis London School of Economics Aristotle University of Thessaloniki United Kingdom Greece
H. Paul Williams London School of Economics United Kingdom
Library of Congress Control Number: 2006921850
ISBN-10: 0-387-32941-2 (HB) ISBN-10: 0-387-32942-0 (e-book)
ISBN-13: 978-0387-32941-3 (HB) ISBN-13: 978-0387-32942-0 (e-book)
Printed on acid-free paper.
© 2006 by Springer Science+Business Media, Inc. All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science + Business Media, Inc., 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now know or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks and similar terms, even if the are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
Printed in the United States of America.
9 8 7 6 5 4 3 2 1
springer.com
Contents
List of Figures ix
List of Tables xiii
Contributing Authors xv
Preface xix
Acknowledgments xxii
Part I Methods
1 The Formulation and Solution of Discrete Optimisation Models 3 H. Paul Williams
1. The Applicability of Discrete Optimisation 3 2. Integer Programming 4 3. The Uses of Integer Variables 5 4. The Modelling of Common Conditions 9 5. Reformulation Techniques 11 6. Solution Methods 22 References 36
2 Continuous Approaches for Solving Discrete Optimization Problems 39 Panos M Pardalos, Oleg A Prokopyev and Stanislav Busy gin
1. Introduction 39 2. Equivalence of Mixed Integer and Complementarity Problems 40 3. Continuous Formulations for 0-1 Programming Problems 42 4. The Maximum Clique and Related Problems 43 5. The Satisfiability Problem 48 6. The Steiner Problem in Graphs 51 7. Semidefinite Programming Approaches 52 8. Minimax Approaches 54 References 55
3 Logic-Based Modeling 61 John N Hooker
1. Solvers for Logic-Based Constraints 63 2. Good Formulations 64
vi HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
3. Prepositional Logic 69 4. Cardinality Formulas 77 5. 0-1 Linear Inequalities 83 6. Cardinality Rules 85 7. Mixing Logical and Continuous Variables 87 8. Additional Global Constraints 92 9. Conclusion 97 References 99
4 Modelling for Feasibility - the case of Mutually Orthogonal Latin Squares 103
Problem Gautam Appa, Dimitris Magos, loannis Mourtos and Leonidas Pitsoulis
1. Introduction 104 2. Definitions and notation 106 3. Formulations of the fcMOLS problem 108 4. Discussion 122 References 125
129
129 130 133 134 137 139 141 144 146 148
6 Modeling and Optimization of Vehicle Routing Problems 151 Jean-Francois Cordeau and Gilbert Laporte
1. Introduction 151 2. The Vehicle Routing Problem 152 3. The Chinese Postman Problem 163 4. Constrained Arc Routing Problems 168 5. Conclusions 181 References 181
Part II Applications
7 Radio Resource Management 195 Katerina Papadaki and Vasilis Friderikos
1. Introduction 196 2. Problem Definition 199
;wc ugl 1. 2. 3. 4. 5.
)rk Modelling as R. Shier
Introduction Transit Networks Amplifier Location Site Selection Team Elimination ir 1 Sports
6. Reasoning in Artificial Intelligence 7. Ratio Comparisons in Decision Analysis 8. DNA Sequencing 9. Computer Memory Management References
Contents vii
3. Myopic Problem Formulations 203 4. The dynamic downlink problem 208 5. Concluding Remarks 222 References 224
Strategic and tactical planning models for supply chain: an application of 227 stochastic mixed mteger programming
Gautam Mitra, Chandra Poojari and Suvrajeet Sen 1. Introduction and Background 228 2. Algorithms for stochastic mixed integer programs 234 3. Supply chain planning and management 237 4. Strategic supply chain planning: a case study 244 5. Discussion and conclusions 259 References 260
9 Logic Inference and a Decomposition Algorithm for the Resource-Constrained 265
Scheduling of Testing Tasks in the Development of New Pharmaceutical and Agrochemical Products
Christos T, Maravelias and Ignacio E. Grossmann 266 266 268 271 277 281 281 282 283 284 284 285
10 A Mixed-integer Nonlinear Programming Approach to the Optimal Plan- 291
ning of Onshore Oilfield Infrastructures Susara A, van den Heever and Ignacio E. Grossmann
291 294 295 301 306 309 311 312 314
11 Radiation Treatment Planning: Mixed Integer Programming Formula- 317
tions and Approaches
1. 2. 3. 4. 5. 6. 7. 8. 9. 10.
Introduction Motivating Example Model Logic Cuts Decomposition Heuristic Computational Results Example Conclusions Nomenclature Acknowledgment
References Appendix: Example Data
1. 2. 3. 4. 5. 6. 7. 8.
Introduction Problem Statement Model Solution Strategy Example Conclusions and Future Work Acknowledgment Nomenclature
References
viii HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
Michael C. Ferris, Robert R. Meyer and Warren D 'Souza 1. Introduction 318 2. Gamma Knife Radiosurgery 321 3. Brachytherapy Treatment Planning 327 4. IMRT 331 5. Conclusions and Directions for Future Research 336 References 336
12 Multiple Hypothesis Correlation in Track-to-Track Fusion Management 341 Aubrey B Poore, Sabino M Gadaleta and Benjamin J Slocumb
1. Track Fusion Architectures 344 2. The Frame-to-Frame Matching Problem 347 3. Assignment Problems for Frame-to-Frame Matching 350 4. Computation of Cost Coefficients using a Batch Methodology. 360 5. Summary 368 References 369
13 Computational Molecular Biology 373 Giuseppe Lancia
1. Introduction 373 2. Elementary Molecular Biology Concepts 377 3. Alignment Problems 381 4. Single Nucleotide Polymorphisms 401 5. Genome Rearrangements 406 6. Genomic Mapping and the TSP 412 7. Applications of Set Covering 415 8. Conclusions 417 References 418
Index 427
List of Figures
1.1 A piecewise linear approximation to a non-linear function 8 1.2 The convex hull of a pure IP 12 1.3 The convex hull of a mixed IP 13 1.4 Polytopes with different recession directions 15 1.5 A cutting pattern 20 1.6 Optimal pattern 21 1.7 An integer programme 23 1.8 An integer programme with Gomory cuts 27 1.9 Possible values of an integer variable 28 1.10 The first branch of a solution tree 29 1.11 Solution space of the first branch 29 1.12 Final solution tree 30 3.1 Conversion of F to CNF without additional variables. A
formula of the form (if A /) V G is regarded as having theformGV(iJA/) . 72
3.2 Linear-time conversion to CNF (adapted from [21]). The letter C represents any clause. It is assumed that F does not contain variables xi, X2,.... 73
3.3 The resolution algorithm applied to clause set S 74 3.4 The cardinality resolution algorithm applied to cardinal
ity formula set 5 81 3.5 The 0-1 resolution algorithm applied to set 5 of 0-1 inequalities 85 3.6 An algorithm, adapted from [40], for generating a con
vex hull formulation of the cardinality rule (3.26). It is assumed that a , bj G {0,1} is part of the formulation. The cardinality clause {a^} > 1 is abbreviated a . The procedure is activated by calling it with (3,26) as the argument. 86
5.1 A transit system G with 6 stops 131 5.2 The time-expanded network G 132
HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
5.3 Bipartite flow network 136 5.4 Bipartite flow network associated with Team 3 138 5.5 A constraint graph 141 5.6 Network for assessing probabilities 142 5.7 Revised network for assessing probabilities 144 5.8 DNA sequencing network 145 6.1 The Konigsberg bridges problem 165 6.2 Example for the Frederickson's heuristic does not yield
an optimal solution. 169 6.3 Illustration of procedure SHORTEN 171 6.4 Illustration of procedure DROP 172 6.5 Illustration of procedure ADD 172 6.6 Illustration of procedure 2-OPT 173 6.7 Illustration of procedure PASTE 177 6.8 Illustration of procedure CUT 178 7.1 Feasible region for two users 211 7.2 System events in the time domain for the original state
variable and pre-decision state variable in time periods t andt + 1 214
7.3 Geometrical interpretation of the heuristic used for the embedded IP optimization problem for user i. The next feasible rate to vi is r/" — u{si + ai) 218
7.4 Computational complexity of the LADP, textbook DP, and exhaustive search in a scenario where the outcome space consist of an eight state Markov channel, the arrivals have been truncated to less than twelve packets per user 219
7.5 Computational times of the LADP algorithm in terms of CPU-time as a function of the number of mobile users 222
8.1 A scenario tree 231 8.2 Hierarchy of the supply chain planning 238 8.3 A strategic supply chain network 239 8.4 Supply chain systems hierarchy (source- Shapiro, 1998) 242 8.5 SCHUMANN Models/Data Flow 243 8.6 Influence of time on the strategic decisions 248 8.7 The Lagrangian algorithm 254 8.8 Pseudo Code 1 256 8.9 Best hedged-value of the configuration 258 8.10 The frequency of the configuration selected 258 8.11 The probability weighted objective value of the configuration 259 9.1 Motivating example 267
List of Figures xi
9.2 Different cycles for four tests 273 9.3 Branch & bound tree of motivating example 274 9.4 Incidence matrix of constraints 278 9.5 Decomposition heuristic 280 10.1 Configuration of fields, well platforms and production
platforms (Iyer et al, 1998) 292 10.2 Logic-based OA algorithm 303 10.3 Iterative aggregation/disaggregation algorithm 306 10.4 Results 308 10.5 The final configuration 309 10.6 The optimal investement plan 310 10.7 Production profile over six years 310 11.1 The Gamma Knife Treatment Unit. A focusing helmet is
attached to the frame on the patient's head. The patient lies on the couch and is moved back into the shielded treatment area 321
11.2 Underdose of target regions for (a), (c) the pre-treatment plan and (b), (d) the re-optimized plan, (a) and (b) show the base plane, while (c) and (d) show the apex plane 332
12.1 Diagrams of the (a) hierarchical architecture without feedback, (b) hierarchical architecture with feedback, and (c) fully distributed architecture. S-nodes are sensor/tracker nodes, while F-nodes are system/fusion nodes 344
12.2 Diagram showing the sensor-to-sensor fusion process 346 12.3 Diagram showing the sensor-to-system fusion process 347 12.4 Illustration of source-to-source track correlation 349 12.5 Illustration of frame-to-frame track correlation 350 12.6 Illustration of two-dimensional assignment problem for
frame-to-frame matching 352 12.7 Illustration of three-dimensional assignment problem for
frame-to-frame matching 354 12.8 Illustration of multiple hypothesis, multiple frame, cor
relation approach to frame-to-frame matching 357 12.9 Detailed illustration of multiple hypothesis, multiple frame,
correlation approach to frame-to-frame matching 358 12.10 Illustration of sliding window for frame-to-frame matching 360 12.11 Illustration of the batch scoring for frame-to-frame matching 365 13.1 Schematic DNA replication 378 13.2 (a) A noncrossing matching (alignment), (b) The di
rected grid. 382
xii HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
13.3 Graph of RNA secondary structure 3 91 13.4 (a) An unfolded protein, (b) After folding, (c) The con
tact map graph. 395 13.5 An alignment of value 5 396 13.6 A chromosome and the two haplotypes 401 13.7 A SNP matrix M and its fragment conflict graph 403 13.8 Evolutionary events 407
List of Tables
3.1 Prime implications and convex hull formulations of some simple propositions. The set of prime implications of a proposition can serve as a consistent formulation of that proposition. 78
3.2 Catalog of logic-based constraints 98 3.3 Advantages of consistent and tight formulations 99 4.1 A pair of OLS of order 4 107 5.1 A system of routes and stops 131 5.2 Possible locations for amplifiers 134 5.3 Revenues Vij and costs Q 135 5.4 Current team rankings 137 5.5 Games remaining to be played 138 5.6 History of requests allocated to frames 147 5.7 An optimal assignment of requests 148 5.8 Another optimal assignment of requests 148 6.1 Solution values produced by several TS heuristics on
the fourteen CMT instances. Best known solutions are shown in boldface. 164
7.1 Analysis on the performance of different algorithms 223 8.1 Applications of SMIPs 233 8.2 Configuration generation 249 8.3 Dimension of the strategic supply chain model 251 8.4 The stochastic metrics 257 9.1 Model statistics of test problems 272 9.2 Addition of cycle-breaking cuts: Number of constraints
and LP relaxation 272 9.3 Testing data for the motivating example 273 9.4 Income data for the motivating example. 273 9.5 Preprocessing algorithm (PPROCALG) 274
xiv HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
9.6 Precedence implications and cuts: No. of constraints and LP relaxation 276
9.7 Solution statistics 277 9.8 Decomposition algorithm (DECALG) 280 9.9 Solution statistics of the examples 281 9.10 Solution statistics of the examples 282 9.11 Optimal solution 282 9.12 Heuristic solution 282 9.13 Resource assignment of heuristic solution 283 9.A.1 Testing data of product A 286 9.A.2 Testing data of product B 287 9.A.3 Testing data of product C 288 9.A.4 Testing data of product D 288 9.A.5 Income data for products 289 11.1 Target coverage of manual pre-plan vs optimized pre
plan vs OR re-optimized plan 331
Contributing Authors
Gautam Appa Department of Operational Research London School of Economics, London United Kingdom [email protected]
Vasilis Friderikos Centre for Telecommunications Research King's College London United Kingdom [email protected]
Stanislav Busygin Department of Industrial and Systems Engineering, University of Florida 303 Weil Hall, Gainesville FL 32611 USA
busygin @uf I.edu
Sabino M. Gadaleta Numeric a PO Box 271246 Fort Collins, CO 80527-1246 USA
Jean-Fran9ois Cordeau Canada Research Chair in Distribution Management and GERAD, HEC Montreal 3000 chemin de la Cdte-Sainte-Catherine Montreal, Canada H3T2A7 cordeau @crt.umontreal.ca
Ignacio E. Grossmann Department of Chemical Engineering Carnegie Mellon University, Pittsburgh PA 15213, USA
Warren D'Souza University of Maryland School of Medicine 22 South Green Street Baltimore, MD 21201 USA
wdsouOOl @ umaryland.edu
Susara A. van den Heever Department of Chemical Engineering Carnegie Mellon University, Pittsburgh PA 15213, USA
Michael C. Ferris Computer Sciences Department University of Wisconsin 1210 West Dayton Street, Madison Wl 53706, USA
John N. Hooker Graduate School of Industrial Administration Carnegie Mellon University, PA 15213 USA [email protected]
XVI HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
Giusseppe Lancia Dipartimento di Matematica e Informatica Universita di Udine Via delle Scienze 206, 33100 Udine Italy
Gilbert Laporte Canada Research Chair in Distribution Management and GERAD, HEC Montreal 3000 chemin de la Cbte-Sainte-Catherine Montreal, Canada H3T2A7 [email protected]
Dimitris Magos Department of Informatics Technological Educational Institute of Athens 12210 Athens, Greece
Christos T. Maravelias Department of Chemical and Biological Engineering, University of Wisconsin 1415 Engineering Drive, Madison, WI53706-1691, USA
Robert R. Meyer Computer Sciences Department University of Wisconsin 1210 West Dayton Street, Madison WI 53706, USA
Gautam Mitra CARISMA School of Information Systems, Computing and Mathematics, Brunei University, London United Kingdom [email protected]
loannis Mourtos Department of Economics University ofPatras, 26500 Rion, Patras Greece
imourtos @ upatras.gr
Katerina Papadaki Department of Operational Research London School of Economics, London United Kingdom [email protected]
Panos Pardalos Department of Industrial and Systems Engineering, University of Florida 303 Weil Hall, Gainesville FL 32611 USA [email protected]
Leonidas Pitsoulis Department of Mathematical and Physical Sciences, Aristotle University of Thessaloniki, 54124 Thessaloniki, Greece [email protected]
Chandra Poojari CARISMA School of Information Systems, Computing and Mathematics Brunei University, London United Kingdom [email protected]
Aubrey Poore Department of Mathematics Colorado State University Fort Collins, 80523, USA [email protected]
Contributing Authors xvn
Oleg A Prokopyev Department of Industrial and Systems Engineering, University of Florida 303 Weil Hall, Gainesville FL 32611 USA [email protected]
Suvrajeet Sen Department of Systems and Industrial Engineering , University of Arizona, Tuscon,AZ 85721 USA
Douglas R. Shier Department of Mathematical Sciences Clemson University, Clemson,
SC 29634-0975 USA
Benjamin J, Slocumb Numeric a PO Box 271246 Fort Collins, CO 80527-1246 USA
H. Paul Williams Department of Operational Research London School of Economics, London United Kingdom [email protected]
Preface
The primary reason for producing this book is to demonstrate and communicate the pervasive nature of Discrete Optimisation. It has applications across a very wide range of activities. Many of the applications are only known to specialists. Our aim is to rectify this.
It has long been recognized that ''modelling" is as important, if not more important, a mathematical activity as designing algorithms for solving these discrete optimisation problems. Nevertheless solving the resultant models is also often far from straightforward. Although in recent years it has become viable to solve many large scale discrete optimisation problems some problems remain a challenge, even as advances in mathematical methods, hardware and software technology are constantly pushing the frontiers forward.
The subject brings together diverse areas of academic activity as well as diverse areas of applications. To date the driving force has been Operational Research and Integer Programming as the major extention of the well-developed subject of Linear Programming. However, the subject also brings results in Computer Science, Graph Theory, Logic and Combinatorics, all of which are reflected in this book.
We have divided the chapters in this book into two parts, one dealing with general methods in the modelling of discrete optimisation problems and one with specific applications. The first chapter of this volume, written by Paul Williams, can be regarded as a basic introduction of how to model discrete optimisation problems as Mixed Integer Programmes, and outlines the main methods of solving them.
Chapter 2, written by Pardalos et al., deals with the intriguing relationship between the continuous versus the discrete approach to optimisation problems. The authors in chapter 2 illustrate how many well known hard discrete optimisation problems can be modelled and solved by continuous methods, thereby giving rise to the question of whether or not the discrete nature of the problem is the true cause of its computational complexity or the presence of noncon-vexity.
Another subject of great relevance to modelling is Logic. This is covered in chapter 3. The author, John Hooker, describes the relationship with an alter-
XX HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
native solution (and modelling) approach known as Constraint Satisfaction or, as it is sometimes called, Constraint Logic Programming. This approach has emerged more from Computer Science than Operational Research. However, the possibility of "hybrid methods" based on combining the approaches is on the horizon, and has been realized with some problem specific implementations.
In chapter 4 Appa et al. illustrate how discrete optimisation modelling and solution methods can be applied to answer questions regarding a problem arising from combinatorial mathematics. Specifically the authors present various optimisation formulations of the mutually orthogonal latin squares problem, from constraint programming (which is covered in detail in chapter 3) to mixed integer programming formulations and matroid intersection, all of which can be used to answer existence questions for the problem.
It has long been established that Networks can model most of today's complex systems such as transportation systems, telecommunication systems, and computer networks to name a few, and network optimisation has proven to be a valuable tool in analyzing the behavior of these systems for design purposes. Chapter 5 by Shier enhances further the applicability of network modelling by presenting how it can also be applied to less apparent systems ranging from genomics, sports and artificial intelligence.
Chapter 6 is the last chapter in the methods part of the book, where Cordeau and Laporte discuss a class of problems known as vehicle routing problems. Vehicle routing problems enjoy a plethora of applications in the transportation and logistics sector, and the authors in chapter 6 present the state of the art with respect to exact and heuristic methods for solving them.
In the second part of the book various real life applications are presented, most of them formulated as mixed integer linear or nonlinear programming problems. Chapter 7 by Papadaki and Friderikos, is concerned with the solution of optimization problems arising in resource management problems in wireless cellular systems by employing a novel approach, the so called approximate dynamic programming.
Most of the discrete optimisation models presented in this book are of deterministic nature, that is the values of the input data are assumed to be known with certainty. There are however real life applications where such an assumption is inapplicable, and stochastic models need to be considered. This is the subject of chapter 8, by Mitra et al. where stochastic mixed integer programming models are discussed for supply chain management problems.
In chapters 9 and 10 Grossmann et al. present how discrete optimisation modeling can be efficiently applied to two specific application areas. In chapter 9 mixed integer linear programming models are presented for the problem of scheduling regulatory tests of new pharmaceutical and agrochemical products, while in chapter 10 a mixed integer nonlinear model is presented for the
PREFACE xxi
optimal planning of offshore oilfield infrastructures. In both chapters the authors also present solution techniques.
Optimization models to radiation therapy for cancer patients is the subject discussed in chapter 11 by Ferris and Meyer. They show how the problem of irradiating patients for treatment of cancerous tumors can be formulated as a discrete optimisation problem and can be solved as such.
In chapter 12 the data association problem that arises in target tracking is considered by Poore et al. The objective in this chapter is to partition the data that is created by multiple sensors observing multiple targets into tracks and false alarms, which can be formulated as a multidimensional assignment problem, a notoriously difficult integer programming problem which generalizes the well known assignment problem.
Finally chapter 13 is concerned with the life sciences, and Lancia shows how some challenging problems of Computational Biology can now be solved as discrete optimisation models.
Assembling and planning this book has been much more of a challenge than we at first envisaged. The field is so active and diverse that it has been difficult covering the whole subject. Moreover the contributors have themselves been so deeply involved in practical applications that it has taken longer than expected to complete the volume.
We are aware that, within the limits of space and the time of contributors we have not been able to cover all topics that we would have liked. For example we have been unable to obtain a contributor on Computer Design, an area of great importance, or similarly on Computational Finance and Air Crew Scheduling. By way of mitigation we are pleased to have been able to bring together some relatively new application areas.
We hope this volume proves a valuable work of reference as well as to stimulate further successful applications of discrete optimisation.
GAUTAM APPA, LEONIDAS PITSOULIS, H. PAUL WILLIAMS
xxii HANDBOOK ON MODELLING FOR DISCRETE OPTIMIZATION
Acknowledgments We would like to thank the contributing authors of this volume, and the
many anonymous referees who have helped us review the chapters all of which have been thoroughly refereed. We are also thankful to the staff of Springer, in particular Gary Folven and Carolyn Ford, as well as the series editor Fred Hillier.
Paul Williams acknowledges the help which resulted from Leverhulme Research Fellowship RF&G/9/RFG/2000/0174 and EPSRC Grant EP/C530578/1 in preparing this book.