Mixed Integer Linear Programming in R

Size: px
Start display at page:

Download "Mixed Integer Linear Programming in R"

Transcription

1 Mixed Integer Linear Programming in R Stefan Theussl Department of Statistics and Mathematics Wirtschaftsuniversität Wien July 1, 2008

2 Outline Introduction Linear Programming Quadratic Programming Mixed Integer Programming COIN-OR Initiative R Packages Interfaces to Open Source Solvers Commercial Solvers Optimization Infrastructure for R Benchmarks Outlook and Future Work

3 Introduction

4 Applications in Finance Portfolio selection and asset allocation (Markowitz) Pricing and hedging of options Asset/liability management Risk management

5 Mathematical Programming Linear Programming (LP) Quadratic Programming (QP) Nonlinear Programming (NLP) Additionally if variables have to be of type integer (integer programming IP) Mixed Integer Linear Programming (MILP) Mixed Integer Quadratic Programming (MIQP) Nonlinear Mixed INteger Programming (NMINP)

6 Linear Programming Mathematical formulation objective min c t x subject to constraints Ax = b x 0 objective variables x i, i = 1,..., N Examples: Asset/liability cash flow matching, asset pricing and arbitrage

7 Quadratic Programming Mathematical formulation objective min x t Qx subject to constraints Ax = b x 0 objective variables x i, i = 1,..., N Examples: Portfolio selection, asset allocation

8 Mixed Integer Programming Some variables have to be of type integer E.g., we cannot buy 3.4 shares but 3 or 4 Open source MILP solvers available but currently no open source MIQP solver in R

9 COIN-OR Initiative

10 Organization of COIN-OR The COmputational INfrastructure for Operations Research (COIN-OR) project promotes the development and use of interoperable, open source software for operations research Furthermore, it is a repository consisting of several projects Each has its own project manager, wiki, website, mailing list (similar to R-Forge or Sourceforge) Stable releases or snapshots as well es direct source code access through svn are provided Pre-compiled binaries (Linux, Windows) the CoinAll distribution includes a large subset of COIN-OR

11 The COIN-OR Philosophy Reuse instead of reinvent Reduce development time and increase robustness Increase interoperability Peer review of software Free distribution of ideas Reproducability

12 COIN-OR Projects Open Solver Interface (OSI) Cut Generator Library (CGL) Branch, Cut and Price Library (BCP) Interior Point Optimization (IPOPT) COIN-OR LP (CLP) SYMPHONY and many more

13 R Packages

14 Interfaces to Open Source Solvers Interfaces to the GNU Linear Programming Kit (GLPK) via packages Rglpk and glpk Interfaces to lp solve via packages lpsolve and lpsolveapi and Rsymphony, an interface to the COIN-OR SYMPHONY solver

15 Interfaces to Open Source Solvers How to solve MILPs in R? Rsymphony solve LP(obj, mat, dir, rhs, bounds = NULL, types = NULL, max = FALSE) Rglpk solve LP(obj, mat, dir, rhs, types = NULL, max = FALSE, bounds = NULL, verbose = FALSE) lp(direction = "min", objective.in, const.mat, const.dir, const.rhs, transpose.constraints = TRUE, int.vec, presolve=0, compute.sens=0, binary.vec, all.int=false, all.bin=false, scale = 196, dense.const, num.bin.solns=1, use.rw=false)

16 Commercial Solvers Currently an R interface to the CPLEX callable library from ILOG is available Package Rcplex already on CRAN Rcplex is capable of solving linear as well as mixed integer quadratic programs Supports sparse matrices ( simple triplet matrix, Matrix package) CPLEX can be called via Rcplex(cvec, Amat, bvec, Qmat = NULL, lb = 0, ub = Inf, control = list(), objsense = c("min", "max"), sense = "L", vtype = NULL)

17 Optimization Infrastructure for R

18 Optimization Infrastructure for R We plan to offer a package for optimization which allows to solve MILPs (and other programs) using a unique interface: OI solve(problem, solver = "lp solve", control = NULL) The main function takes 3 arguments: problem represents an object containing the description of the MILP solver specifies the solver to be used (e.g., GLPK, lp solve, SYMPHONY,... ) control is a list containing additional control arguments to the corresponding solver

19 Benchmarks

20 MIPLIB2003 MIPLIB2003 is a collection of real-world mixed integer programs standard test set used to compare the performance of MILP solvers available online at maintained by Alexander Martin, Tobias Achterberg and Thorsten Koch instances in MPS file format can be read in R via Rglpk s MPS file reader

21 Results of Benchmark Experiment GLPK Rglpk lp solve lpsolve SYMPHONY Rsymphony aflow30a air air cap danoint disctom fiber fixnet gesa manna mas misc modglob nw p pk pp08acuts qiu rout Inf vpm Table: Objective values command line solvers and R interfaces

22 Results of Benchmark Experiment GLPK Rglpk lp solve lpsolve SYMPHONY Rsymphony aflow30a air air cap danoint disctom fiber fixnet gesa manna mas misc modglob nw p pk pp08acuts qiu rout vpm Table: Comparison of runtimes [min] command line solvers vs. R interfaces

