Rapid mathematical programming

The thesis deals with the implementation and application of out-of-the-box tools in linear and mixed integer programming. It documents the lessons learned and conclusions drawn from five years of implementing, maintaining, extending, and using several computer codes to solve real-life industrial problems. By means of several examples it is demonstrated how to apply algebraic modeling languages to rapidly devise mathematical models of real-world problems. It is shown that today's MIP solvers are capable of solving the resulting mixed integer programs, leading to an approach that delivers results very quickly. Even though, problems are tackled that not long ago required the implementation of specialized branch-and-cut algorithms. In the first part of the thesis the modeling language Zimpl is introduced. Chapter 2 contains a complete description of the language. In the subsequent chapter details of the implementation are described. Both theoretical and practical considerations are discussed. Aspects of software engineering, error prevention, and detection are addressed. In the second part several real-world projects are examined that employed the methodology and the tools developed in the first part. Chapter 4 presents three projects from the telecommunication industry dealing with facility location problems. Chapter 5 characterizes questions that arise in UMTS planning. Problems, models, and solutions are discussed. Special emphasis is put on the dependency of the precision of the input data and the results. Possible reasons for unexpected and undesirable solutions are explained. Finally, the Steiner tree packing problem in graphs, a well-known hard combinatorial problem, is revisited. A formerly known, but not yet used model is applied to combine switchbox wire routing and via minimization. All instances known from the literature are solved by this approach, as are some newly generated bigger problem instances.

[1]  Werner Wiesbeck,et al.  Planungsmethoden für die Mobilkommunikation , 1998 .

[2]  Wangsan-myun Yongin-gun,et al.  Telecommunication Node Clustering with Node Compatibility and Network Survivability Requirements , 2000 .

[3]  Martin Grötschel,et al.  Facets of the clique partitioning polytope , 1990, Math. Program..

[4]  Thomas Kurner,et al.  Final Report on Automatic Planning and Optimisation , 2003 .

[5]  Robert E. Bixby,et al.  Solving Real-World Linear Programs: A Decade and More of Progress , 2002, Oper. Res..

[6]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[7]  李幼升,et al.  Ph , 1989 .

[8]  Prakash Mirchandani,et al.  The Multi-Tier Tree Problem , 1996, INFORMS J. Comput..

[9]  Oktay Günlük,et al.  Capacitated Network Design - Polyhedral Structure and Computation , 1996, INFORMS J. Comput..

[10]  R. Bansal,et al.  Antenna theory; analysis and design , 1984, Proceedings of the IEEE.

[11]  Edoardo Amaldi,et al.  Planning UMTS base station location: optimization models with power control and algorithms , 2003, IEEE Trans. Wirel. Commun..

[12]  Thomas Lengauer,et al.  Combinatorial algorithms for integrated circuit layout , 1990, Applicable theory in computer science.

[13]  Thomas L. Magnanti,et al.  A Decomposition Algorithm for Local Access Telecommunications Network Expansion Planning , 1995, Oper. Res..

[14]  W. K. Luk,et al.  A greedy switch-box router , 1985, Integr..

[15]  S. Qiao,et al.  A Robust and Eecient Algorithm for Evaluating Erlang B Formula , 1998 .

[16]  L. Tu The Life and Works of , 2006 .

[17]  T. W. Wieckowski,et al.  Optimal site and antenna location for UMTS output results of 3G network simulation software , 2002, 14th International Conference on Microwaves, Radar and Wireless Communications. MIKON - 2002. Conference Proceedings (IEEE Cat.No.02EX562).

[18]  Donald E. Knuth,et al.  The Art of Computer Programming: Volume 3: Sorting and Searching , 1998 .

[19]  Josef Kallrath Mathematical Optimization and the Role of Modeling Languages , 2004 .

[20]  Dolores R. Wallace,et al.  Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric , 1996 .

[21]  Armin Fügenschuh,et al.  Modelling Feasible Network Configurations for UMTS , 2003 .

[22]  Laurence A. Wolsey,et al.  A branch-and-cut algorithm for the single-commodity, uncapacitated, fixed-charge network flow problem , 2003, Networks.

[23]  Alexander Martin,et al.  Packen von Steinerbäumen: polyedrische Studien und Anwendung , 1992 .

[24]  Jacek Gondzio,et al.  Reoptimization With the Primal-Dual Interior Point Method , 2002, SIAM J. Optim..

[25]  J. Gondzio,et al.  Presolove Analysis of Linear Programs Prior to Applying an Interior Point Method , 1997, INFORMS J. Comput..

[26]  Laurence A. Wolsey,et al.  The node capacitated graph partitioning problem: A computational study , 1998, Math. Program..

[27]  Don E. Libes Obfuscated C and Other Mysteries , 1992 .

