11.5 Implicit Partitioning/Packing Problems  Given M = {1, …, m}, K implicitly described sets of feasible subsets of M. Find a maximum value packing or.

Slides:



Advertisements
Similar presentations
Thursday, April 11 Some more applications of integer
Advertisements

1 Branch-and-Price (Column Generation) Solving Integer Programs With a Huge Number of Variables CP-AI-OR02 School on Optimization Le Croisic, France March.
Algorithm Design Methods (I) Fall 2003 CSE, POSTECH.
Algorithm Design Methods Spring 2007 CSE, POSTECH.
1 Material to Cover  relationship between different types of models  incorrect to round real to integer variables  logical relationship: site selection.
BU Decision Models Integer_LP1 Integer Optimization Summer 2013.
Branch and Bound See Beale paper. Example: Maximize z=x1+x2 x2 x1.
Leena Suhl University of Paderborn, Germany
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Column Generation n ENGG 6070 n Instructor: Shawki M Areibi n Students: Limin Ma, Hao Qin.
The 2 Period Travelling Salesman Problem Applied to Milk Collection in Ireland By Professor H P Williams,London School of Economics Dr Martin Butler, University.
1 Maximum Flow Networks Suppose G = (V, E) is a directed network. Each edge (i,j) in E has an associated ‘capacity’ u ij. Goal: Determine the maximum amount.
FUNDAMENTAL PROBLEMS AND ALGORITHMS Graph Theory and Combinational © Giovanni De Micheli Stanford University.
Rajat K. Pal. Chapter 3 Emran Chowdhury # P Presented by.
Integer Programming 3 Brief Review of Branch and Bound
Dynamic lot sizing and tool management in automated manufacturing systems M. Selim Aktürk, Siraceddin Önen presented by Zümbül Bulut.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Odds and Ends HP ≤ p HC (again) –Turing reductions Strong NP-completeness versus Weak NP-completeness Vertex Cover to Hamiltonian Cycle.
Branch and Bound Algorithm for Solving Integer Linear Programming
Linear Programming – Max Flow – Min Cut Orgad Keller.
1 Lecture 4 Maximal Flow Problems Set Covering Problems.
1.3 Modeling with exponentially many constr.  Some strong formulations (or even formulation itself) may involve exponentially many constraints (cutting.
Design Techniques for Approximation Algorithms and Approximation Classes.
10/11/10 A. Smith; based on slides by E. Demaine, C. Leiserson, S. Raskhodnikova, K. Wayne Adam Smith Algorithm Design and Analysis L ECTURE 22 Network.
Integer Programming Key characteristic of an Integer Program (IP) or Mixed Integer Linear Program (MILP): One or more of the decision variable must be.
1 1 Slide © 2000 South-Western College Publishing/ITP Slides Prepared by JOHN LOUCKS.
Notes 6IE3121 Knapsack Model Intuitive idea: what is the most valuable collection of items that can be fit into a backpack?
Notes 5IE 3121 Knapsack Model Intuitive idea: what is the most valuable collection of items that can be fit into a backpack?
Chapter 1. Formulations 1. Integer Programming  Mixed Integer Optimization Problem (or (Linear) Mixed Integer Program, MIP) min c’x + d’y Ax +
Systems of Equations and Inequalities Systems of Linear Equations: Substitution and Elimination Matrices Determinants Systems of Non-linear Equations Systems.
WOOD 492 MODELLING FOR DECISION SUPPORT
Chap 10. Integer Prog. Formulations
1/24 Introduction to Graphs. 2/24 Graph Definition Graph : consists of vertices and edges. Each edge must start and end at a vertex. Graph G = (V, E)
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
Integer Programming (정수계획법)
Operational Research & ManagementOperations Scheduling Economic Lot Scheduling 1.Summary Machine Scheduling 2.ELSP (one item, multiple items) 3.Arbitrary.
Implicit Hitting Set Problems Richard M. Karp Erick Moreno Centeno DIMACS 20 th Anniversary.
Log Truck Scheduling Problem
EMIS 8373: Integer Programming Column Generation updated 12 April 2005.
1 1 © 2003 Thomson  /South-Western Slide Slides Prepared by JOHN S. LOUCKS St. Edward’s University.
1 Chapter 6 Reformulation-Linearization Technique and Applications.
EMIS 8373: Integer Programming Combinatorial Optimization Problems updated 27 January 2005.
Discrete Optimization MA2827 Fondements de l’optimisation discrète Material from P. Van Hentenryck’s course.
deterministic operations research
Maximum Flow Chapter 26.
6.5 Stochastic Prog. and Benders’ decomposition
1.3 Modeling with exponentially many constr.
Max-Cut a b Edges cut: 8 w c d e 1.
Branch and Bound See Beale paper.
Integer Programming (정수계획법)
Exam 2 LZW not on syllabus. 73% / 75%.
GreedyMaxCut a b w c d e 1.
Chapter 1. Formulations (BW)
1.3 Modeling with exponentially many constr.
Integer Programming (정수계획법)
Algorithm Design Methods
Flow Feasibility Problems
11.5 Implicit Partitioning/Packing Problems
Advanced LP models column generation.
Advanced LP models column generation.
11.5 Implicit Partitioning/Packing Problems
5.2 Mixed Integer Linear Programming
Winter 2019 Lecture 11 Minimum Spanning Trees (Part II)
6.5 Stochastic Prog. and Benders’ decomposition
Chapter 1. Formulations.
Vehicle routing in Python
Practical Issues Finding an initial feasible solution Cycling
Chapter 6. Large Scale Optimization
EMIS The Maximum Flow Problem: Flows and Cuts Updated 6 March 2008
Autumn 2019 Lecture 11 Minimum Spanning Trees (Part II)
Presentation transcript:

11.5 Implicit Partitioning/Packing Problems  Given M = {1, …, m}, K implicitly described sets of feasible subsets of M. Find a maximum value packing or partition of M consisting of certain of these subsets.  In terms of original IP, we set x k = (y k, w k ) with y k  {0, 1} m being the incidence vector of subset k of M. w k are auxiliary variables needed to define whether the subset with incidence vector y k is feasible, and to define the possibly nonlinear objective function value of the corresponding subset. c k = (e k, f k ), A k = ( I, 0), b = 1. z = max {  k=1 K (e k y k + f k w k ):  k=1 K y k  1, (y k, w k )  X k for k = 1, …, K}. Now let (y k,t, w k,t ) corresponds to the t th feasible solution in the set X k, and k, t is the corresponding variable. Integer Programming

z = max {  k=1 K (e k y k + f k w k ):  k=1 K y k  1, (y k, w k )  X k for k = 1, …, K}.  Integer Programming Master z = max  k=1 K  t=1 Tk ( e k y k, t + f k w k, t ) k, t  k=1 K  t: y(i, k, t) =1 k, t = 1for i  M  t=1 Tk k, t  1 for k = 1, …,K k, t  {0, 1} for t = 1, …, T k and k = 1, …, K Integer Programming

 Ex) Multi-Item Lot-Sizing Given demands d t k for items k = 1, …, K over a time horizon t = 1, …, T. All items must be produced on a single machine; the machine can produce only one item in each period and has a capacity C t k if item k is produced in period t.  min  k=1 K  t=1 T ( p t k x t k + h t k s t k + f t k y t k )  k=1 K y t k  1for t = 1, …, n (x k, s k, y k )  X k for k = 1, …,K where X k = { (x k, s k, y k )  R + n  R + n  B n : s t-1 k + x t k = d t k + s t k, x t k  C t k y t k for t = 1, …, T}. Integer Programming

 Ex) Clustering (min cut clustering) Given G = (V, E), edge costs c e for e  E, node weights d i for i  V, and a cluster capacity C, want to split the node set V into K (possibly empty) clusters such that the sum of the node weights in each cluster does not exceed C and the sum of the weights of the edges between clusters is minimized (maximize the sum of weights of edges within clusters).  max  k=1 K  e  E c e w e k  k=1 K y i k  1for i  V (w k, y k )  X k for k = 1, …,K where X k = { (w k, y k )  B m  B n : w e k  y i k, w e k  y j k, w e k  y i k + y j k – 1, for e = (i, j)  E,  i  V d i y i k  C } with y i k = 1 if node i is in cluster k and w e k = 1 if edge e has both endpoints in cluster k. Integer Programming

 Ex) Capacitated Vehicle Routing Given G = (V, E), a depot node 0, edge costs c e for each e  E, K identical vehicles of capacity C, and client orders d i for i  V\{0}. Want to find a set of subtours (cycles) for each vehicle such that (i) each subtour contains the depot, (ii) together the subtours contain all the nodes, (iii) the subtours are disjoint on the node set V\{0}, and (iv) the total demand on each subtour (the total amount delivered by each vehicle) does not exceed C.  Ex) Generalized Assignment Problem Integer Programming

11.6 Partitioning with Identical Subsets  How to avoid symmetry in solutions when subsets are interchangeable (independent of k) (ex: clustering, vehicle routing)  As X k = X, (e k, f k ) = (e, f) and T k = T for all k. Set t =  k=1 K k, t (IPM) max  t=1 T ( ey t + fw t ) t  t: y(i, t) = 1 t = 1 for i  M  t=1 T t  K for i  M  B T  Subproblem is  = max { (e -  )y + fw -  : (y, w)  X} Integer Programming

7

 Two branching constraints: (1):  t: y(i, t)=1, y(j, t) = 1 t = 1 : rows i and j should be covered by same column. All feasible columns must have y it = y jt = 0 or y it = y jt = 1. Infeasible columns eliminated (or value of corresponding variable set to 0 ) After branch, generate only the subsets such that i and j are in the same subset. (Add y i = y j to the subproblem) (2):  t: y(i, t)=1, y(j, t) = 1 t = 0 : rows i and j should be covered by diff. columns. All feasible columns must have y it = y jt = 0 or y it = 0, y jt = 1 or y it = 1, y jt = 0 Generate only subsets which include at most one of i or j. (Add y i + y j  1 to the subproblem) Integer Programming