23 Outlook and Future Work Optimization infrastructure package Interfaces to NMINP solvers Bonmin and LaGO (project RINO on R-Forge) Investigation of SYMPHONY s parallel solver Applications: Consensus ranking of journal ratings, portfolio optimization

24 Thank you for your attention Further reading: Gerard Cornuejols and Reha Tütüncü. Optimization Methods in Finance. Cambridge University Press, 2006.

Using the analytic center in the feasibility pump

Using the analytic center in the feasibility pump Using the analytic center in the feasibility pump Daniel Baena Jordi Castro Dept. of Stat. and Operations Research Universitat Politècnica de Catalunya daniel.baena@upc.edu jordi.castro@upc.edu Research

More information

Modeling and solving linear programming with R. Jose M Sallan Oriol Lordan Vicenc Fernandez

Modeling and solving linear programming with R. Jose M Sallan Oriol Lordan Vicenc Fernandez Modeling and solving linear programming with R Jose M Sallan Oriol Lordan Vicenc Fernandez Open Access Support If you find this book interesting, we would appreciate that you supported its authors and

More information

Cloud Branching. Timo Berthold. joint work with Domenico Salvagnin (Università degli Studi di Padova)

Cloud Branching. Timo Berthold. joint work with Domenico Salvagnin (Università degli Studi di Padova) Cloud Branching Timo Berthold Zuse Institute Berlin joint work with Domenico Salvagnin (Università degli Studi di Padova) DFG Research Center MATHEON Mathematics for key technologies 21/May/13, CPAIOR

More information

An Overview Of Software For Convex Optimization. Brian Borchers Department of Mathematics New Mexico Tech Socorro, NM 87801 borchers@nmt.

An Overview Of Software For Convex Optimization. Brian Borchers Department of Mathematics New Mexico Tech Socorro, NM 87801 borchers@nmt. An Overview Of Software For Convex Optimization Brian Borchers Department of Mathematics New Mexico Tech Socorro, NM 87801 borchers@nmt.edu In fact, the great watershed in optimization isn t between linearity

More information

Optimization applications in finance, securities, banking and insurance

Optimization applications in finance, securities, banking and insurance IBM Software IBM ILOG Optimization and Analytical Decision Support Solutions White Paper Optimization applications in finance, securities, banking and insurance 2 Optimization applications in finance,

More information

The Gurobi Optimizer

The Gurobi Optimizer The Gurobi Optimizer Gurobi History Gurobi Optimization, founded July 2008 Zonghao Gu, Ed Rothberg, Bob Bixby Started code development March 2008 Gurobi Version 1.0 released May 2009 History of rapid,

More information

Optimization Methods in Finance

Optimization Methods in Finance Optimization Methods in Finance Gerard Cornuejols Reha Tütüncü Carnegie Mellon University, Pittsburgh, PA 15213 USA January 2006 2 Foreword Optimization models play an increasingly important role in financial

More information

Noncommercial Software for Mixed-Integer Linear Programming

Noncommercial Software for Mixed-Integer Linear Programming Noncommercial Software for Mixed-Integer Linear Programming J. T. Linderoth T. K. Ralphs December, 2004. Revised: January, 2005. Abstract We present an overview of noncommercial software tools for the

More information

Collaborative Software Development Using R-Forge

Collaborative Software Development Using R-Forge Collaborative Software Development Using R-Forge Stefan Theußl Achim Zeileis Kurt Hornik Department of Statistics and Mathematics Wirtschaftsuniversität Wien August 13, 2008 Why Open Source? Source code

More information

Performance of Optimization Software - an Update

Performance of Optimization Software - an Update Performance of Optimization Software - an Update INFORMS Annual 2011 Charlotte, NC 13-18 November 2011 H. D. Mittelmann School of Math and Stat Sciences Arizona State University 1 Services we provide Guide

More information

Financial Optimization ISE 347/447. Preliminaries. Dr. Ted Ralphs

Financial Optimization ISE 347/447. Preliminaries. Dr. Ted Ralphs Financial Optimization ISE 347/447 Preliminaries Dr. Ted Ralphs ISE 347/447 Preliminaries 1 Introductory Stuff Welcome! Class Meeting Time Office Hours TBD Surveys ISE 347/447 Preliminaries 2 What will

More information

CPLEX Tutorial Handout

CPLEX Tutorial Handout CPLEX Tutorial Handout What Is ILOG CPLEX? ILOG CPLEX is a tool for solving linear optimization problems, commonly referred to as Linear Programming (LP) problems, of the form: Maximize (or Minimize) c

More information

TOMLAB - For fast and robust largescale optimization in MATLAB

TOMLAB - For fast and robust largescale optimization in MATLAB The TOMLAB Optimization Environment is a powerful optimization and modeling package for solving applied optimization problems in MATLAB. TOMLAB provides a wide range of features, tools and services for

More information

Lecture 11: 0-1 Quadratic Program and Lower Bounds

Lecture 11: 0-1 Quadratic Program and Lower Bounds Lecture : - Quadratic Program and Lower Bounds (3 units) Outline Problem formulations Reformulation: Linearization & continuous relaxation Branch & Bound Method framework Simple bounds, LP bound and semidefinite

