Reconnect '04 Solving Integer Programs with Branch

Total Page:16

File Type:pdf, Size:1020Kb

Reconnect '04 Solving Integer Programs with Branch One more general branch and bound point Reconnect ‘04 Solving Integer Programs with Branch and Node selection: when working in serial, how do you pick an active node Bound (and Branch and Cut) to process next? Usual: best first • Select the node with the lowest lower bound • With the current incumbent and solution tolerances, you will have to Cynthia Phillips (Sandia National Laboratories) evaluate it anyway If you don’t have a good incumbent finder, you might start with diving: • Select the most refined node • Once you have an incumbent, switch to best first Slide 2 Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract DE-AC04-94AL85000. Mixed-Integer programming (IP) Branch and Bound T Min c x • Bounding function: solve LP relaxation Subject to: Ax = b • Branching l ≤ x ≤ u – Select an integer variable xi that’s fractional in the LP solution x* x x* x = (xI ,xC ) – Up child: set i ≥ i n – Down child: set x ≤ x* xI ∈ Z (integer values) i i x ∈ Qn (rational values) – x* is no longer feasible in either child C € • Incumbent€ method – many €incumbent-finding methods to follow in later lectures € – Obvious: return the LP solution if it is integer • Satisfies feasibility-tester constraint Slide 3 Slide 4 Solving Integer Programs: Branch and Bound Branching Decisions: One method Root Problem = original Which candidate variable (of thousands or more choices) to choose? • Use structural insight (user priorities) when possible. • Use gradients (pseudocosts): x i = 0 x i = 1 bound x = 0.3 12 j x j = 0 x j = 1 x k = 0 x k = 1 xj = 1 xj = 0 15 13.4 15 −12 13.4 −12 infeasible Down: = 10 Up = = 2 fathomed 0.3 1 − 0.3 • Lower bound: LP relaxation Slide 5 Slide 6 Using gradients Branch Variable Selection method 2: Strong Branching • Use gradients to compute an expected bound movement for each child • “Try out” interesting subproblems for a while – Up = up gradient * upward round distance – Could be like a gradient “initialization” at every node – Down = down gradient * downward round distance – Could compute part of the subtree • Try to find a variable for which both children might move the bound • This can be expensive, but sometimes these decisions make a huge difference (especially very early) Initialization • When a variable is fractional for the first time, intialize by “pretending” to branch (better than using an average) Slide 7 Slide 8 Branching on constraints Special Ordered Sets (SOS) Can have one child with new constraint: T • Models selection: m a x ≤ b1 y =1 ∑i 1 i and the other with new constraint: aT x ≥ b = 2 y ∈ {0,1} • Must cover the subregion i • Pieces can be omitted, but only€ if provably have nothing potentially optimal € Example: time-indexed scheduling € • Node bounds are just a special case • xjt = 1 if job j is scheduled at time t • Ordered by time More generally, partition into many children T T a x ≤ b1, b2 ≤ a x ≤ b3, K, bk−1 ≤ x ≤ bk €Slide 9 Slide 10 Special Ordered Sets: Restricted Set of Values (Review) Problems with Simple Branching on SOS • Variable x can take on only values in {v1,v2,Kvm } Generally want both children to differ from parent substantially – Frequently the vi are sorted For SOS • Capacity of an airplane assigned to a flight • The up child (setting a variable to 1) is very powerful € – All others in the set go to zero m • The down child will likely have an LP solution = parent’s x = ∑vi yi i=1 – “Schedule at any of these 1000 times except this one” m yi =1 ∑i=1 y ∈ {0,1} – The y ’s are a special ordered set. i € Slide 11 Slide 12 Special Ordered Sets: Weak Down-Child Example Branching on SOS m • Variable x can take on only values in {v1,v2, vm } Set variables {x ,x , x } x =1 K 1 2 K m ∑ j • Plane capacities, values {50,100,200} Partition about an index i: j=1 m m x = € v y € ∑ i i • Up child has ∑ x j =1 i 1 = €j= i+1 m i yi =1 ∑i=1 • Down child has ∑ x j =1 y ∈ {0,1} j=1 € • Examples: If v2=0 (can’t use capacity 100), “fake” a 100-passenger plane by using – Schedule job j before/after time t € € 2 1 – Use a plane of capacity at least/at most s x + x 3 1 3 3 Slide 13 Slide 14 € Branching on SOS Postponing Branching • Good choice for partition point i is such that as nearly as possible Branching causes exponential growth of the search tree Is there a way to make progress without branching? i m 1 ∑ x j = ∑ x j = j=1 j= i+1 2 • Can compute gradients as with simple variable branching € • This is not general branching on a constraint: just setting multiple variable upper bounds simultaneously Slide 15 Slide 16 Strengthen Linear Program with Cutting Planes Example: Maximum Independent Set 1/2 Cutting plane 1/2 1 4 (valid inequality) Original LP 1/2 1/2 1/2 Feasible region 2 3 7 5 6 1/2 1/2 1 if vertex i is in the MIS vi = Integer optimal LP optimal solution 0 otherwise max v • Make LP polytope closer to integer polytope ∑ i • Use families of constraints too large to explicitly list s.t. vi + vj ≤ 1 ∀(i, j) ∈E – Exponential, pseudopolynomial, polynomial (n4, n5) Slide 17 Slide 18 Example: Some Maximum Independent Set Cutting Planes Value of a Good Feasible Solution Found Early 1/2 Root Problem = original 1 4 1/2 x = 0 x = 1 2 3 7 i i 5 6 1/2 x j = 0 x j = 1 x k = 0 x k = 1 vi + vj + vk ≤1 ∀ triangles i, j, k fathomed infeasible More general clique inequalities (keep going till they’re too hard to find) • Simulate seeding with optimal (computation is a proof of optimality) • Note: proof of optimality depends on a good LP relaxation Slide 19 Slide 20 Solving Subproblem LPs Quickly Linear Programming Geometry • The LP relaxation of a child is usually closely related to its parent’s LP Optimal point of an LP is at a corner (assuming bounded) • Exploit that similarity by saving the parent’s basis cT x opt = feasible € cT x = -∞ Slide 21 Slide 22 € Linear Programming Algebra Linear Programming Algebra What does a corner look like algebraically? We have Bx B + LxL + UxU = b Ax=b Set all members of xL to their lower bound. Partition A matrix into three parts Set all members of xU to their upper bound. Let b ′ = b − Lx L − Ux U (this is a constant because bounds l and u are) Thus we have BxB = b′ B L U −1 Set xB = B b′ € € This €setting of (xB, xL, xU) is called a basic solution where B is nonsingular (invertible, square). € • A basic solution satisfies Ax=b by construction Reorder x: (xB, xL, xU) If all xB satisfy their bounds ( l B ≤ x B ≤ u B ), this is a basic feasible We have Bx B + LxL + Ux U = b solution (BFS) Slide 23 Slide 24 € Basic Feasible Solutions Algebra and Geometry We have Bx B + LxL + UxU = b A BFS corresponds to a corner of the feasible polytope: Set all members of xL to their lower bound. Ax ≤ b Set all members of xU to their upper bound. m inequality constraints (plus bounds) and n variables. Polytope in n- Let b ′ = b − Lx − Ux (this is a constant because bounds and u are) dimensional space. A corner has n tight constraints. L U l −1 Set xB = B b′ € With slacks Ax + IxS = b € In the common case = 0, u = ∞ (x ≥ 0), € m equality constraints (plus bounds) in n+m variables. A BFS has n tight l € we have b = b′ , xU = ∅, xL = N bound constraints (from the nonbasic variables). xB are basic variables, N are nonbasic (xL are nonbasic at lower, xU are nonbasic€ at upper) € Slide 25 Slide 26 Dual LP Primal/Dual Pair (Simplified) primal LP problem is minimize cT x such that Ax ≤ b x ≥ 0 Primal feasible The dual problem is: maximize€ yTb Opt such that yA c ≥ € Dual feasible y ≥ 0 • dual(dual(primal)) = primal • Frequently has a nice interpretation (max flow/min cut) € Slide 27 Slide 28 Parent/Child relationship (intuition) Parent optimal pair (x*,y*) • Branching reduces the feasible region of the child LP with respect to its parent and increases the dual feasible region • y* is feasible in the child’s dual LP and it’s close to optimal Resolving the children using dual simplex, starting from the parent’s optimal basis can be at least an order of magnitude faster than starting from nothing. Note: Basis can be big. Same space issues as with knapsack example. Slide 29.
Recommended publications
  • Hyperheuristics in Logistics Kassem Danach
    Hyperheuristics in Logistics Kassem Danach To cite this version: Kassem Danach. Hyperheuristics in Logistics. Combinatorics [math.CO]. Ecole Centrale de Lille, 2016. English. NNT : 2016ECLI0025. tel-01485160 HAL Id: tel-01485160 https://tel.archives-ouvertes.fr/tel-01485160 Submitted on 8 Mar 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. No d’ordre: 315 Centrale Lille THÈSE présentée en vue d’obtenir le grade de DOCTEUR en Automatique, Génie Informatique, Traitement du Signal et des Images par Kassem Danach DOCTORAT DELIVRE PAR CENTRALE LILLE Hyperheuristiques pour des problèmes d’optimisation en logistique Hyperheuristics in Logistics Soutenue le 21 decembre 2016 devant le jury d’examen: President: Pr. Laetitia Jourdan Université de Lille 1, France Rapporteurs: Pr. Adnan Yassine Université du Havre, France Dr. Reza Abdi University of Bradford, United Kingdom Examinateurs: Pr. Saïd Hanafi Université de Valenciennes, France Dr. Abbas Tarhini Lebanese American University, Lebanon Dr. Rahimeh Neamatian Monemin University Road, United Kingdom Directeur de thèse: Pr. Frédéric Semet Ecole Centrale de Lille, France Co-encadrant: Dr. Shahin Gelareh Université de l’ Artois, France Invited Professor: Dr. Wissam Khalil Université Libanais, Lebanon Thèse préparée dans le Laboratoire CRYStAL École Doctorale SPI 072 (EC Lille) 2 Acknowledgements Firstly, I would like to express my sincere gratitude to my advisor Prof.
    [Show full text]
  • IBM Research Report Branch and Bound, Integer and Non-Integer
    RC22890 (W0309-010) September 3, 2003 Mathematics IBM Research Report Branch and Bound, Integer and Non-Integer Programming J. J. H. Forrest IBM Research Division Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights, NY 10598 J. A. Tomlin IBM Research Division Almaden Research Center 650 Harry Road San Jose, CA 95120-6099 Research Division Almaden - Austin - Beijing - Delhi - Haifa - India - T. J. Watson - Tokyo - Zurich LIMITED DISTRIBUTION NOTICE: This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g. , payment of royalties). Copies may be requested from IBM T. J. Watson Research Center , P. O. Box 218, Yorktown Heights, NY 10598 USA (email: [email protected]). Some reports are available on the internet at http://domino.watson.ibm.com/library/CyberDig.nsf/home . Branch and Bound, Integer, and Non-Integer Programming J.J.H. Forrest IBM Watson Research Center, Yorktown Heights, NY 10598 J. A. Tomlin IBM Almaden Research Center, San Jose, CA 95120 {[email protected],[email protected]} Abstract In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today—that is the use of branch and bound to handle discrete constructs, which, while often formally representable in terms of zero-one integer variables, can be handled more elegantly and effectively by applying branch and bound to the actual dichotomies in the model.
    [Show full text]
  • ILOG AMPL CPLEX System Version 9.0 User's Guide
    ILOG AMPL CPLEX System Version 9.0 User’s Guide Standard (Command-line) Version Including CPLEX Directives September 2003 Copyright © 1987-2003, by ILOG S.A. All rights reserved. ILOG, the ILOG design, CPLEX, and all other logos and product and service names of ILOG are registered trademarks or trademarks of ILOG in France, the U.S. and/or other countries. JavaTM and all Java-based marks are either trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other countries. Microsoft, Windows, and Windows NT are either trademarks or registered trademarks of Microsoft Corporation in the U.S. and other countries. All other brand, product and company names are trademarks or registered trademarks of their respective holders. AMPL is a registered trademark of AMPL Optimization LLC and is distributed under license by ILOG.. CPLEX is a registered trademark of ILOG.. Printed in France. CO N T E N T S Table of Contents Chapter 1 Introduction . 1 Welcome to AMPL . .1 Using this Guide. .1 Installing AMPL . .2 Requirements. .2 Unix Installation . .3 Windows Installation . .3 AMPL and Parallel CPLEX. 4 Licensing . .4 Usage Notes . .4 Installed Files . .5 Chapter 2 Using AMPL. 7 Running AMPL . .7 Using a Text Editor . .7 Running AMPL in Batch Mode . .8 Chapter 3 AMPL-Solver Interaction . 11 Choosing a Solver . .11 Specifying Solver Options . .12 Initial Variable Values and Solvers. .13 ILOG AMPL CPLEX SYSTEM 9.0 — USER’ S GUIDE v Problem and Solution Files. .13 Saving temporary files . .14 Creating Auxiliary Files . .15 Running Solvers Outside AMPL. .16 Using MPS File Format .
    [Show full text]
  • Cocircuits of Vector Matroids
    RICE UNIVERSITY Cocircuits of Vector Matroids by John David Arellano A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE Master of Arts APPROVED, THESIS COMMITTEE: ?~ Ill::f;Cks, Chair Associate Professor of Computational and Applied Mathematics ~~~~ Richard A. Tapia Maxfield-Oshman Professor of Engineering University Professor of Computational and Applied Mathematics Wotao Yin Assistant Professor of Computational and Applied Mathematics Houston, Texas August, 2011 ABSTRACT Cocircuits of Vector Matroids by John David Arellano In this thesis, I present a set covering problem (SCP) formulation of the matroid cogirth problem, finding the cardinality of the smallest cocircuit of a matroid. Ad­ dressing the matroid cogirth problem can lead to significantly enhancing the design process of sensor networks. The solution to the matroid cogirth problem provides the degree of redundancy of the corresponding sensor network, and allows for the evalu­ ation of the quality of the network. I provide an introduction to matroids, and their relation to the degree of redundancy problem. I also discuss existing methods devel­ oped to solve the matroid cogirth problem and the SCP. Computational results are provided to validate a branch-and-cut algorithm that addresses the SCP formulation. Acknowledgments I would like to thank my parents and family for the love and support throughout my graduate career. I would like to thank my advisor, Dr. Illya Hicks, and the rest of my committee for their guidance and support. I would also like to thank Dr. Maria Cristina Villalobos for her guidance and support during my undergraduate career. A thanks also goes to Nabor Reyna, Dr.
    [Show full text]
  • Applying Piecewise Linear Characteristic Curves in District Energy Optimisation Bryn Pickeringa#, Ruchi Choudharya^
    PROCEEDINGS OF ECOS 2017 - THE 30TH INTERNATIONAL CONFERENCE ON EFFICIENCY, COST, OPTIMIZATION, SIMULATION AND ENVIRONMENTAL IMPACT OF ENERGY SYSTEMS JULY 2-JULY 6, 2017, SAN DIEGO, CALIFORNIA, USA Applying Piecewise Linear Characteristic Curves in District Energy Optimisation Bryn Pickeringa#, Ruchi Choudharya^ a Department of Engineering, University of Cambridge Trumpington Street, Cambridge, CB2 1PZ, United Kingdom, # [email protected], ^ [email protected] Abstract: Representing nonlinear curves as piecewise elements allows complex systems to be optimised by linear programs. Piecewise linearisation has been recently introduced in the context of distributed energy system optimisation. It is an efficient technique for representing non-linear technology behaviours in linear optimisation models, which are favourable in district energy optimisation models, owing to their speed and ability to handle large numbers of design variables. This paper describes a method of automating the creation of piecewise elements of technology performance curves for minimum fit error. The results show an objective function value improvement at a relatively large penalty in solution time: from 1.6 times to 58 times longer than describing technologies as having a single value for efficiency (SVE). We show that within the context of common technology performance curves, three breakpoints yield sufficiently accurate results and any returns are diminishing beyond that. Even at three breakpoints, it is evident that the placement of breakpoints along a curve significantly influences solution time, in a way for which it is not possible to account in automation. But, large savings can be made by automation by including a constraint to ensure piecewise curves have a strictly increasing/decreasing gradient.
    [Show full text]
  • Generic Branch-Cut-And-Price
    Generic Branch-Cut-and-Price Diplomarbeit bei PD Dr. M. L¨ubbecke vorgelegt von Gerald Gamrath 1 Fachbereich Mathematik der Technischen Universit¨atBerlin Berlin, 16. M¨arz2010 1Konrad-Zuse-Zentrum f¨urInformationstechnik Berlin, [email protected] 2 Contents Acknowledgments iii 1 Introduction 1 1.1 Definitions . .3 1.2 A Brief History of Branch-and-Price . .6 2 Dantzig-Wolfe Decomposition for MIPs 9 2.1 The Convexification Approach . 11 2.2 The Discretization Approach . 13 2.3 Quality of the Relaxation . 21 3 Extending SCIP to a Generic Branch-Cut-and-Price Solver 25 3.1 SCIP|a MIP Solver . 25 3.2 GCG|a Generic Branch-Cut-and-Price Solver . 27 3.3 Computational Environment . 35 4 Solving the Master Problem 39 4.1 Basics in Column Generation . 39 4.1.1 Reduced Cost Pricing . 42 4.1.2 Farkas Pricing . 43 4.1.3 Finiteness and Correctness . 44 4.2 Solving the Dantzig-Wolfe Master Problem . 45 4.3 Implementation Details . 48 4.3.1 Farkas Pricing . 49 4.3.2 Reduced Cost Pricing . 52 4.3.3 Making Use of Bounds . 54 4.4 Computational Results . 58 4.4.1 Farkas Pricing . 59 4.4.2 Reduced Cost Pricing . 65 5 Branching 71 5.1 Branching on Original Variables . 73 5.2 Branching on Variables of the Extended Problem . 77 5.3 Branching on Aggregated Variables . 78 5.4 Ryan and Foster Branching . 79 i ii Contents 5.5 Other Branching Rules . 82 5.6 Implementation Details . 85 5.6.1 Branching on Original Variables . 87 5.6.2 Ryan and Foster Branching .
    [Show full text]
  • Piecewise-Linear Approximation for Feature Subset Selection in A
    PIECEWISE-LINEAR APPROXIMATION FOR FEATURE SUBSET SELECTION IN A SEQUENTIAL LOGIT MODEL Toshiki Sato Yuichi Takano Ryuhei Miyashiro University of Tsukuba Senshu University Tokyo University of Agriculture and Technology (October 7, 2015) Abstract This paper concerns a method of selecting a subset of features for a sequential logit model. Tanaka and Nakagawa (2014) proposed a mixed integer quadratic optimization formulation for solving the problem based on a quadratic approximation of the logistic loss function. However, since there is a significant gap between the logistic loss function and its quadratic approximation, their formulation may fail to find a good subset of features. To overcome this drawback, we apply a piecewise-linear approximation to the logistic loss function. Accordingly, we frame the feature subset selection problem of minimizing an information criterion as a mixed integer linear optimization problem. The computational results demonstrate that our piecewise-linear approximation approach found a better subset of features than the quadratic approximation approach. Keywords: Optimization, statistics, feature subset selection, sequential logit model, piecewise- linear approximation, information criterion 1. Introduction The analysis of ordinal categorical data [3, 23] is required in various areas including finance, econometrics, and bioinformatics. For instance, credit ratings of financial instruments are typical ordinal categorical data, and thus, many previous studies have analyzed such data by means of ordinal classification models (see, e.g., [1, 12, 28]). A sequential logit model [5, 17, 33], also known as the continuation ratio model [2, 14], is a commonly used ordinal classification model. It predicts an ordinal class label for each sample by successively applying separate logistic regression models.
    [Show full text]
  • Integer Optimization Methods for Machine Learning by Allison an Chang Sc.B
    Integer Optimization Methods for Machine Learning by Allison An Chang Sc.B. Applied Mathematics, Brown University (2007) Submitted to the Sloan School of Management in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Operations Research at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 2012 c Massachusetts Institute of Technology 2012. All rights reserved. Author............................................. ................. Sloan School of Management May 18, 2012 Certified by......................................... ................. Dimitris Bertsimas Boeing Leaders for Global Operations Professor Co-Director, Operations Research Center Thesis Supervisor Certified by......................................... ................. Cynthia Rudin Assistant Professor of Statistics Thesis Supervisor Accepted by......................................... ................ Patrick Jaillet Dugald C. Jackson Professor Department of Electrical Engineering and Computer Science Co-Director, Operations Research Center 2 Integer Optimization Methods for Machine Learning by Allison An Chang Submitted to the Sloan School of Management on May 18, 2012, in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Operations Research Abstract In this thesis, we propose new mixed integer optimization (MIO) methods to ad- dress problems in machine learning. The first part develops methods for supervised bipartite ranking, which arises in prioritization tasks in diverse domains such as infor- mation retrieval, recommender systems, natural language processing, bioinformatics, and preventative maintenance. The primary advantage of using MIO for ranking is that it allows for direct optimization of ranking quality measures, as opposed to current state-of-the-art algorithms that use heuristic loss functions. We demonstrate using a number of datasets that our approach can outperform other ranking methods. The second part of the thesis focuses on reverse-engineering ranking models.
    [Show full text]
  • Polylithic Modeling and Solution Approaches Using Algebraic Modeling Systems
    Polylithic Modeling and Solution Approaches Using Algebraic Modeling Systems Josef Kallrath Department of Astronomy University of Florida Gainesville, FL 32611, USA [email protected] Abstract. Based on the Greek term monolithos (stone consisting of one single block) Kallrath (2009) introduced the term polylithic for modeling and solution approaches in which mixed integer or non-convex nonlinear optimization problems are solved by tailor-made methods involving sev- eral models and/or algorithmic components, in which the solution of one model is input to another one. This can be exploited to initialize certain variables, or to provide bounds on them (problem-specific preprocess- ing). Mathematical examples of polylithic approaches are decomposition techniques, or hybrid methods in which constructive heuristics and local search improvement methods are coupled with exact MIP algorithms Tailor-made polylithic solution approaches with thousands or mil- lions of solve statements are challenges on algebraic modeling languages. Local objects and procedural structures are almost necessary. Warm- start and hot-start techniques can be essential. The effort of developing complex tailor-made polylithic solutions is awarded by enabling us to solve real-world problems far beyond the limits of monolithic approaches and general purpose solvers. Keywords: algebraic modeling languages, branch&price, column gen- eration, decomposition, hybrid methods, monolithic, primal methods, polylithic, problem-specific preprocessing 1 Introduction Instead of solving
    [Show full text]
  • Performance Comparisons of IP Problem Formulation
    IT 12 059 Examensarbete 15 hp November 2012 Performance Comparisons of IP Problem Formulation Joakim Lindqvist Institutionen för informationsteknologi Department of Information Technology Abstract Performance Comparisons of IP Problem Formulation Joakim Lindqvist Teknisk- naturvetenskaplig fakultet UTH-enheten When solving optimization problems, the importance of speed can not be emphasized enough for many organizations. One company encountered Besöksadress: a major performance difference when solving a problem with the same Ångströmlaboratoriet Lägerhyddsvägen 1 integer programming solver, in two different locations. The difference was Hus 4, Plan 0 shown not to be caused by the environment of the solver, but rather a reformulation of the problem. However, the reformulation did not improve Postadress: the performance of an expanded version of the problem. By analyzing and Box 536 751 21 Uppsala comparing the two versions one might be able to find the properties of a problem which enables the reformulation to reduce the solving time. Telefon: This in turn can be used to identify for which problems the reformulation 018 – 471 30 03 should be applied to increase the speed at which they are solved. Telefax: 018 – 471 30 00 Hemsida: http://www.teknat.uu.se/student Handledare: Arne Andersson Ämnesgranskare: Pierre Flener Examinator: Olle Gällmo IT 12 059 Tryckt av: Reprocentralen ITC Contents 1 Introduction 1 2 Background 2 2.1 Linear Programming . 2 2.1.1 History . 2 2.1.2 The LP Problem . 3 2.1.3 An LP Example . 4 2.2 Integer Programming . 4 2.3 Solving IP Problems . 6 2.4 Special Ordered Sets . 7 2.4.1 SOS Type 1 .
    [Show full text]
  • A Comparative Study of SQP-Type Algorithms for Nonlinear and Nonconvex Mixed-Integer Optimization
    Math. Prog. Comp. (2012) 4:383–412 DOI 10.1007/s12532-012-0045-0 FULL LENGTH PAPER A comparative study of SQP-type algorithms for nonlinear and nonconvex mixed-integer optimization Oliver Exler · Thomas Lehmann · Klaus Schittkowski Received: 24 March 2012 / Accepted: 11 July 2012 / Published online: 5 August 2012 © Springer and Mathematical Optimization Society 2012 Abstract We present numerical results of a comparative study of codes for nonlin- ear and nonconvex mixed-integer optimization. The underlying algorithms are based on sequential quadratic programming (SQP) with stabilization by trust-regions, linear outer approximations, and branch-and-bound techniques. The mixed-integer quadratic programming subproblems are solved by a branch-and-cut algorithm. Second order information is updated by a quasi-Newton update formula (BFGS) applied to the Lagrange function for continuous, but also for integer variables. We do not require that the model functions can be evaluated at fractional values of the integer variables. Thus, partial derivatives with respect to integer variables are replaced by descent directions obtained from function values at neighboring grid points, and the number of simulations or function evaluations, respectively, is our main performance criterion to measure the efficiency of a code. Numerical results are presented for a set of 100 academic mixed-integer test problems. Since not all of our test examples are convex, we reach the best-known solutions in about 90 % of the test runs, but at least feasible solutions in the other cases. The average number of function evaluations of the new mixed-integer SQP code is between 240 and 500 including those needed for one- or two-sided approximations of partial derivatives or descent directions, respectively.
    [Show full text]
  • Cutting Plane and Subgradient Methods
    Cutting Plane and Subgradient Methods John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA October 12, 2009 Collaborators: Luc Basescu, Brian Borchers, Mohammad Oskoorouchi, Srini Ramaswamy, Kartik Sivaramakrishnan, Mike Todd Mitchell (RPI) Cutting Planes, Subgradients INFORMS TutORial 1 / 72 Outline 1 Interior Point Cutting Plane and Column Generation Methods Introduction MaxCut Interior point cutting plane methods Warm starting Theoretical results Stabilization 2 Cutting Surfaces for Semidefinite Programming Semidefinite Programming Relaxations of dual SDP Computational experience Theoretical results with conic cuts Condition number 3 Smoothing techniques and subgradient methods 4 Conclusions Mitchell (RPI) Cutting Planes, Subgradients INFORMS TutORial 2 / 72 Interior Point Cutting Plane and Column Generation Methods Outline 1 Interior Point Cutting Plane and Column Generation Methods Introduction MaxCut Interior point cutting plane methods Warm starting Theoretical results Stabilization 2 Cutting Surfaces for Semidefinite Programming Semidefinite Programming Relaxations of dual SDP Computational experience Theoretical results with conic cuts Condition number 3 Smoothing techniques and subgradient methods 4 Conclusions Mitchell (RPI) Cutting Planes, Subgradients INFORMS TutORial 3 / 72 Interior Point Cutting Plane and Column Generation Methods Introduction Outline 1 Interior Point Cutting Plane and Column Generation Methods Introduction MaxCut Interior point cutting plane methods Warm starting Theoretical results
    [Show full text]