Automatic Scheduling of Hypermedia Documents with Elastic Times
|
|
- Dora Stephens
- 5 years ago
- Views:
Transcription
1 Automatic Scheduling of Hypermedia Documents with Elastic Times Celso C. Ribeiro Joint work with M.T. Medina and L.F.G. Soares Computer Science Department Catholic University of Rio de Janeiro, Brazil Workshop on New Trends in Scheduling Parallel and Distributed Systems Luminy, October 1-5, 2001
2 Automatic Scheduling 2 Contents Contents: Introduction Problem formulation Primal heuristic Lagrangean relaxation Dual heuristic Concluding remarks
3 Automatic Scheduling 3 Introduction Hypermedia systems should have some desirable features, such as: supporting a rich set of capabilities for each media segment (video, audio, text, pictures, animation,... ): alternatives for different presentations presentation duration flexibility behavior changes during presentation allowing the explicit definition of temporal relationships among media segments with non-deterministic times supporting a temporal formatting algorithm that considers non-determinism allows on-the-fly corrections whenever unpredictable events (network delays, user interactions) occur
4 Automatic Scheduling 4 Introduction A presentation event is a media segment presentation d min : minimum allowed presentation time d max : maximum allowed presentation time d ideal :durationwithbestpresentationquality c: cost of shrinking or stretching the presentation duration
5 Automatic Scheduling 5 Introduction Scheduling algorithm: determination of starting times and optimal durations d opt (which will be tried by the formatter) so as to ensure spatial and temporal consistency at compile time: build an execution plan to guide the scheduling of the object presentation at run time: online adjustments to handle unpredictable events (network delays, user interactions) Difficult of performing fast rescheduling in run time led the systems that make time adjustments to make them only at compile time. Other systems: Firefly, Isis, Madeus (linear programming, PERT, constraints,... )
6 Automatic Scheduling 6 Introduction Problem: find (at compile time) the otimal starting times and durations of objects to be presented, to ensure spatial and temporal consistency of the presentation while respecting limits on shrinking and stretching the ideal duration of each object. Objectives: (1) minimize the total cost of shrinking and stretching objects; (2) minimize the number of presentation events that will have their durations different than the ideal ones; (3) spread the changes in object duration proportionally to their duration; and (4) find the shortest and longest presentation durations. Objectives (1), (3), and (4) can be dealt with at compile time by linear programming models.
7 Automatic Scheduling 7 Introduction Although conflicting, objectives (1) minimize the total cost of shrinking and stretching objects and (2) minimize the number of presentation events that will have their durations different than the ideal ones are the most natural. Possible strategy to handle both of them:select the best solution with respect to (2) among all those which optimize (1). The combinatorial nature of the minimization of the number of objects whose ideal duration is modified makes objective (2) the most difficult to be tackled by combinatorial algorithms. Extendable mixed 0-1 LIP formulation using objective (2) Fast and effective primal heuristic based on variable fixations Lagrangean relaxation and dual heuristic
8 Automatic Scheduling 8 Problem formulation Hypermedia document represented by a directed graph G =[N,A]: set Ns = {1,...,n} of synchronization points where presentation events either start or stop set N = {0} {1,...,n} {n +1} of nodes, where 0 and n +1 denote respectively the initial and the final nodes set A of arcs: presentation events are arcs (i, j) with both extremities i, j {1,...,n} and durations d min ij, d ideal ij,andd max ij dummy initial arcs (0,j)withj {1,...,n} and durations d min 0j =0,d ideal 0j =0,andd max 0j = dummy final arcs (i, n +1)withi {1,...,n} and durations d min i,n+1 =0,dideal i,n+1 =0,anddmax i,n+1 =
9 Automatic Scheduling 9 Problem formulation Variables: continuous variable ti 0, for every i N time in which synchronization takes place at i Ns presentation starting time: t0 = 0 end of presentation: tn+1 continuous variable xij [d min ij,d max ij ], for every (i, j) A duration of each presentation (or dummy) event (i, j) A binary variable yij {0, 1}, for every event (i, j) A yij = 1, if the ideal duration of event (i, j) ismodified yij =0,otherwise artificial costs cij associated to every arc (i, j) A cij =1,if(i, j) is a presentation event cij = 0, otherwise (i.e., (i, j) isadummyevent)
10 Automatic Scheduling 10 Problem formulation Formulation: mixed 0-1 integer programming problem ASHD z =min with: (i,j) A cij yij ti tj + xij =0 (i, j) A (1) xij bij yij d ideal ij (i, j) A (2) xij +aij yij d ideal ij (i, j) A (3) yij {0, 1} (i, j) A (4) ti 0 i N \{0} t0 =0 = d min d ideal aij ij ij = d max d ideal bij ij ij
11 Automatic Scheduling 11 Problem formulation Formulation: mixed 0-1 integer programming problem ASHD z =min with: (i,j) A cij yij ti tj + xij =0 (i, j) A (1) xij bij yij d ideal ij (i, j) A (2) xij +aij yij d ideal ij (i, j) A (3) yij {0, 1} (i, j) A (4) ti 0 i N \{0} t0 =0 = d min d ideal aij ij ij = d max d ideal bij ij ij Open question: complexity of ASHD?
12 Automatic Scheduling 12 Primal heuristic ASHD is the LP relaxation of ASHD: yij {0, 1} 0 yij 1 Primal heuristic PH for problem ASHD: procedure PH 1 Solve ASHD and let (y, x, t) be its optimal solution; 2 while (i, j) A :0< y ij < 1do 3 Fix to one in ASHD all variables yij such that y ij =1; 4 Fix to zero in ASHD all variables yij such that y ij =0; 5 Variable selection: select and fix at either zero or one in ASHD a variable yst with a fractional value 0 < y st < 1inASHD; 6 Solve ASHD and let (y, x, t) be its optimal solution; 7 end while; 8 return y; end PH;
13 Automatic Scheduling 13 Primal heuristic procedure Variable selection 1 if (i, j) A, i = 0,j = n +1:0< y ij α then do 2 (s, t) argmin (i,j) A,i =0,j =n+1 {y ij :0< y ij α}; 3 Fixyst to zero in ASHD; 4 if ASHD is not feasible then fix yst to one in ASHD; 5 else if (i, j) A, i = 0,j = n +1:1 α y ij < 1thendo 6 (s, t) argmax (i,j) A,i =0,j =n+1 {y ij :1 α y ij < 1}; 7 Fix yst to one in ASHD; 8 else do 9 (s, t) argmin (i,j) A,i =0,j =n+1 min{y ij, 1 y ij }; 10 if yst 0.5 thendo 11 Fix yst to zero in ASHD; 12 if ASHD is not feasible then fix yst to one in ASHD; 13 else fix yst to one in ASHD; 14 return (s, t); end Variable selection;
14 Automatic Scheduling 14 Computational results PH Primal heuristic UltraSPARC station, CPLEX 5.0, 35 instances, n = Best value Time (s) Duality Instance Nodes Arcs PH Exact PH Exact gap (%) a a a c c > 4hs 52.3 d d e e maximum size of the enumeration tree exceeded
15 Automatic Scheduling 15 Computational results PH Conclusions: PH found good solutions within small computation times for real-size instances. Reasonable computation times, except for very large instances (500 or more nodes). PH found the optimal solutions for two of seven instances for which the exact optimal is known and was off by exactly one unit for two others. Average and maximum gaps are respectively 54.5% and 59.6%. Very large duality gaps even for small instances for which PH found the optimal solution:
16 Automatic Scheduling 16 Computational results PH Conclusions: PH found good solutions within small computation times for real-size instances. Reasonable computation times, except for very large instances (500 or more nodes). PH found the optimal solutions for two of seven instances for which the exact optimal is known and was off by exactly one unit for two others. Average and maximum gaps are 54.5% and 59.6%. Very large duality gaps even for small instances for which PH found the optimal solution: conjecture: solutions are quite good, but bounds are poor search for polyhedral cuts or valid inequalities should be pursued if one wants to develop efficient exact methods
17 Automatic Scheduling 17 Lagrangean relaxation Lagrangean dual of problem ASHD: Associate non-negative dual multipliers λ + ij and λ ij to constraints (2) and (3) for each arc (i, j) A: Lagrangean function: L(x, y, t, λ +, λ )= cij yij+λ + ij (x ij bij yij d ideal ij )+λ ij ( x ij+aij yij+d ideal ij ) (i,j) A Dual function: w(λ +, λ )=min L(x, y, t, λ +, λ ) with: ti tj + xij =0 (i, j) A (1) yi,j {0, 1} (i, j) A (4) d min ij xij d max ij (i, j) A (5) ti 0 i N \{0} t0 =0.
18 Automatic Scheduling 18 Dual heuristic Dual heuristic DH: Combines the primal heuristic and the solution of the dual problem by subgradient optimization. Uses the multipliers obtained along the solution of the dual problem to periodically generate reduced costs c ij associated with the 0-1 variables yij. Periodically applies the primal heuristic PH. Reduced costs c ij replacing the original costs c ij in the primal heuristic are computed according with two different schemes: c ij = c ij + aij λ ij b ij λ + ij (Lagrangean multiplipliers) c ij =(1 ŷ ij) cij (primal aproximation) Stopping criteria: total number of iterations of the subgradient algorithm equals 1200 or the relative difference between two consecutive dual function values becomes less than 10 4.
19 Automatic Scheduling 19 Dual heuristic Dual heuristic DH for problem ASHD: procedure DH 1 Apply PH to compute a feasible solution y; 2 Set the upper bound zbest (i,j) A c ij y ij and ybest y; 3 while stopping criteria not attained do 4 Perform a certain number of subgradient iterations; 5 Recompute reduced costs c using the current dual multipliers (λ +, λ ); 6 Apply PH using c to compute a new feasible solution y; 7 if (i,j) A c ij y ij <zbest 8 then set zbest (i,j) A c ij y ij and ybest y; 9 end; 10 return y; end DH;
20 Automatic Scheduling 20 Computational results DH Dual heuristic (1/2) DH PH Exact Instance Nodes Arcs zbest s zbest s z a a b b b c c c d d d
21 Automatic Scheduling 21 Computational results DH Dual heuristic (2/2) DH PH Exact Instance Nodes Arcs zbest s zbest s z e e f f f g
22 Automatic Scheduling 22 Computational results DH Conclusions: The dual heuristic DH consistently improves upon the solutions found by the primal heuristic PH, finding better solutions for 17 out of the 35 test problems. However, the computational times observed for the dual heuristic DH are much larger. Need for better/faster construction algorithms and local search procedures (work-in-progress) based on variable complementation.
23 Automatic Scheduling 23 Concluding remarks Concluding remarks and extensions: Primal heuristic: effective in finding good solutions in small processing times (real-size instances); quite promising not only in algorithmic terms, but also concerning its integration within existing document formatting systems.
24 Automatic Scheduling 24 Concluding remarks Concluding remarks and extensions: Primal heuristic: effective in finding good solutions in small processing times (real-size instances); quite promising not only in algorithmic terms, but also concerning its integration within existing document formatting systems. Dual heuristic: better solutions, but at the cost of much larger computation times.
25 Automatic Scheduling 25 Concluding remarks Concluding remarks and extensions: Primal heuristic: effective in finding good solutions in small processing times (real-size instances); quite promising not only in algorithmic terms, but also concerning its integration within existing document formatting systems. Dual heuristic: better solutions, but at the cost of much larger computation times. Establish the computational complexity of problem ASHD.
26 Automatic Scheduling 26 Concluding remarks Concluding remarks and extensions: Primal heuristic: effective in finding good solutions in small processing times (real-size instances); quite promising not only in algorithmic terms, but also concerning its integration within existing document formatting systems. Dual heuristic: better solutions, but at the cost of much larger computation times. Establish the computational complexity of problem ASHD. Replace CPLEX by a customized LP algorithm to speedup the solution of the linear relaxation ASHD.
27 Automatic Scheduling 27 Concluding remarks Concluding remarks and extensions: Primal heuristic: effective in finding good solutions in small processing times (real-size instances); quite promising not only in algorithmic terms, but also concerning its integration within existing document formatting systems. Dual heuristic: better solutions, but at the cost of much larger computation times. Establish the computational complexity of problem ASHD. Replace CPLEX by a customized LP algorithm to speedup the solution of the linear relaxation ASHD. Improved construction procedures and local search strategies.
28 Automatic Scheduling 28 Concluding remarks Concluding remarks and extensions: Primal heuristic: effective in finding good solutions in small processing times (real-size instances); quite promising not only in algorithmic terms, but also concerning its integration within existing document formatting systems. Dual heuristic: better solutions, but at the cost of much larger computation times. Establish the computational complexity of problem ASHD. Replace CPLEX by a customized LP algorithm to speedup the solution of the linear relaxation ASHD. Improved construction procedures and local search strategies. Integration of such heuristics and the bicriteria optimization approach within an existing document formatter to perform compile time scheduling and even run time adjustments.
29 Automatic Scheduling 29 Paper and slides Automatic Scheduling of Hypermedia Documents with Elastic Times Maira T. Medina Celso C. Ribeiro Luiz Fernando G. Soares Computer Science Department Catholic University of Rio de Janeiro Paper: //www-di.inf.puc-rio.br/ celso/artigos/ashd.pdf Slides: //www-di.inf.puc-rio.br/ celso/talks/luminy.pdf
MVE165/MMG630, Applied Optimization Lecture 8 Integer linear programming algorithms. Ann-Brith Strömberg
MVE165/MMG630, Integer linear programming algorithms Ann-Brith Strömberg 2009 04 15 Methods for ILP: Overview (Ch. 14.1) Enumeration Implicit enumeration: Branch and bound Relaxations Decomposition methods:
More informationMVE165/MMG631 Linear and integer optimization with applications Lecture 9 Discrete optimization: theory and algorithms
MVE165/MMG631 Linear and integer optimization with applications Lecture 9 Discrete optimization: theory and algorithms Ann-Brith Strömberg 2018 04 24 Lecture 9 Linear and integer optimization with applications
More information15.082J and 6.855J. Lagrangian Relaxation 2 Algorithms Application to LPs
15.082J and 6.855J Lagrangian Relaxation 2 Algorithms Application to LPs 1 The Constrained Shortest Path Problem (1,10) 2 (1,1) 4 (2,3) (1,7) 1 (10,3) (1,2) (10,1) (5,7) 3 (12,3) 5 (2,2) 6 Find the shortest
More informationIntroduction to Mathematical Programming IE406. Lecture 20. Dr. Ted Ralphs
Introduction to Mathematical Programming IE406 Lecture 20 Dr. Ted Ralphs IE406 Lecture 20 1 Reading for This Lecture Bertsimas Sections 10.1, 11.4 IE406 Lecture 20 2 Integer Linear Programming An integer
More informationFundamentals of Integer Programming
Fundamentals of Integer Programming Di Yuan Department of Information Technology, Uppsala University January 2018 Outline Definition of integer programming Formulating some classical problems with integer
More informationAssignment 3b: The traveling salesman problem
Chalmers University of Technology MVE165 University of Gothenburg MMG631 Mathematical Sciences Linear and integer optimization Optimization with applications Emil Gustavsson Assignment information Ann-Brith
More information1. Lecture notes on bipartite matching February 4th,
1. Lecture notes on bipartite matching February 4th, 2015 6 1.1.1 Hall s Theorem Hall s theorem gives a necessary and sufficient condition for a bipartite graph to have a matching which saturates (or matches)
More informationLagrangean relaxation - exercises
Lagrangean relaxation - exercises Giovanni Righini Set covering We start from the following Set Covering Problem instance: min z = x + 2x 2 + x + 2x 4 + x 5 x + x 2 + x 4 x 2 + x x 2 + x 4 + x 5 x + x
More informationFinal Exam Spring 2003
.8 Final Exam Spring Name Instructions.. Please answer all questions in the exam books that are provided.. Please budget your time carefully. It is often a good idea to read the entire exam first, so that
More informationApplied Lagrange Duality for Constrained Optimization
Applied Lagrange Duality for Constrained Optimization Robert M. Freund February 10, 2004 c 2004 Massachusetts Institute of Technology. 1 1 Overview The Practical Importance of Duality Review of Convexity
More informationAn SDP Approach to Multi-level Crossing Minimization
An SDP Approach to Multi-level Crossing Minimization P. Hungerländer joint work with M. Chimani, M. Jünger, P. Mutzel University of Klagenfurt - Department of Mathematics 15th Combinatorial Optimization
More informationColumn Generation Method for an Agent Scheduling Problem
Column Generation Method for an Agent Scheduling Problem Balázs Dezső Alpár Jüttner Péter Kovács Dept. of Algorithms and Their Applications, and Dept. of Operations Research Eötvös Loránd University, Budapest,
More informationAlgorithms for Integer Programming
Algorithms for Integer Programming Laura Galli November 9, 2016 Unlike linear programming problems, integer programming problems are very difficult to solve. In fact, no efficient general algorithm is
More informationLinear Programming. Course review MS-E2140. v. 1.1
Linear Programming MS-E2140 Course review v. 1.1 Course structure Modeling techniques Linear programming theory and the Simplex method Duality theory Dual Simplex algorithm and sensitivity analysis Integer
More informationMinimum Weight Constrained Forest Problems. Problem Definition
Slide 1 s Xiaoyun Ji, John E. Mitchell Department of Mathematical Sciences Rensselaer Polytechnic Institute Troy, NY, USA jix@rpi.edu, mitchj@rpi.edu 2005 Optimization Days Montreal, Canada May 09, 2005
More informationMath Models of OR: The Simplex Algorithm: Practical Considerations
Math Models of OR: The Simplex Algorithm: Practical Considerations John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA September 2018 Mitchell Simplex Algorithm: Practical Considerations
More informationEffective probabilistic stopping rules for randomized metaheuristics: GRASP implementations
Effective probabilistic stopping rules for randomized metaheuristics: GRASP implementations Celso C. Ribeiro Isabel Rosseti Reinaldo C. Souza Universidade Federal Fluminense, Brazil July 2012 1/45 Contents
More informationA Computational Study of Conflict Graphs and Aggressive Cut Separation in Integer Programming
A Computational Study of Conflict Graphs and Aggressive Cut Separation in Integer Programming Samuel Souza Brito and Haroldo Gambini Santos 1 Dep. de Computação, Universidade Federal de Ouro Preto - UFOP
More informationModeling, authoring and formatting hypermedia documents in the HyperProp system
Multimedia Systems 8: 118 134 (2000) Multimedia Systems c Springer-Verlag 2000 Modeling, authoring and formatting hypermedia documents in the HyperProp system Luiz Fernando G. Soares, Rogério F. Rodrigues,
More informationAdvanced Operations Research Techniques IE316. Quiz 2 Review. Dr. Ted Ralphs
Advanced Operations Research Techniques IE316 Quiz 2 Review Dr. Ted Ralphs IE316 Quiz 2 Review 1 Reading for The Quiz Material covered in detail in lecture Bertsimas 4.1-4.5, 4.8, 5.1-5.5, 6.1-6.3 Material
More information56:272 Integer Programming & Network Flows Final Examination -- December 14, 1998
56:272 Integer Programming & Network Flows Final Examination -- December 14, 1998 Part A: Answer any four of the five problems. (15 points each) 1. Transportation problem 2. Integer LP Model Formulation
More informationLocal search with perturbations for the prize collecting Steiner tree problem in graphs
Local search with perturbations for the prize collecting Steiner tree problem in graphs Celso C. Ribeiro Catholic University of Rio de Janeiro, Brazil (on leave at Algorithms & Optimization Research Dept.,
More informationDiscrete Optimization with Decision Diagrams
Discrete Optimization with Decision Diagrams J. N. Hooker Joint work with David Bergman, André Ciré, Willem van Hoeve Carnegie Mellon University Australian OR Society, May 2014 Goal Find an alternative
More informationColumn Generation Based Primal Heuristics
Column Generation Based Primal Heuristics C. Joncour, S. Michel, R. Sadykov, D. Sverdlov, F. Vanderbeck University Bordeaux 1 & INRIA team RealOpt Outline 1 Context Generic Primal Heuristics The Branch-and-Price
More informationMathematical and Algorithmic Foundations Linear Programming and Matchings
Adavnced Algorithms Lectures Mathematical and Algorithmic Foundations Linear Programming and Matchings Paul G. Spirakis Department of Computer Science University of Patras and Liverpool Paul G. Spirakis
More informationLink Dimensioning and LSP Optimization for MPLS Networks Supporting DiffServ EF and BE Classes
Link Dimensioning and LSP Optimization for MPLS Networks Supporting DiffServ EF and BE Classes Kehang Wu Douglas S. Reeves Capacity Planning for QoS DiffServ + MPLS QoS in core networks DiffServ provides
More informationIntroduction to Mathematical Programming IE496. Final Review. Dr. Ted Ralphs
Introduction to Mathematical Programming IE496 Final Review Dr. Ted Ralphs IE496 Final Review 1 Course Wrap-up: Chapter 2 In the introduction, we discussed the general framework of mathematical modeling
More informationLagrangian Relaxation: An overview
Discrete Math for Bioinformatics WS 11/12:, by A. Bockmayr/K. Reinert, 22. Januar 2013, 13:27 4001 Lagrangian Relaxation: An overview Sources for this lecture: D. Bertsimas and J. Tsitsiklis: Introduction
More informationA Branch-and-Cut Algorithm for the Partition Coloring Problem
A Branch-and-Cut Algorithm for the Partition Coloring Problem Yuri Frota COPPE/UFRJ, Programa de Engenharia de Sistemas e Otimização Rio de Janeiro, RJ 21945-970, Brazil abitbol@cos.ufrj.br Nelson Maculan
More informationACO Comprehensive Exam October 12 and 13, Computability, Complexity and Algorithms
1. Computability, Complexity and Algorithms Given a simple directed graph G = (V, E), a cycle cover is a set of vertex-disjoint directed cycles that cover all vertices of the graph. 1. Show that there
More informationInteger and Combinatorial Optimization
Integer and Combinatorial Optimization GEORGE NEMHAUSER School of Industrial and Systems Engineering Georgia Institute of Technology Atlanta, Georgia LAURENCE WOLSEY Center for Operations Research and
More informationDepartment of Mathematics Oleg Burdakov of 30 October Consider the following linear programming problem (LP):
Linköping University Optimization TAOP3(0) Department of Mathematics Examination Oleg Burdakov of 30 October 03 Assignment Consider the following linear programming problem (LP): max z = x + x s.t. x x
More informationto the Traveling Salesman Problem 1 Susanne Timsj Applied Optimization and Modeling Group (TOM) Department of Mathematics and Physics
An Application of Lagrangian Relaxation to the Traveling Salesman Problem 1 Susanne Timsj Applied Optimization and Modeling Group (TOM) Department of Mathematics and Physics M lardalen University SE-721
More informationMethods and Models for Combinatorial Optimization Exact methods for the Traveling Salesman Problem
Methods and Models for Combinatorial Optimization Exact methods for the Traveling Salesman Problem L. De Giovanni M. Di Summa The Traveling Salesman Problem (TSP) is an optimization problem on a directed
More information56:272 Integer Programming & Network Flows Final Exam -- December 16, 1997
56:272 Integer Programming & Network Flows Final Exam -- December 16, 1997 Answer #1 and any five of the remaining six problems! possible score 1. Multiple Choice 25 2. Traveling Salesman Problem 15 3.
More information15.083J Integer Programming and Combinatorial Optimization Fall Enumerative Methods
5.8J Integer Programming and Combinatorial Optimization Fall 9 A knapsack problem Enumerative Methods Let s focus on maximization integer linear programs with only binary variables For example: a knapsack
More informationInteger Programming ISE 418. Lecture 7. Dr. Ted Ralphs
Integer Programming ISE 418 Lecture 7 Dr. Ted Ralphs ISE 418 Lecture 7 1 Reading for This Lecture Nemhauser and Wolsey Sections II.3.1, II.3.6, II.4.1, II.4.2, II.5.4 Wolsey Chapter 7 CCZ Chapter 1 Constraint
More informationInteger Programming Theory
Integer Programming Theory Laura Galli October 24, 2016 In the following we assume all functions are linear, hence we often drop the term linear. In discrete optimization, we seek to find a solution x
More information3 INTEGER LINEAR PROGRAMMING
3 INTEGER LINEAR PROGRAMMING PROBLEM DEFINITION Integer linear programming problem (ILP) of the decision variables x 1,..,x n : (ILP) subject to minimize c x j j n j= 1 a ij x j x j 0 x j integer n j=
More informationThe MIP-Solving-Framework SCIP
The MIP-Solving-Framework SCIP Timo Berthold Zuse Institut Berlin DFG Research Center MATHEON Mathematics for key technologies Berlin, 23.05.2007 What Is A MIP? Definition MIP The optimization problem
More information/ Approximation Algorithms Lecturer: Michael Dinitz Topic: Linear Programming Date: 2/24/15 Scribe: Runze Tang
600.469 / 600.669 Approximation Algorithms Lecturer: Michael Dinitz Topic: Linear Programming Date: 2/24/15 Scribe: Runze Tang 9.1 Linear Programming Suppose we are trying to approximate a minimization
More informationA subgradient-based branch-and-bound algorithm for the capacitated facility location problem
DEPARTMENT OF OPERATIONS RESEARCH UNIVERSITY OF AARHUS Working Paper no. 2009 / 1 2009 / 03 / 25 A subgradient-based branch-and-bound algorithm for the capacitated facility location problem Simon Görtz
More informationHeuristics in MILP. Group 1 D. Assouline, N. Molyneaux, B. Morén. Supervisors: Michel Bierlaire, Andrea Lodi. Zinal 2017 Winter School
Heuristics in MILP Group 1 D. Assouline, N. Molyneaux, B. Morén Supervisors: Michel Bierlaire, Andrea Lodi Zinal 2017 Winter School 0 / 23 Primal heuristics Original paper: Fischetti, M. and Lodi, A. (2011).
More informationCombinatorial Auctions: A Survey by de Vries and Vohra
Combinatorial Auctions: A Survey by de Vries and Vohra Ashwin Ganesan EE228, Fall 2003 September 30, 2003 1 Combinatorial Auctions Problem N is the set of bidders, M is the set of objects b j (S) is the
More information9.4 SOME CHARACTERISTICS OF INTEGER PROGRAMS A SAMPLE PROBLEM
9.4 SOME CHARACTERISTICS OF INTEGER PROGRAMS A SAMPLE PROBLEM Whereas the simplex method is effective for solving linear programs, there is no single technique for solving integer programs. Instead, a
More informationSelected Topics in Column Generation
Selected Topics in Column Generation February 1, 2007 Choosing a solver for the Master Solve in the dual space(kelly s method) by applying a cutting plane algorithm In the bundle method(lemarechal), a
More informationCombinatorial Optimization
Combinatorial Optimization Frank de Zeeuw EPFL 2012 Today Introduction Graph problems - What combinatorial things will we be optimizing? Algorithms - What kind of solution are we looking for? Linear Programming
More informationApproximation Algorithms: The Primal-Dual Method. My T. Thai
Approximation Algorithms: The Primal-Dual Method My T. Thai 1 Overview of the Primal-Dual Method Consider the following primal program, called P: min st n c j x j j=1 n a ij x j b i j=1 x j 0 Then the
More informationThe Heuristic (Dark) Side of MIP Solvers. Asja Derviskadic, EPFL Vit Prochazka, NHH Christoph Schaefer, EPFL
The Heuristic (Dark) Side of MIP Solvers Asja Derviskadic, EPFL Vit Prochazka, NHH Christoph Schaefer, EPFL 1 Table of content [Lodi], The Heuristic (Dark) Side of MIP Solvers, Hybrid Metaheuristics, 273-284,
More informationAlgorithms for Decision Support. Integer linear programming models
Algorithms for Decision Support Integer linear programming models 1 People with reduced mobility (PRM) require assistance when travelling through the airport http://www.schiphol.nl/travellers/atschiphol/informationforpassengerswithreducedmobility.htm
More informationCollege of Computer & Information Science Fall 2007 Northeastern University 14 September 2007
College of Computer & Information Science Fall 2007 Northeastern University 14 September 2007 CS G399: Algorithmic Power Tools I Scribe: Eric Robinson Lecture Outline: Linear Programming: Vertex Definitions
More informationMaximum flow problem CE 377K. March 3, 2015
Maximum flow problem CE 377K March 3, 2015 Informal evaluation results 2 slow, 16 OK, 2 fast Most unclear topics: max-flow/min-cut, WHAT WILL BE ON THE MIDTERM? Most helpful things: review at start of
More informationGraph Coloring via Constraint Programming-based Column Generation
Graph Coloring via Constraint Programming-based Column Generation Stefano Gualandi Federico Malucelli Dipartimento di Elettronica e Informatica, Politecnico di Milano Viale Ponzio 24/A, 20133, Milan, Italy
More informationAn Introduction to Dual Ascent Heuristics
An Introduction to Dual Ascent Heuristics Introduction A substantial proportion of Combinatorial Optimisation Problems (COPs) are essentially pure or mixed integer linear programming. COPs are in general
More informationand 6.855J Lagrangian Relaxation I never missed the opportunity to remove obstacles in the way of unity. Mohandas Gandhi
15.082 and 6.855J Lagrangian Relaxation I never missed the opportunity to remove obstacles in the way of unity. Mohandas Gandhi On bounding in optimization In solving network flow problems, we not only
More informationDETERMINISTIC OPERATIONS RESEARCH
DETERMINISTIC OPERATIONS RESEARCH Models and Methods in Optimization Linear DAVID J. RADER, JR. Rose-Hulman Institute of Technology Department of Mathematics Terre Haute, IN WILEY A JOHN WILEY & SONS,
More informationLecture 7: Asymmetric K-Center
Advanced Approximation Algorithms (CMU 18-854B, Spring 008) Lecture 7: Asymmetric K-Center February 5, 007 Lecturer: Anupam Gupta Scribe: Jeremiah Blocki In this lecture, we will consider the K-center
More informationlpsymphony - Integer Linear Programming in R
lpsymphony - Integer Linear Programming in R Vladislav Kim October 30, 2017 Contents 1 Introduction 2 2 lpsymphony: Quick Start 2 3 Integer Linear Programming 5 31 Equivalent and Dual Formulations 5 32
More informationRecursive column generation for the Tactical Berth Allocation Problem
Recursive column generation for the Tactical Berth Allocation Problem Ilaria Vacca 1 Matteo Salani 2 Michel Bierlaire 1 1 Transport and Mobility Laboratory, EPFL, Lausanne, Switzerland 2 IDSIA, Lugano,
More informationPrimal Heuristics in SCIP
Primal Heuristics in SCIP Timo Berthold Zuse Institute Berlin DFG Research Center MATHEON Mathematics for key technologies Berlin, 10/11/2007 Outline 1 Introduction Basics Integration Into SCIP 2 Available
More informationLecture 14: Linear Programming II
A Theorist s Toolkit (CMU 18-859T, Fall 013) Lecture 14: Linear Programming II October 3, 013 Lecturer: Ryan O Donnell Scribe: Stylianos Despotakis 1 Introduction At a big conference in Wisconsin in 1948
More informationCrew Scheduling Problem: A Column Generation Approach Improved by a Genetic Algorithm. Santos and Mateus (2007)
In the name of God Crew Scheduling Problem: A Column Generation Approach Improved by a Genetic Algorithm Spring 2009 Instructor: Dr. Masoud Yaghini Outlines Problem Definition Modeling As A Set Partitioning
More informationTuesday, April 10. The Network Simplex Method for Solving the Minimum Cost Flow Problem
. Tuesday, April The Network Simplex Method for Solving the Minimum Cost Flow Problem Quotes of the day I think that I shall never see A poem lovely as a tree. -- Joyce Kilmer Knowing trees, I understand
More informationImproved Gomory Cuts for Primal Cutting Plane Algorithms
Improved Gomory Cuts for Primal Cutting Plane Algorithms S. Dey J-P. Richard Industrial Engineering Purdue University INFORMS, 2005 Outline 1 Motivation The Basic Idea Set up the Lifting Problem How to
More informationBranch-price-and-cut for vehicle routing. Guy Desaulniers
Guy Desaulniers Professor, Polytechnique Montréal, Canada Director, GERAD, Canada VeRoLog PhD School 2018 Cagliari, Italy, June 2, 2018 Outline 1 VRPTW definition 2 Mathematical formulations Arc-flow formulation
More informationCutting Planes for Some Nonconvex Combinatorial Optimization Problems
Cutting Planes for Some Nonconvex Combinatorial Optimization Problems Ismael Regis de Farias Jr. Department of Industrial Engineering Texas Tech Summary Problem definition Solution strategy Multiple-choice
More informationSolving a Challenging Quadratic 3D Assignment Problem
Solving a Challenging Quadratic 3D Assignment Problem Hans Mittelmann Arizona State University Domenico Salvagnin DEI - University of Padova Quadratic 3D Assignment Problem Quadratic 3D Assignment Problem
More information3 No-Wait Job Shops with Variable Processing Times
3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select
More informationNetwork Flows. 7. Multicommodity Flows Problems. Fall 2010 Instructor: Dr. Masoud Yaghini
In the name of God Network Flows 7. Multicommodity Flows Problems 7.2 Lagrangian Relaxation Approach Fall 2010 Instructor: Dr. Masoud Yaghini The multicommodity flow problem formulation: We associate nonnegative
More informationInteger Programming ISE 418. Lecture 1. Dr. Ted Ralphs
Integer Programming ISE 418 Lecture 1 Dr. Ted Ralphs ISE 418 Lecture 1 1 Reading for This Lecture N&W Sections I.1.1-I.1.4 Wolsey Chapter 1 CCZ Chapter 2 ISE 418 Lecture 1 2 Mathematical Optimization Problems
More information1 Linear programming relaxation
Cornell University, Fall 2010 CS 6820: Algorithms Lecture notes: Primal-dual min-cost bipartite matching August 27 30 1 Linear programming relaxation Recall that in the bipartite minimum-cost perfect matching
More informationLOCAL SEARCH FOR THE MINIMUM FUNDAMENTAL CYCLE BASIS PROBLEM
LOCAL SEARCH FOR THE MINIMUM FUNDAMENTAL CYCLE BASIS PROBLEM Abstract E.Amaldi, L.Liberti, N.Maculan, F.Maffioli DEI, Politecnico di Milano, I-20133 Milano amaldi,liberti,maculan,maffioli @elet.polimi.it
More informationFebruary 19, Integer programming. Outline. Problem formulation. Branch-andbound
Olga Galinina olga.galinina@tut.fi ELT-53656 Network Analysis and Dimensioning II Department of Electronics and Communications Engineering Tampere University of Technology, Tampere, Finland February 19,
More informationInvestigating Mixed-Integer Hulls using a MIP-Solver
Investigating Mixed-Integer Hulls using a MIP-Solver Matthias Walter Otto-von-Guericke Universität Magdeburg Joint work with Volker Kaibel (OvGU) Aussois Combinatorial Optimization Workshop 2015 Outline
More informationBranch-Cut-and-Price solver for Vehicle Routing Problems
1 / 28 Branch-Cut-and-Price solver for Vehicle Routing Problems Ruslan Sadykov 1,2 Issam Tahiri 1,2 François Vanderbeck 2,1 Remi Duclos 1 Artur Pessoa 3 Eduardo Uchoa 3 1 Inria Bordeaux, France 2 Université
More informationAdvanced Operations Research Prof. G. Srinivasan Department of Management Studies Indian Institute of Technology, Madras
Advanced Operations Research Prof. G. Srinivasan Department of Management Studies Indian Institute of Technology, Madras Lecture 18 All-Integer Dual Algorithm We continue the discussion on the all integer
More informationLagrangean Methods bounding through penalty adjustment
Lagrangean Methods bounding through penalty adjustment thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline Brief introduction How to perform Lagrangean relaxation Subgradient techniques
More informationA Generic Separation Algorithm and Its Application to the Vehicle Routing Problem
A Generic Separation Algorithm and Its Application to the Vehicle Routing Problem Presented by: Ted Ralphs Joint work with: Leo Kopman Les Trotter Bill Pulleyblank 1 Outline of Talk Introduction Description
More informationMinimum-Energy Broadcast and Multicast in Wireless Networks: An Integer Programming Approach and Improved Heuristic Algorithms
Minimum-Energy Broadcast and Multicast in Wireless Networks: An Integer Programming Approach and Improved Heuristic Algorithms Di Yuan a, a Department of Science and Technology, Linköping University, SE-601
More informationMathematical Tools for Engineering and Management
Mathematical Tools for Engineering and Management Lecture 8 8 Dec 0 Overview Models, Data and Algorithms Linear Optimization Mathematical Background: Polyhedra, Simplex-Algorithm Sensitivity Analysis;
More informationBranch-and-bound: an example
Branch-and-bound: an example Giovanni Righini Università degli Studi di Milano Operations Research Complements The Linear Ordering Problem The Linear Ordering Problem (LOP) is an N P-hard combinatorial
More information1. Lecture notes on bipartite matching
Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans February 5, 2017 1. Lecture notes on bipartite matching Matching problems are among the fundamental problems in
More informationExact solutions to mixed-integer linear programming problems
Exact solutions to mixed-integer linear programming problems Dan Steffy Zuse Institute Berlin and Oakland University Joint work with Bill Cook, Thorsten Koch and Kati Wolter November 18, 2011 Mixed-Integer
More informationCharacterizing Improving Directions Unconstrained Optimization
Final Review IE417 In the Beginning... In the beginning, Weierstrass's theorem said that a continuous function achieves a minimum on a compact set. Using this, we showed that for a convex set S and y not
More informationUsing Decomposition Techniques for Solving Large-Scale Capacitated Hub Location Problems with Single Assignment
Using Decomposition Techniques for Solving Large-Scale Capacitated Hub Location Problems with Single Assignment Ivan Contreras*, Elena Fernández Department of Statistics and Operations Research Technical
More informationLast topic: Summary; Heuristics and Approximation Algorithms Topics we studied so far:
Last topic: Summary; Heuristics and Approximation Algorithms Topics we studied so far: I Strength of formulations; improving formulations by adding valid inequalities I Relaxations and dual problems; obtaining
More informationarxiv: v1 [cs.dm] 6 May 2009
Solving the 0 1 Multidimensional Knapsack Problem with Resolution Search Sylvain Boussier a, Michel Vasquez a, Yannick Vimont a, Saïd Hanafi b and Philippe Michelon c arxiv:0905.0848v1 [cs.dm] 6 May 2009
More informationONLY AVAILABLE IN ELECTRONIC FORM
MANAGEMENT SCIENCE doi 10.1287/mnsc.1070.0812ec pp. ec1 ec7 e-companion ONLY AVAILABLE IN ELECTRONIC FORM informs 2008 INFORMS Electronic Companion Customized Bundle Pricing for Information Goods: A Nonlinear
More informationPrimal and Dual Methods for Optimisation over the Non-dominated Set of a Multi-objective Programme and Computing the Nadir Point
Primal and Dual Methods for Optimisation over the Non-dominated Set of a Multi-objective Programme and Computing the Nadir Point Ethan Liu Supervisor: Professor Matthias Ehrgott Lancaster University Outline
More informationDiscrete Covering. Location. Problems. Louis. Luangkesorn. Housekeeping. Dijkstra s Shortest Path. Discrete. Covering. Models.
Network Design Network Design Network Design Network Design Office Hours Wednesday IE 079/079 Logistics and Supply Chain Office is closed Wednesday for building renovation work. I will be on campus (or
More informationTwo-stage column generation
Two-stage column generation A novel framework Ilaria Vacca and Matteo Salani Transport and Mobility Laboratory EPFL 6th Joint Operations Research Days September 12, 2008 Two stage column generation p.1/15
More informationx ji = s i, i N, (1.1)
Dual Ascent Methods. DUAL ASCENT In this chapter we focus on the minimum cost flow problem minimize subject to (i,j) A {j (i,j) A} a ij x ij x ij {j (j,i) A} (MCF) x ji = s i, i N, (.) b ij x ij c ij,
More informationA Simpler Generalized Shortest Paths Algorithm
A Simpler Generalized Shortest Paths Algorithm Jeffrey D. Oldham Department of Computer Science Stanford University oldham@cs.stanford.edu http://theory.stanford.edu/ oldham/ 1998 October 01 generalized
More informationImproving Dual Bound for Stochastic MILP Models Using Sensitivity Analysis
Improving Dual Bound for Stochastic MILP Models Using Sensitivity Analysis Vijay Gupta Ignacio E. Grossmann Department of Chemical Engineering Carnegie Mellon University, Pittsburgh Bora Tarhan ExxonMobil
More informationLecture 4: Primal Dual Matching Algorithm and Non-Bipartite Matching. 1 Primal/Dual Algorithm for weighted matchings in Bipartite Graphs
CMPUT 675: Topics in Algorithms and Combinatorial Optimization (Fall 009) Lecture 4: Primal Dual Matching Algorithm and Non-Bipartite Matching Lecturer: Mohammad R. Salavatipour Date: Sept 15 and 17, 009
More informationResource Management in Computer Networks -- Mapping from engineering problems to mathematical formulations
Resource Management in Computer Networks -- Mapping from engineering problems to mathematical formulations Rong Zheng COSC 7388 2 Two Types of Real-world Problems Make something work E.g. build a car on
More informationIn this lecture, we ll look at applications of duality to three problems:
Lecture 7 Duality Applications (Part II) In this lecture, we ll look at applications of duality to three problems: 1. Finding maximum spanning trees (MST). We know that Kruskal s algorithm finds this,
More informationCS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I. Instructor: Shaddin Dughmi
CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I Instructor: Shaddin Dughmi Announcements Posted solutions to HW1 Today: Combinatorial problems
More informationA Comparison of Mixed-Integer Programming Models for Non-Convex Piecewise Linear Cost Minimization Problems
A Comparison of Mixed-Integer Programming Models for Non-Convex Piecewise Linear Cost Minimization Problems Keely L. Croxton Fisher College of Business The Ohio State University Bernard Gendron Département
More informationModule 10. Network Simplex Method:
Module 10 1 Network Simplex Method: In this lecture we shall study a specialized simplex method specifically designed to solve network structured linear programming problems. This specialized algorithm
More information