More information

How To Solve A Minimum Set Covering Problem (Mcp)

How To Solve A Minimum Set Covering Problem (Mcp) Measuring Rationality with the Minimum Cost of Revealed Preference Violations Mark Dean and Daniel Martin Online Appendices - Not for Publication 1 1 Algorithm for Solving the MASP In this online appendix

More information

Using diversification, communication and parallelism to solve mixed-integer linear programs

Using diversification, communication and parallelism to solve mixed-integer linear programs Using diversification, communication and parallelism to solve mixed-integer linear programs R. Carvajal a,, S. Ahmed a, G. Nemhauser a, K. Furman b, V. Goel c, Y. Shao c a Industrial and Systems Engineering,

More information

Conic optimization: examples and software

Conic optimization: examples and software Conic optimization: examples and software Etienne de Klerk Tilburg University, The Netherlands Etienne de Klerk (Tilburg University) Conic optimization: examples and software 1 / 16 Outline Conic optimization

More information

Advanced Lecture on Mathematical Science and Information Science I. Optimization in Finance

Advanced Lecture on Mathematical Science and Information Science I. Optimization in Finance Advanced Lecture on Mathematical Science and Information Science I Optimization in Finance Reha H. Tütüncü Visiting Associate Professor Dept. of Mathematical and Computing Sciences Tokyo Institute of Technology

More information

Compact Mathematical Programs For DEC-MDPs With Structured Agent Interactions

Compact Mathematical Programs For DEC-MDPs With Structured Agent Interactions Compact Mathematical Programs For DEC-MDPs With Structured Agent Interactions Hala Mostafa BBN Technologies 10 Moulton Street, Cambridge, MA hmostafa@bbn.com Victor Lesser Computer Science Department University

More information

PuLP: A Linear Programming Toolkit for Python

PuLP: A Linear Programming Toolkit for Python PuLP: A Linear Programming Toolkit for Python Stuart Mitchell, Stuart Mitchell Consulting, Michael O Sullivan, Iain Dunning Department of Engineering Science, The University of Auckland, Auckland, New

More information

Big Data Optimization at SAS

Big Data Optimization at SAS Big Data Optimization at SAS Imre Pólik et al. SAS Institute Cary, NC, USA Edinburgh, 2013 Outline 1 Optimization at SAS 2 Big Data Optimization at SAS The SAS HPA architecture Support vector machines

More information

Introduction: Models, Model Building and Mathematical Optimization The Importance of Modeling Langauges for Solving Real World Problems

Introduction: Models, Model Building and Mathematical Optimization The Importance of Modeling Langauges for Solving Real World Problems Introduction: Models, Model Building and Mathematical Optimization The Importance of Modeling Langauges for Solving Real World Problems Josef Kallrath Structure of the Lecture: the Modeling Process survey

More information

An open source software approach to combine simulation and optimization of business processes

An open source software approach to combine simulation and optimization of business processes An open source software approach to combine simulation and optimization of business processes Mike Steglich and Christian Müller Technical University of Applied Sciences Wildau Bahnhofstraße, D-745 Wildau,

More information

Discrete Optimization

Discrete Optimization Discrete Optimization [Chen, Batson, Dang: Applied integer Programming] Chapter 3 and 4.1-4.3 by Johan Högdahl and Victoria Svedberg Seminar 2, 2015-03-31 Todays presentation Chapter 3 Transforms using

More information

Backdoors to Combinatorial Optimization: Feasibility and Optimality

Backdoors to Combinatorial Optimization: Feasibility and Optimality Backdoors to Combinatorial Optimization: Feasibility and Optimality Bistra Dilkina, Carla P. Gomes, Yuri Malitsky 2, Ashish Sabharwal, and Meinolf Sellmann 2 Department of Computer Science, Cornell University,

More information

A Metaheuristic Optimization Algorithm for Binary Quadratic Problems

A Metaheuristic Optimization Algorithm for Binary Quadratic Problems OSE SEMINAR 22 A Metaheuristic Optimization Algorithm for Binary Quadratic Problems Otto Nissfolk CENTER OF EXCELLENCE IN OPTIMIZATION AND SYSTEMS ENGINEERING ÅBO AKADEMI UNIVERSITY ÅBO, NOVEMBER 29 th

More information

Why is SAS/OR important? For whom is SAS/OR designed?

Why is SAS/OR important? For whom is SAS/OR designed? Fact Sheet What does SAS/OR software do? SAS/OR software provides a powerful array of optimization, simulation and project scheduling techniques to identify the actions that will produce the best results,

More information

Minimizing costs for transport buyers using integer programming and column generation. Eser Esirgen

Minimizing costs for transport buyers using integer programming and column generation. Eser Esirgen MASTER STHESIS Minimizing costs for transport buyers using integer programming and column generation Eser Esirgen DepartmentofMathematicalSciences CHALMERS UNIVERSITY OF TECHNOLOGY UNIVERSITY OF GOTHENBURG

More information

On a Railway Maintenance Scheduling Problem with Customer Costs and Multi-Depots