[28]  S. Raghavan,et al.  An Evolutionary Approach to the Multi-Level Capacitated Minimum Spanning Tree Problem , 2003 .

[29]  Di Yuan,et al.  A Lagrangian Heuristic Based Branch-and-Bound Approach for the Capacitated Network Design Problem , 2000, Oper. Res..

[30]  R. Bixby,et al.  A note on detecting simple redundancies in linear systems , 1987 .

[31]  Roland Wunderling Paralleler und Objektorientierter Simplex , 1996 .

[32]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[33]  Kurt Spielberg The Optimization Systems MPSX and OSL , 2004 .

[34]  Simon R. Saunders,et al.  Antennas and Propagation for Wireless Communication Systems , 1999 .

[35]  David S. Johnson,et al.  A theoretician's guide to the experimental analysis of algorithms , 1999, Data Structures, Near Neighbor Searches, and Methodology.

[36]  Brian W. Kernighan,et al.  The UNIX™ programming environment , 1979, Softw. Pract. Exp..

[37]  T. Koch,et al.  MOMENTUM Public Planning Scenarios and their XML Format , 2003 .

[38]  Stephen H. Kan,et al.  Metrics and Models in Software Quality Engineering , 1994, SOEN.

[39]  Kent L. Beck Extreme Programming , 1999, TOOLS.

[40]  Armin Fügenschuh,et al.  Mathematical methods for automatic optimisation of UMTS radio networks , 2003 .

[41]  Ulrich Türke,et al.  IST-Momentum project public deliverable 5.3: Evaluation of reference and public scenarios , 2003 .

[42]  Thorsten Koch,et al.  Describing UMTS Radio Networks using XML , 2003 .

[43]  Luis M. Correia,et al.  A 3D interpolation method for base-station-antenna radiation patterns , 2001 .

[44]  R. Borndörfer,et al.  Aspects of Set Packing, Partitioning, and Covering , 1998 .

[45]  Alexander Martin Integer Programs with Block Structure , 1999 .

[46]  Michael J. Todd,et al.  Mathematical programming , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[47]  Donald E. Knuth,et al.  The art of computer programming. Vol.2: Seminumerical algorithms , 1981 .

[48]  Uwe H. Suhl,et al.  Advanced preprocessing techniques for linear and quadratic programming , 2003, OR Spectr..

[49]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[50]  E. Schmidt,et al.  Lex—a lexical analyzer generator , 1990 .

[51]  Thorsten Koch,et al.  Optimierung des G-WiN , 2000 .

[52]  E. Balas,et al.  Pivot and shift - a mixed integer programming heuristic , 2004, Discret. Optim..

[53]  J. Meeraus A. Bisschop,et al.  ON THE DEVELOPMENT OF A GENERAL ALGEBRAIC MODELING SYSTEM IN A STRATEGIC PLANNING ENVIRONMENT , 1982 .

[54]  Armin Fügenschuh,et al.  Optimisation Methods for UMTS Radio Network Planning , 2004 .

[55]  Steve Maguire,et al.  Writing Solid Code , 1993 .

[56]  Leslie Hall,et al.  Experience with a Cutting Plane Algorithm for the Capacitated Spanning Tree Problem , 1996, INFORMS J. Comput..

[57]  H. P. Williams,et al.  Computational logic and integer programming , 1996 .

[58]  Ian F. Darwin Checking C programs with lint , 1988 .

[59]  Sunil Chopra,et al.  Comparison of formulations and a heuristic for packing Steiner trees in a graph , 1994, Ann. Oper. Res..

[60]  Andreas Bley,et al.  Konrad-zuse-zentrum F ¨ Ur Informationstechnik Berlin a Lagrangian Approach for Integrated Network Design and Routing in Ip Networks a Lagrangian Approach for Integrated Network Design and Routing in Ip Networks * , 2022 .

[61]  W. Altemeier,et al.  Miscellaneous , 1848, Brain Research.

[62]  Thorsten Koch,et al.  UMTS radio network evaluation and optimization beyond snapshots , 2006, Math. Methods Oper. Res..

[63]  John A. Tomlin,et al.  Formal optimization of some reduced linear programming problems , 1983, Math. Program..

[64]  K. K. Nambiar,et al.  Foundations of Computer Science , 2001, Lecture Notes in Computer Science.

[65]  Laurence A. Wolsey,et al.  Formulations and valid inequalities for the node capacitated graph partitioning problem , 1996, Math. Program..

[66]  Edoardo Amaldi,et al.  Optimizing base station location and configuration in UMTS networks , 2006, Ann. Oper. Res..

[67]  William H. Press,et al.  Numerical recipes in C , 2002 .

[68]  E. Balas,et al.  Pivot and Complement–A Heuristic for 0-1 Programming , 1980 .

