arxiv:cs/ v2 [cs.dm] 21 Aug 2001

Transcription

1 Solving Assembly Line Balancing Problems by Combining IP and CP Alexander Bockmayr and Nicolai Pisaruk arxiv:cs/ v2 [cs.dm] 21 Aug 2001 Université Henri Poincaré, LORIA B.P. 239, F Vandœuvre-lès-Nancy, France {bockmayr Abstract. Assembly line balancing problems consist in partitioning the work necessary to assemble a number of products among different stations of an assembly line. We present a hybrid approach for solving such problems, which combines constraint programming and integer programming. 1 Introduction Assembly lines are special flow-line production systems typical for the industrial production of high quantity standardized commodities. An assembly line consists of a number of work stations arranged along a conveyor belt. The work pieces are consecutively launched down the conveyor belt and are moved from one station to the next. At each station, one or several tasks necessary to manufacture the product are performed. The problem of partitioning the various tasks among the stations with respect to some objective function is called the assembly line balancing problem (ALBP) [16]. Various classes of assembly line balancing problems have been studied in the literature. We will consider here so-called simple assembly line balancing problems SALBP of the following form: Let M = {1,...,m} be the set of stations and N = {1,...,n} be the set of tasks. We denote by t j the time required for task j and by S j M the set of stations able to fulfill task j. There is a precedence relation on the tasks that will be represented by a graph G = (N, E), where (j 1, j 2 ) E means that task j 1 is an immediate predecessor of task j 2. By CT i we denote the total time available for executing the tasks that have been assigned to station i. The capacities CT i may vary from one station to another due to, e.g., different numbers of operators. The constraint satisfaction problem in assembly line balancing consists in assigning tasks to stations such that the total running time of the tasks assigned to some station does not exceed its capacity, and such that the precedence relations between the tasks are satisfied. The objective function is to minimize the number of stations necessary to fulfill all tasks. Including bin packing as a special case, the assembly line balancing problem is NP-hard. This work was partially supported by the European Commission, Growth Programme, Research Project LISCOS Large Scale Integrated Supply Chain Optimisation Software, Contract No. G1RD-CT

2 The aim of this paper is to present a hybrid solver for assembly line balancing problems, which combines constraint programming (CP) and integer programming (IP). The integration of integer programming and constraint programming has been an important research topic during the last years, see e.g. [15,4,9,10,7,14]. The contribution of this paper is twofold: we develop a branchand-cut solver for SALBP and show how it can cooperate with a CP solver in order to prune the search tree. The organization of the paper is as follows. We start in Sect. 2 with an integer programming model of the simple assembly line balancing problem. Sect. 3 describes the cutting planes that are used in the branch-and-cut solver on the IP side. Sect. 4 introduces a CP model of SALBP and Sect. 5 describes the cooperation between the IP and the CP solver. Finally, Sect. 6 contains a number of empirical results illustrating the benefits of the approach. 2 Integer Programming Model Let T i = {j : i S j } be the set of tasks which can be carried out by station i, and let A = j N (S j {j}). We define the following decision variables { 1, if task j is assigned to station i, x ij = 0, otherwise. 2.1 Constraints Feasible solutions x = [x ij ] of the assembly line balancing problem have to satisfy the following constraints: x ij = 1, j N, (1) i S j t j x ij CT i, i M, (2) j T i x ij1 x ij2 0, k = 1,...,m, (j 1, j 2 ) E, (3) i S j1, i k i S j2, i k x ij {0, 1}, (i, j) A. (4) SOS (Special Ordered Set) constraints (1) ensure that each task is assigned to exactly one workstation. Knapsack constraints (2) guarantee that the total running time of the tasks assigned to some station does not exceed its capacity. The constraints (3) correspond to the precedences given in the graph G. They express that if (j 1, j 2 ) E and task j 2 is assigned to station k, then task j 1 must be assigned to one of the stations 1,...,k. 2.2 Objective function Our objective is to minimize the number of stations necessary to perform all the tasks. Assuming w.l.o.g. that at most n stations are available, we define costs

3 c ij for assigning task j to station i that satisfy the following condition: c ij = c i for all j T i ; nc i c i+1, i = 1,...,m 1. (5) This ensures that lower numbered stations will be used first. Now the objective function can be written as follows: min c i x ij. (6) j N i S j 3 Valid Inequalities and Cut Generation In order to solve the IP model presented above, we will use a branch-and-cut approach [18]. In this section, we present the different classes of inequalities that will be used in our branch-and-cut algorithm. We start by defining the SALB polytope def P SALB = conv({x {0, 1} A : x satisfies (2),(3),(7)}). Here conv(s) denotes the convex hull of a set of points S R n. We relaxed the SOS constraints (1) to the inequalities i S j x ij 1, j N. (7) Since the polytope P SALB is contained in the multiple knapsack polytope (MK), defined as the convex hull of the set of points x {0, 1} A satisfying (7) and (2), all inequalities valid for the MK polytope are also valid for the SALB polytope. Furthermore, the multiple knapsack problem is a special type of the generalized assignment problem (GAP); therefore, the inequalities valid for the GAP polytope are also valid for the SALB polytope. The known classes of inequalities for the GAP and MK polytopes are based on the notion of cover, which we briefly recall in the next section. 3.1 Lifted Cover and (1,d)-Configuration Inequalities For a R n >0 and b R >0, let P(a, b) def = conv x {0, 1}n : n a j x j b j=1 denote the knapsack polytope. A subset C N is called a cover if a j > b; a cover C is minimal if C \ {s} is not a cover for all s C. For a cover C, the cover inequality x j C 1 (8)

4 is valid for P(a, b); moreover, if C is a minimal cover, then (8) defines a facet of P C (a, b) def = P(a, b) {x R n : x j = 0, j N \ C}. A pair (H, z) is called a (1, d)-configuration [12] if H N, z N \ H, and 2 d H are such that j H a j b; H {z} is a minimal cover for every H H with H = d. If (H, z) is a (1, d)-configuration, the inequality x j + ( H d + 1)x z H j H defines a facet of P H {z} (a, b). Lifting of inequalities is a key issue in branch-and-cut. It allows one to strengthen an inequality by calculating non-zero coefficients for variables that initially are not present. For a formal definition and general results about lifting see [18]. The lifted cover and (1,d)-configuration inequalities are automatically generated by the solver we have used. For the precedence-constrained knapsack polytope, a straightforward generalization of minimal covers, the so-called minimal induced covers, has been investigated, see e.g. [5,13,17]. By analogy, we introduce the induced cover inequalities for the SALB polytope. Two tasks j 1, j 2 N are called incomparable if both (j 1, j 2 ) E and (j 2, j 1 ) E. A set W N is called incomparable if the elements in W are pairwise incomparable. To each station k M corresponds a knapsack given by the inequality j T k t j x kj CT k. We say that C T k is a minimal induced cover (MIC) [5] if C is incomparable, t j x kj > CT k, \{s} t jx kj CT k for all s C. Here C def = {j N : j j 1 for some j 1 C}. Let C N be a MIC for knapsack k. Then the inequality x kj x ij C 1. is valid for the SALB polytope. \C i S j : i<k 3.2 Cycle Inequalities The class of cycle inequalities was introduced in [8] for the GAP polytope. Since we are not aware of a separation algorithm for this class, we describe here a separation heuristic for the subclass of cycle inequalities with cycles of length 4.

5 Given two tasks u and v; assume that t u t v. Let C k and C l be covers of the knapsacks k and l resp. such that: a) u, v C k, b) u C l, v C l, c) C k C l = {u}. Then x kj + x lj C k + C l 3 (9) k l {v} is a valid inequality for the SALB polytope [8]. 4-Cycle Heuristic Choose two knapsacks k, l M, and two items u, v T k T l such that, for the point x = [x ij ] to be separated, all four values x ku, x lu, x kv, x lv are greater than zero. Assume that t u t v. Compute a minimal cover C k of the knapsack j T k \{u,v} t jx lj CT l t u t v by solving min (1 x kj ) : t j CT k t u t v + 1. (10) C T k \{u,v} Set C k = C k {u, v}. Compute a minimal cover C l of the knapsack j T l \C k t j x lj CT k t u by solving min (1 x lj ) : t j CT k t u + 1. (11) C T l \C k Set C l = C l {u}. If both covers C k and C l exist, lift inequality (9) using the procedure described in section 3.4; otherwise, return failure. 3.3 Extended Cover and Heterogeneous Two-Cover Inequalities Let C be a cover with respect to some knapsack k M, and D N \C be such that D {i} is a cover of knapsack l M \ {k}, for all i C. Then the extended cover inequality kj + x lj ) + (x x lj C + D 1 j D is valid for the multiple knapsack polytope [6]. Consider two knapsacks k, l M, k l. Assume that C T k is a cover with respect to knapsack k, and let D be a subset of T l \ C such that for all D D and C C with C = D, the set (C \ C ) D is a cover for knapsack l. Then the heterogeneous two-cover inequality x kj + ( C 1)x lj C ( C 1) D is valid for the multiple knapsack polytope [6]. For separation of extended cover and heterogeneous two-cover inequalities, we use the heuristics described in [6].

6 3.4 A General Lifting Procedure Let Ā A and (i,j) Ā α ij x ij β (12) be a valid inequality for P SALB. For (i 0, j 0 ) A \ Ā, the inequality α i0j 0 x i0j 0 + α ij x ij β (13) (i,j) Ā if valid for P SALB if the coefficient α i0j 0 is computed by the following procedure: Lifting Heuristic Let A = Ā. For (i, j) Ā, if j = j 0, or i 0 < i and (j, j 0 ) E, or i 0 > i and (j 0, j) E, exclude (i, j) from A. For each i M, generate a permutation π i = (π1 i,...,πi n i ) of the elements of T i, n i = T i ; for s = 2,...,n i, compute s s vi,s π def = max y j : y {0, 1} s, t π i j y j CT i. (14) j=1 j=1 Solve the optimization problem γ = max (i,j) A α ij z ij z ij 1, j N, i: (i,j) A vi,s π, s = 2,...,n i; i M, z iπi j 1 j s, (i,πj i) A z ij {0, 1}, (i, j) A. (15) and set α i0j 0 = β γ. Note that both optimization problems (14) and (15) can be solved in polynomial time. Problem (14) is a special type of knapsack problem and can be solved efficiently by dynamic programming. Problem (15) is a special case of the weighted matroid intersection problem [11]. In fact, it can also be reduced to the minimum cost maximum flow problem, see e.g. [2]. 4 Constraint Programming Model Our CP formulation of the SALB problem is based on the cumulative constraint [1]. The basic version of cumulative can be defined as follows.

7 There are n tasks; task j is characterized by three parameters, which can be either domain variables or values: the starting time start j, the duration dur j, and the amount res j of some resource consumed by the task. We are also given the completion time e for all the tasks, and the upper bound v on the resource consumption; e and v again are domain variables or values. The global constraint cumulative([[start 1, dur 1, res 1 ],..., [start n, dur n, res n ]], v, e) is satisfied if the following conditions hold: res j v, t = 1,...,e, 1 j n : start j t<start j+dur j max (start j + dur j ) e. 1 j n In addition to the n given tasks, we introduce m artificial tasks numbered n + 1,...,n + m def = n; for CT max = max i M CT i, let S n+i = {i}, t n+i = CT max CT i, i M. Each task j {1,...,n + m} is associated with a triple (start j, dur j, res j ) of domain variables, where start j = i if task j is assigned to station i, dur j = 1, res j = t j. Now the CP model can be stated as follows: start j S j, j = 1,...,n, Variables: dur j {1}, j = 1,...,n, res j {t j }, j = 1,...,n. cumulative([[start 1, dur 1, res 1 ],...,[start n, dur n, res n ]], Constraints: CT max, m + 1); start j1 start j2, (j 1, j 2 ) E. 5 Combining IP and CP 5.1 Reducing the Problem Size The size of the IP and CP model described before can be reduced as follows. In a first step, we build the CP model and do propagation, but without labeling. Let S j denotes the domain of start j after propagation, and let T i = {j : i S j }. The IP model is obtained by imposing the constraints (1) (4) for these reduced sets S j and T i. In a second step, we do propagation by combining both solvers. Iteratively, for each task j N, we perform the following operations: Minimize i S j i x ij subject to the constraints (1) (4) using cut generation, but without branching. Let γ 1 denote the objective value returned by the solver. For i S j and i < γ 1, set x ij = 0 and remove i from the domain of start j.

8 Maximize i S j i x ij under the constraints (1) (4) using cut generation, but without branching. Let γ 2 denote the objective value returned by the solver. For i S j and i > γ 2, set x ij = 0 and remove i from the domain of start j. Initiate propagation for the CP problem. For q N, if i is not in the domain of start q, set x iq = Propagation and Rounding Off LP solutions After reducing the problem size, we can use both solvers, IP or CP, to continue. If we decide to use the CP solver, there is no further interaction with the IP solver. If we use the IP solver, we propose the following cooperation between IP and CP. Assume that S j, for j N, is the domain of start j after preprocessing. For these sets S j, consider the IP problem (6),(1) (4). Propagation for subproblems. The IP procedure starts processing a node of the branch-and-cut tree by calling the CP solver in the following way. For the LP subproblem at this node, let d ij, d+ ij {0, 1} denote the current lower and upper bounds of the variables x ij. For j N, set S j = {i : d + ij = 1}. For these sets S j, build the CP problem and do propagation. At the end, let d + ij = 0 for those i S j that are not in the domain of start j. Rounding of LP solutions. Let x = [x ij ] be a solution of some LP subproblem. For j N, define S j = {i : x ij > 0}, build the CP model, and run labeling for a limited amount of time, trying to find a feasible solution. 6 Empirical Results This paper describes ongoing work. Therefore, we can give only preliminary empirical results. These are based on a selection of benchmarks from the data sets in [16]. For these examples, the cycle time CT is the same for all stations, i.e., CT = CT i, i M. The computational experiments were done on a Pentium III 600 MHz using the CHIP C Library [3] and the branch-and-cut code developed by the second author. We compare two versions of the problem reduction heuristics described in Sect The first version generates cuts only when computing an initial feasible LP solution. All other LP problems are solved without generating cuts (except standard lifted cover and (1, d)-configuration cuts, which are automatically produced by the IP solver). The second version generates all the different cuts for all LP problems. We measure the quality of a problem reduction strategy by the sum of the cardinalities of the sets S j upon termination of the procedure. These values are given in the last three columns of Table 1 for CP alone, CP and LP with standard cuts, and finally for CP and LP with all cuts.

9 Instance # tasks Cycle # stations Initial After After LP with name n time CT m size CP standard cuts all cuts Sawyer Sawyer Gunther Gunther Lutz Lutz Warnecke Warnecke Tonge Table 1. Reducing problem size Next we give in Table 2 the total running times for the hybrid solver described in Sect. 5.2 including problem reduction by CP propagation. Instance CP Cut Total name prop. gener. sol. time time time Sawyer30 (47-7) Sawyer30 (28-12) Gunther (54-9) Gunther (44-12) Lutz3 (118-14) Lutz3 (74-23) Warnecke (155-10) Warnecke (73-22) : Tonge70 (251-14) 1: : : Table 2. Running time in min:sec Note that neither the CP nor the IP solver alone are able to solve, for example, problem Warnecke (73-22) in less than one hour of running time. 7 Conclusion and Further Research Current computational experience does not allow us to tell whether CP and IP, alone or in cooperation, are able to solve to optimality the unsolved instances of the simple assembly line balancing problem in the data sets from [16]. Further research and implementation work is necessary to answer this question, in particular when the precedence relations are not tight.

10 While this is an interesting theoretical question, the main impact of this work is practical. The hybrid IP/CP solver described in this paper may become a platform for modeling and solving assembly line problems with all kind of side constraints, which are typical for real-world industrial applications. References 1. A. Aggoun and N. Beldiceanu. Extending CHIP in order to solve complex scheduling and placement problems. Mathl. Comput. Modelling, 17(7):57 73, R. K. Ahuja, T. L. Magnanti, and J. B. Orlin. Network flows : theory, algorithms and applications. Prentice Hall, N. Beldiceanu, H. Simonis, Ph. Kay, and P. Chan. The CHIP system, A. Bockmayr and T. Kasper. Branch-and-infer: A unifying framework for integer and finite domain constraint programming. INFORMS J. Computing, 10(3): , E. A. Boyd. Polyhedral results for the precedence-constrained knapsack problem. Discrete Appl. Math., 41(3): , C. E. Ferreira, A. Martin, and R. Weismantel. Solving multiple knapsack problems by cutting planes. SIAM J. Optim., 6(3): , F. Focacci, A. Lodi, and M. Milano. Cutting planes in constraint programming: A hybrid approach. In Principles and Practice of Constraint Programming, CP 2000, Singapore, pages Springer, LNCS 1894, E. S. Gottlieb and M. R. Rao. The generalized assignment problem: Valid inequalities and facets. Math. Program., Ser. A, 46(1):31 52, S. Heipcke. Combined modelling and problem solving in mathematical programming and constraint programming. PhD thesis, Univ. Buckingham, J. N. Hooker, G. Ottosson, E. S. Thorsteinsson, and H.-J. Kim. On integrating constraint propagation and linear programming for combinatorial optimization. In Sixteenth National Conference on Artificial Intelligence, AAAI 99, B. Korte and J. Vygen. Combinatorial Optimization: Theory and Algorithms. Springer, M. W. Padberg. (1,k)-configurations and facets for packing problems. Math. Program., 18:94 99, K. Park and S. Park. Lifting cover inequalities for the precedence-constrained knapsack problem. Discrete Appl. Math., 72(3): , P. Refalo. Linear formulation of constraint programming models and hybrid solvers. In Principles and Practice of Constraint Programming, CP 2000, Singapore, pages Springer, LNCS 1894, R. Rodosek, M. G. Wallace, and M. T. Hajian. A new approach to integrating mixed integer programming and constraint logic programming. Annals of Operations Research, 86:63 87, A. Scholl. Balancing and sequencing of assembly lines, 2., rev. ed. Physica-Verl., R. L. M. J. van de Leensel, C. P. M. van Hoesel, and J. J. van de Klundert. Lifting valid inequalities for the precedence constrained knapsack problem. Math. Program., 86(1): , L. Wolsey. Integer programming. Wiley, 1998.