On a Railway Maintenance Scheduling Problem with Customer Costs and Multi-Depots Als Manuskript gedruckt Technische Universität Dresden Herausgeber: Der Rektor On a Railway Maintenance Scheduling Problem with Customer Costs and Multi-Depots F. Heinicke (1), A. Simroth (1), G. Scheithauer

More information

i with R/Rmetrics Diethelm Würtz Yohan Chalabi, Andrew Ellis, Dominik Locher ETH Zurich, Rmetrics Association, Theta Fundmanagement

i with R/Rmetrics Diethelm Würtz Yohan Chalabi, Andrew Ellis, Dominik Locher ETH Zurich, Rmetrics Association, Theta Fundmanagement Portfolio Optimization i with R/Rmetrics Diethelm Würtz Yohan Chalabi, Andrew Ellis, Dominik Locher ETH Zurich, Rmetrics Association, Theta Fundmanagement Thanks to William Chen, Alexios Ghalanos, Francisco

More information

How to speed-up hard problem resolution using GLPK?

How to speed-up hard problem resolution using GLPK? How to speed-up hard problem resolution using GLPK? Onfroy B. & Cohen N. September 27, 2010 Contents 1 Introduction 2 1.1 What is GLPK?.......................................... 2 1.2 GLPK, the best one?.......................................

More information

Optimization Modeling for Mining Engineers

Optimization Modeling for Mining Engineers Optimization Modeling for Mining Engineers Alexandra M. Newman Division of Economics and Business Slide 1 Colorado School of Mines Seminar Outline Linear Programming Integer Linear Programming Slide 2

More information

Branch-and-Price Approach to the Vehicle Routing Problem with Time Windows

Branch-and-Price Approach to the Vehicle Routing Problem with Time Windows TECHNISCHE UNIVERSITEIT EINDHOVEN Branch-and-Price Approach to the Vehicle Routing Problem with Time Windows Lloyd A. Fasting May 2014 Supervisors: dr. M. Firat dr.ir. M.A.A. Boon J. van Twist MSc. Contents

More information

LocalSolver: black-box local search for combinatorial optimization

LocalSolver: black-box local search for combinatorial optimization LocalSolver: black-box local search for combinatorial optimization Frédéric Gardi Bouygues e-lab, Paris fgardi@bouygues.com Joint work with T. Benoist, J. Darlay, B. Estellon, R. Megel, K. Nouioua Bouygues

More information

IBM ILOG CPLEX Optimization Studio Getting Started with CPLEX. Version12Release4

IBM ILOG CPLEX Optimization Studio Getting Started with CPLEX. Version12Release4 IBM ILOG CPLEX Optimization Studio Getting Started with CPLEX Version12Release4 Copyright notice Describes general use restrictions and trademarks related to this document and the software described in

More information

Computer Sciences Department

Computer Sciences Department Computer Sciences Department Algorithms and Software for Convex Mixed Integer Nonlinear Programs Pierre Bonami Mustafa Kilinc Jeff Linderoth Technical Report #1664 October 2009 ALGORITHMS AND SOFTWARE

More information

Column Generation in GAMS Extending the GAMS Branch-and-Cut-and-Heuristic (BCH) Facility

Column Generation in GAMS Extending the GAMS Branch-and-Cut-and-Heuristic (BCH) Facility Column Generation in GAMS Extending the GAMS Branch-and-Cut-and-Heuristic (BCH) Facility Michael R. Bussieck MBussieck@gams.com GAMS Software GmbH GAMS Development Corp 83rd Working Group Meeting Real

More information

A Weighted-Sum Mixed Integer Program for Bi-Objective Dynamic Portfolio Optimization

A Weighted-Sum Mixed Integer Program for Bi-Objective Dynamic Portfolio Optimization AUTOMATYKA 2009 Tom 3 Zeszyt 2 Bartosz Sawik* A Weighted-Sum Mixed Integer Program for Bi-Objective Dynamic Portfolio Optimization. Introduction The optimal security selection is a classical portfolio

More information

Lecture 3. Linear Programming. 3B1B Optimization Michaelmas 2015 A. Zisserman. Extreme solutions. Simplex method. Interior point method

Lecture 3. Linear Programming. 3B1B Optimization Michaelmas 2015 A. Zisserman. Extreme solutions. Simplex method. Interior point method Lecture 3 3B1B Optimization Michaelmas 2015 A. Zisserman Linear Programming Extreme solutions Simplex method Interior point method Integer programming and relaxation The Optimization Tree Linear Programming

More information

Adaptive Stable Additive Methods for Linear Algebraic Calculations

Adaptive Stable Additive Methods for Linear Algebraic Calculations Adaptive Stable Additive Methods for Linear Algebraic Calculations József Smidla, Péter Tar, István Maros University of Pannonia Veszprém, Hungary 4 th of July 204. / 2 József Smidla, Péter Tar, István

More information

Solving convex MINLP problems with AIMMS

Solving convex MINLP problems with AIMMS Solving convex MINLP problems with AIMMS By Marcel Hunting Paragon Decision Technology BV An AIMMS White Paper August, 2012 Abstract This document describes the Quesada and Grossman algorithm that is implemented

More information