[69]  Antonio Capone,et al.  UMTS radio planning: optimizing base station configuration , 2002, Proceedings IEEE 56th Vehicular Technology Conference.

[70]  Gregory J. Pottie,et al.  Radio link admission algorithms for wireless networks with power control and active link quality protection , 1995, Proceedings of INFOCOM'95.

[71]  Martin Shepperd,et al.  Foundations of software measurement , 1995 .

[72]  Troels Mørch Test Driven Development , 2005 .

[73]  Robert E. Bixby,et al.  MIP: Theory and Practice - Closing the Gap , 1999, System Modelling and Optimization.

[74]  Martin Grötschel,et al.  The steiner tree packing problem in VLSI design , 1997, Math. Program..

[75]  George B. Dantzig,et al.  The Diet Problem , 1990 .

[76]  Linus Schrage,et al.  The LINGO Algebraic Modeling Language , 2004 .

[77]  Michael R. Bussieck,et al.  General Algebraic Modeling System (GAMS) , 2004 .

[78]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[79]  Martin Grötschel,et al.  Via Minimization with Pin Preassignments and Layer Preference , 1989 .

[80]  Martin Grötschel,et al.  Packing Steiner trees: a cutting plane algorithm and computational results , 1996, Math. Program..

[81]  M. R. Rao,et al.  The partition problem , 1993, Math. Program..

[82]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[83]  Tobias Polzin,et al.  Algorithms for the Steiner problem in networks , 2003 .

[84]  Thorsten Koch The final NETLIB-LP results , 2004, Oper. Res. Lett..

[85]  Allen I. Holub Compiler design in C , 1990 .

[86]  Peter Van der Linden Expert C Programming , 1994 .

[87]  Karen Aardal,et al.  On the Two-Level Uncapacitated Facility Location Problem , 1996, INFORMS J. Comput..

[88]  Roger M. Whitaker,et al.  Evolution of planning for wireless communication systems , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[89]  R. Wessäly Dimensioning Survivable Capacitated Networks , 2000 .

[90]  Hermann Schichl,et al.  Models and the History of Modeling , 2004 .

[91]  Tony Hürlimann The LPL Modeling Language , 2004 .

[92]  Robert Fourer,et al.  LPFML : A W 3 C XML Schema for Linear Programming , 2004 .

[93]  Jon L. Bentley Programming Perls , 1984, CACM.

[94]  Michael Jünger,et al.  Quadratic 0/1 optimization and a decomposition approach for the placement of electronic circuits , 1994, Math. Program..

[95]  Antti Toskala,et al.  Wcdma for Umts , 2002 .

[96]  Robert Fourer Northwestern Numerical Issues and Influences in the Design of Algebraic Modeling Languages for Optimization , 2003 .

[97]  Donald E. Knuth,et al.  The art of computer programming: sorting and searching (volume 3) , 1973 .

[98]  Richard T. Wong,et al.  A dual ascent approach for steiner tree problems on a directed graph , 1984, Math. Program..

[99]  Tony Mason,et al.  Lex & Yacc , 1992 .

[100]  J. S. Welch,et al.  Finding duplicate rows in a linear programming model , 1986 .

[101]  Thorsten Koch,et al.  Solving Steiner tree problems in graphs to optimality , 1998, Networks.

[102]  Samir Elhedhli,et al.  The integration of an interior-point cutting plane method within a branch-and-price algorithm , 2004, Math. Program..

[103]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[104]  James P. Cohoon,et al.  BEAVER: a computational-geometry-based tool for switchbox routing , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[105]  Martin Grötschel,et al.  Packing Steiner trees: polyhedral investigations , 1996, Math. Program..

[106]  Rudolf Mathar,et al.  Optimal Base Station Positioning and Channel Assignment for 3G Mobile Networks by Integer Programming , 2001, Ann. Oper. Res..

[107]  Frank Plastria,et al.  Formulating logical implications in combinatorial optimisation , 2002, Eur. J. Oper. Res..

[108]  J. Laiho-Steffens,et al.  Modeling the impact of the fast power control on the WCDMA uplink , 1999, 1999 IEEE 49th Vehicular Technology Conference (Cat. No.99CH36363).

[109]  M. R. Rao,et al.  Combinatorial Optimization , 1992, NATO ASI Series.

[110]  Rasmus Pagh,et al.  Cuckoo Hashing , 2001, Encyclopedia of Algorithms.

[111]  R. Fourer Experience with a Primal Presolve Algorithm , 1994 .

[112]  Martin Grötschel,et al.  Packing Steiner Trees: Further Facets , 1996, Eur. J. Comb..

[113]  Gautam Mitra,et al.  Analysis of mathematical programming problems prior to applying the simplex algorithm , 1975, Math. Program..