1. 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 2011 1

2. 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 2011 2

3.  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 2011 3

4.  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 2011 4

5.  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 2011 5

6. 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 2011 6

7. 7

8.  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 2011 8