Discuss the size of the instance for the minimum spanning tree problem.

Discuss the size of the instance for the minimum spanning tree problem. 3.1 Algorithm complexity The algorithms A, B are given. The former has complexity O(n 2 ), the latter O(2 n ), where n is the size of the instance. Let n A 0 be the size of the largest instance that can

More information

Some representability and duality results for convex mixed-integer programs.

Some representability and duality results for convex mixed-integer programs. Some representability and duality results for convex mixed-integer programs. Santanu S. Dey Joint work with Diego Morán and Juan Pablo Vielma December 17, 2012. Introduction About Motivation Mixed integer

More information

SBB: A New Solver for Mixed Integer Nonlinear Programming

SBB: A New Solver for Mixed Integer Nonlinear Programming SBB: A New Solver for Mixed Integer Nonlinear Programming Michael R. Bussieck GAMS Development Corp. Arne S. Drud ARKI Consulting & Development A/S OR2001, Duisburg Overview! SBB = Simple Branch & Bound!

More information

Linear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued.

Linear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued. Linear Programming Widget Factory Example Learning Goals. Introduce Linear Programming Problems. Widget Example, Graphical Solution. Basic Theory:, Vertices, Existence of Solutions. Equivalent formulations.

More information

Phase Identification in Smart Grids

Phase Identification in Smart Grids Phase Identification in Smart Grids V Arya, D Seetharam, S Kalyanaraman, K Dontas IBM Research, India {vijayarya, dseetharam, shivkumar-k, kedontas}@inibmcom C Pavlovski, S Hoy IBM GBS, Australia {chris_pav,

More information

Strategic planning in LTL logistics increasing the capacity utilization of trucks

Strategic planning in LTL logistics increasing the capacity utilization of trucks Strategic planning in LTL logistics increasing the capacity utilization of trucks J. Fabian Meier 1,2 Institute of Transport Logistics TU Dortmund, Germany Uwe Clausen 3 Fraunhofer Institute for Material

More information

CASH FLOW MATCHING PROBLEM WITH CVaR CONSTRAINTS: A CASE STUDY WITH PORTFOLIO SAFEGUARD. Danjue Shang and Stan Uryasev

CASH FLOW MATCHING PROBLEM WITH CVaR CONSTRAINTS: A CASE STUDY WITH PORTFOLIO SAFEGUARD. Danjue Shang and Stan Uryasev CASH FLOW MATCHING PROBLEM WITH CVaR CONSTRAINTS: A CASE STUDY WITH PORTFOLIO SAFEGUARD Danjue Shang and Stan Uryasev PROJECT REPORT #2011-1 Risk Management and Financial Engineering Lab Department of

More information

Het inplannen van besteld ambulancevervoer (Engelse titel: Scheduling elected ambulance transportation)

Het inplannen van besteld ambulancevervoer (Engelse titel: Scheduling elected ambulance transportation) Technische Universiteit Delft Faculteit Elektrotechniek, Wiskunde en Informatica Delft Institute of Applied Mathematics Het inplannen van besteld ambulancevervoer (Engelse titel: Scheduling elected ambulance

More information

Business Analytics with. Management Science. Models and Methods. Arben Asllani Professor of Business Analytics, University of Tennessee at Chattanooga

Business Analytics with. Management Science. Models and Methods. Arben Asllani Professor of Business Analytics, University of Tennessee at Chattanooga Business Analytics with Management Science Models and Methods Arben Asllani Professor of Business Analytics, University of Tennessee at Chattanooga Contents Preface xii Chapter 1 Business Analytics with

More information

Solving Math Programs with LINGO

Solving Math Programs with LINGO 2 Solving Math Programs with LINGO 2.1 Introduction The process of solving a math program requires a large number of calculations and is, therefore, best performed by a computer program. The computer program

More information

Support Vector Machines Explained

Support Vector Machines Explained March 1, 2009 Support Vector Machines Explained Tristan Fletcher www.cs.ucl.ac.uk/staff/t.fletcher/ Introduction This document has been written in an attempt to make the Support Vector Machines (SVM),

More information

Chapter 13: Binary and Mixed-Integer Programming

Chapter 13: Binary and Mixed-Integer Programming Chapter 3: Binary and Mixed-Integer Programming The general branch and bound approach described in the previous chapter can be customized for special situations. This chapter addresses two special situations:

More information

An Energy-Aware Methodology for Live Placement of Virtual Machines with Variable Profiles in Large Data Centers

An Energy-Aware Methodology for Live Placement of Virtual Machines with Variable Profiles in Large Data Centers An Energy-Aware Methodology for Live Placement of Virtual Machines with Variable Profiles in Large Data Centers Rossella Macchi: Danilo Ardagna: Oriana Benetti: Politecnico di Milano eni s.p.a. Politecnico

More information

5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 General Integer Linear Program: (ILP) min c T x Ax b x 0 integer Assumption: A, b integer The integrality condition

More information

Optimal Scheduling for Dependent Details Processing Using MS Excel Solver

Optimal Scheduling for Dependent Details Processing Using MS Excel Solver BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 8, No 2 Sofia 2008 Optimal Scheduling for Dependent Details Processing Using MS Excel Solver Daniela Borissova Institute of

More information

CREATING WEEKLY TIMETABLES TO MAXIMIZE EMPLOYEE PREFERENCES

CREATING WEEKLY TIMETABLES TO MAXIMIZE EMPLOYEE PREFERENCES CREATING WEEKLY TIMETABLES TO MAXIMIZE EMPLOYEE PREFERENCES CALEB Z. WHITE, YOUNGBAE LEE, YOONSOO KIM, REKHA THOMAS, AND PATRICK PERKINS Abstract. We develop a method to generate optimal weekly timetables

More information

Guidelines and Procedures for Project Management

Guidelines and Procedures for Project Management Guidelines and Procedures for Project Management Coin-OR Foundation May 17, 2007 Contents 1 Introduction 3 2 Responsibilities 3 3 Contacts and Information 4 4 Definitions 4 5 Establishing a New Project

More information

A Branch-Cut-and-Price Approach to the Bus Evacuation Problem with Integrated Collection Point and Shelter Decisions

A Branch-Cut-and-Price Approach to the Bus Evacuation Problem with Integrated Collection Point and Shelter Decisions A Branch-Cut-and-Price Approach to the Bus Evacuation Problem with Integrated Collection Point and Shelter Decisions Marc Goerigk, Bob Grün, and Philipp Heßler Fachbereich Mathematik, Technische Universität

More information

A numerically adaptive implementation of the simplex method

A numerically adaptive implementation of the simplex method A numerically adaptive implementation of the simplex method József Smidla, Péter Tar, István Maros Department of Computer Science and Systems Technology University of Pannonia 17th of December 2014. 1

More information

Advanced Computational Software

Advanced Computational Software Advanced Computational Software Scientific Libraries: Part 2 Blue Waters Undergraduate Petascale Education Program May 29 June 10 2011 Outline Quick review Fancy Linear Algebra libraries - ScaLAPACK -PETSc

More information

Large Neighborhood Search beyond MIP

Large Neighborhood Search beyond MIP Konrad-Zuse-Zentrum für Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Germany TIMO BERTHOLD, STEFAN HEINZ, MARC E. PFETSCH 1, STEFAN VIGERSKE 2, Large Neighborhood Search beyond MIP 1 2

More information

Open-source Quality Assurance and Performance Analysis Tools

Open-source Quality Assurance and Performance Analysis Tools Open-source Quality Assurance and Performance Analysis Tools Armin Pruessner, Michael Bussieck, Steven Dirkse, Stefan Vigerske GAMS Development Corporation 1217 Potomac Street NW Washington, DC 20007 1

More information

A Constraint Programming based Column Generation Approach to Nurse Rostering Problems

A Constraint Programming based Column Generation Approach to Nurse Rostering Problems Abstract A Constraint Programming based Column Generation Approach to Nurse Rostering Problems Fang He and Rong Qu The Automated Scheduling, Optimisation and Planning (ASAP) Group School of Computer Science,

More information

Integrating Benders decomposition within Constraint Programming

Integrating Benders decomposition within Constraint Programming Integrating Benders decomposition within Constraint Programming Hadrien Cambazard, Narendra Jussien email: {hcambaza,jussien}@emn.fr École des Mines de Nantes, LINA CNRS FRE 2729 4 rue Alfred Kastler BP

More information

Instituto Superior Técnico Masters in Civil Engineering. Lecture 2: Transport networks design and evaluation Xpress presentation - Laboratory work

Instituto Superior Técnico Masters in Civil Engineering. Lecture 2: Transport networks design and evaluation Xpress presentation - Laboratory work Instituto Superior Técnico Masters in Civil Engineering REGIÕES E REDES () Lecture 2: Transport networks design and evaluation Xpress presentation - Laboratory work Eng. Luis Martínez OUTLINE Xpress presentation

More information

Solving Very Large Financial Planning Problems on Blue Gene

Solving Very Large Financial Planning Problems on Blue Gene U N I V E R S School of Mathematics T H E O I T Y H F G E D I N U R Solving Very Large Financial Planning Problems on lue Gene ndreas Grothey, University of Edinburgh joint work with Jacek Gondzio, Marco

More information

EXCEL SOLVER TUTORIAL

EXCEL SOLVER TUTORIAL ENGR62/MS&E111 Autumn 2003 2004 Prof. Ben Van Roy October 1, 2003 EXCEL SOLVER TUTORIAL This tutorial will introduce you to some essential features of Excel and its plug-in, Solver, that we will be using

More information

An Implementation of a Constraint Branching Algorithm for Optimally Solving Airline Crew Pairing Problems

An Implementation of a Constraint Branching Algorithm for Optimally Solving Airline Crew Pairing Problems MASTER S THESIS An Implementation of a Constraint Branching Algorithm for Optimally Solving Airline Crew Pairing Problems Douglas Potter Department of Mathematical Sciences CHALMERS UNIVERSITY OF TECHNOLOGY

More information

Branch, Cut, and Price: Sequential and Parallel

Branch, Cut, and Price: Sequential and Parallel Branch, Cut, and Price: Sequential and Parallel T.K. Ralphs 1, L. Ladányi 2, and L.E. Trotter, Jr. 3 1 Department of Industrial and Manufacturing Systems Engineering, Lehigh University, Bethlehem, PA 18017,

More information

Linear Programming Notes V Problem Transformations

Linear Programming Notes V Problem Transformations Linear Programming Notes V Problem Transformations 1 Introduction Any linear programming problem can be rewritten in either of two standard forms. In the first form, the objective is to maximize, the material

More information

Distributionally Robust Optimization with ROME (part 2)

Distributionally Robust Optimization with ROME (part 2) Distributionally Robust Optimization with ROME (part 2) Joel Goh Melvyn Sim Department of Decision Sciences NUS Business School, Singapore 18 Jun 2009 NUS Business School Guest Lecture J. Goh, M. Sim (NUS)

More information

Completely Positive Cone and its Dual

Completely Positive Cone and its Dual On the Computational Complexity of Membership Problems for the Completely Positive Cone and its Dual Peter J.C. Dickinson Luuk Gijben July 3, 2012 Abstract Copositive programming has become a useful tool

More information

Energy capacity planning and modeling

Energy capacity planning and modeling Andras Herczeg: Energy capacity planning and modeling - with Open Source Energy Modeling System (OSeMOSYS) (Final Report) Rensselaer Polytechnic Institute MANE-6960H01 Mathematical Modeling of Energy and

More information

Spare part inventory control for an aircraft component repair shop

Spare part inventory control for an aircraft component repair shop Spare part inventory control for an aircraft component repair shop Martin de Jong - Fokker Services Willem van Jaarsveld - Erasmus Universiteit Rotterdam 19th of January 2011 Outline Introduction Component

More information

A Mathematical Programming Solution to the Mars Express Memory Dumping Problem

A Mathematical Programming Solution to the Mars Express Memory Dumping Problem A Mathematical Programming Solution to the Mars Express Memory Dumping Problem Giovanni Righini and Emanuele Tresoldi Dipartimento di Tecnologie dell Informazione Università degli Studi di Milano Via Bramante

More information

GAMS, Condor and the Grid: Solving Hard Optimization Models in Parallel. Michael C. Ferris University of Wisconsin

GAMS, Condor and the Grid: Solving Hard Optimization Models in Parallel. Michael C. Ferris University of Wisconsin GAMS, Condor and the Grid: Solving Hard Optimization Models in Parallel Michael C. Ferris University of Wisconsin Parallel Optimization Aid search for global solutions (typically in non-convex or discrete)

More information

Airport Planning and Design. Excel Solver

Airport Planning and Design. Excel Solver Airport Planning and Design Excel Solver Dr. Antonio A. Trani Professor of Civil and Environmental Engineering Virginia Polytechnic Institute and State University Blacksburg, Virginia Spring 2012 1 of

More information

Pyomo Online Documentation 4.1. Pyomo Online Documentation 4.1

Pyomo Online Documentation 4.1. Pyomo Online Documentation 4.1 Pyomo Online Documentation 4.1 i Pyomo Online Documentation 4.1 Pyomo Online Documentation 4.1 ii COLLABORATORS TITLE : Pyomo Online Documentation 4.1 ACTION NAME DATE SIGNATURE WRITTEN BY William E. Hart

More information

Mathematical finance and linear programming (optimization)

Mathematical finance and linear programming (optimization) Mathematical finance and linear programming (optimization) Geir Dahl September 15, 2009 1 Introduction The purpose of this short note is to explain how linear programming (LP) (=linear optimization) may

More information

Calc Guide Chapter 9 Data Analysis

Calc Guide Chapter 9 Data Analysis Calc Guide Chapter 9 Data Analysis Using Scenarios, Goal Seek, Solver, others Copyright This document is Copyright 2007 2011 by its contributors as listed below. You may distribute it and/or modify it

More information

at which branching takes place, a "middleman," if you will. See the transship model panel. ABSTRACT

at which branching takes place, a middleman, if you will. See the transship model panel. ABSTRACT Optimal Solution of Discrete Resource Allocation Problems with SAS/OR Software by LTC Doug McAllaster, US Army Logistics Management College, Fort Lee, VA ABSTRACT This paper is a tutorial on how to use

More information

Multiple Spanning Tree Protocol (MSTP), Multi Spreading And Network Optimization Model

Multiple Spanning Tree Protocol (MSTP), Multi Spreading And Network Optimization Model Load Balancing of Telecommunication Networks based on Multiple Spanning Trees Dorabella Santos Amaro de Sousa Filipe Alvelos Instituto de Telecomunicações 3810-193 Aveiro, Portugal dorabella@av.it.pt Instituto

More information

2.3 Convex Constrained Optimization Problems

2.3 Convex Constrained Optimization Problems 42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

More information

wu.cloud: Insights Gained from Operating a Private Cloud System

wu.cloud: Insights Gained from Operating a Private Cloud System wu.cloud: Insights Gained from Operating a Private Cloud System Stefan Theußl, Institute for Statistics and Mathematics WU Wirtschaftsuniversität Wien March 23, 2011 1 / 14 Introduction In statistics we

More information

A progressive method to solve large-scale AC Optimal Power Flow with discrete variables and control of the feasibility

A progressive method to solve large-scale AC Optimal Power Flow with discrete variables and control of the feasibility A progressive method to solve large-scale AC Optimal Power Flow with discrete variables and control of the feasibility Manuel Ruiz, Jean Maeght, Alexandre Marié, Patrick Panciatici and Arnaud Renaud manuel.ruiz@artelys.com

More information

DATA AND SOFTWARE INTEROPERABILITY WITH GAMS: A USER PERSPECTIVE

DATA AND SOFTWARE INTEROPERABILITY WITH GAMS: A USER PERSPECTIVE Amsterdam Optimization Modeling Group LLC Erwin Kalvelagen erwin@amsterdamoptimization.com DATA AND SOFTWARE INTEROPERABILITY WITH GAMS: A USER PERSPECTIVE Modeling Languages Specialized Modeling Languages

More information

Optimization Services: A Framework for Distributed Optimization

Optimization Services: A Framework for Distributed Optimization Submitted to Operations Research manuscript OPRE-2008-09-495 Optimization Services: A Framework for Distributed Optimization Robert Fourer, Jun Ma Department of Industrial Engineering and Management Sciences,

More information

INTEGER PROGRAMMING. Integer Programming. Prototype example. BIP model. BIP models

INTEGER PROGRAMMING. Integer Programming. Prototype example. BIP model. BIP models Integer Programming INTEGER PROGRAMMING In many problems the decision variables must have integer values. Example: assign people, machines, and vehicles to activities in integer quantities. If this is

More information

Combined Virtual Mobile Core Network Function Placement and Topology Optimization with Latency bounds

Combined Virtual Mobile Core Network Function Placement and Topology Optimization with Latency bounds Combined Virtual Mobile Core Network Function Placement and Topology Optimization with Latency bounds Andreas Baumgartner Varun Reddy Thomas Bauschert Chair of Communication Networks Technische Universita

More information

Package hive. January 10, 2011

Package hive. January 10, 2011 Package hive January 10, 2011 Version 0.1-9 Date 2011-01-09 Title Hadoop InteractiVE Description Hadoop InteractiVE, is an R extension facilitating distributed computing via the MapReduce paradigm. It

More information

A new Branch-and-Price Algorithm for the Traveling Tournament Problem (TTP) Column Generation 2008, Aussois, France

A new Branch-and-Price Algorithm for the Traveling Tournament Problem (TTP) Column Generation 2008, Aussois, France A new Branch-and-Price Algorithm for the Traveling Tournament Problem (TTP) Column Generation 2008, Aussois, France Stefan Irnich 1 sirnich@or.rwth-aachen.de RWTH Aachen University Deutsche Post Endowed

More information

Scheduling Algorithm with Optimization of Employee Satisfaction

Scheduling Algorithm with Optimization of Employee Satisfaction Washington University in St. Louis Scheduling Algorithm with Optimization of Employee Satisfaction by Philip I. Thomas Senior Design Project http : //students.cec.wustl.edu/ pit1/ Advised By Associate

More information

Introduction to Process Optimization

Introduction to Process Optimization Chapter 1 Introduction to Process Optimization Most things can be improved, so engineers and scientists optimize. While designing systems and products requires a deep understanding of influences that achieve

More information

Semi-Supervised Support Vector Machines and Application to Spam Filtering

Semi-Supervised Support Vector Machines and Application to Spam Filtering Semi-Supervised Support Vector Machines and Application to Spam Filtering Alexander Zien Empirical Inference Department, Bernhard Schölkopf Max Planck Institute for Biological Cybernetics ECML 2006 Discovery

More information

RIPE Policy Development Process

RIPE Policy Development Process RIPE Policy Development Process And some recent topics 1 Overview RIPE RIPE Policy Development Process (PDP) Current Topics - IPv4 Depletion - IPv6 Deployment 2 RIPE Folks in Europe talking about TCP/IP

More information

How the European day-ahead electricity market works

How the European day-ahead electricity market works How the European day-ahead electricity market works ELEC0018-1 - Marché de l'énergie - Pr. D. Ernst! Bertrand Cornélusse, Ph.D.! bertrand.cornelusse@ulg.ac.be! October 2014! 1 Starting question How is

More information

Locating and sizing bank-branches by opening, closing or maintaining facilities

Locating and sizing bank-branches by opening, closing or maintaining facilities Locating and sizing bank-branches by opening, closing or maintaining facilities Marta S. Rodrigues Monteiro 1,2 and Dalila B. M. M. Fontes 2 1 DMCT - Universidade do Minho Campus de Azurém, 4800 Guimarães,

More information

Basic Components of an LP:

Basic Components of an LP: 1 Linear Programming Optimization is an important and fascinating area of management science and operations research. It helps to do less work, but gain more. Linear programming (LP) is a central topic

More information

An Introduction on SemiDefinite Program

An Introduction on SemiDefinite Program An Introduction on SemiDefinite Program from the viewpoint of computation Hayato Waki Institute of Mathematics for Industry, Kyushu University 2015-10-08 Combinatorial Optimization at Work, Berlin, 2015

More information