how the formulations compare to one another as re-
gard to the strengthen of the associated linear relax-
ation.
The main difference among the various formula-
tions for the ATSP relate to the constraints used to
eliminate subtours. The multi-commodity-flow for-
mulation proposed by Claus (1984) has been used by
Clark et al (2011) to model the scheduling decisions
in the presence of non-triangular setups times. The
main idea of the proposed formulation is to ensure
that, in any period t, there is always a path from the
initial product s to any other product r in the periodt’s
sequence. In this work the multi-commodity-flowfor-
mulation is also used to eliminate subtours. However,
the objectiveis to obtain a formulation that is stronger
than others from the literature, and therefore might
have a better computational behavior when solved by
a general purpose software.
To obtain the new formulation, it is necessary to
define a new index r = {1, ...,J}, and a new set of
variables. The continuous variables, m
II
rijt
, are used
to formulate subtour elimination constraints based on
the multi-commodity-flow formulation for the ATSP.
The idea behind this formulation is that there are J
commodities available at node i
0
and a demand of one
unit of commodity j at node j. If m
II
rijt
= 1 then the
flow of commodity r flows from node i
0
no node r
through arc (i, j). In terms of the items sequence in
period t, it means that if product r is included in the
production sequence, then product j follows product
i in such sequence. The constraints (16)-(19) elimi-
nates disconnected subsequence of items.
Since only the items which are produced (i.e.
x
II
rt
> 0) should be sequenced, constraints (16) and
(17) take place only when the machine is prepared
for item r. These constraints guarantee that if product
r is included in the sequence at least one other item
should be also included.
J
∑
j=1
m
II
ri
0
jt
−
J
∑
j=1
m
II
rji
0
t
=
J
∑
j=1, j6=r
z
II
jrt
, ∀r,∀t (16)
J
∑
j=1
m
II
rjrt
−
J
∑
j=1
m
II
rr jt
= −
J
∑
j=, j6=r
z
II
jrt
, ∀r,∀t (17)
Constraints (18) are the flow conservation constraints,
for all but product r in node r. And constraints (19)
states that item j should follow item i in the sequence
that includes item r only if there is a changeover from
product i to product j.
J
∑
i=1
m
II
rijt
=
J
∑
i=1
m
II
rjit
, ∀r,∀ j; j 6= r,∀t (18)
m
II
rijt
≤ z
II
ij
∀i, j, r;∀t (19)
The multi-commodity-flow model for the sin-
gle stage single machine lot scheduling problem
(MM1S1M) is defined by the objective function (1),
the Stage I constraints (2)-(5), the Stage II con-
straints (6)-(12), the subtour elimination constraints
(16)-(19), and the domain constraints (20).
x
II
jt
≥ 0, m
II
rijt
≥ 0, z
II
ijt
, y
I
lt
= 0/1, w
lt
∈ Z
+
,
n
lt
≥ 0, ∀i, j,r;∀t;∀l. (20)
4 CONCLUSIONS
In this paper a new formulation for the single stage,
single machine lotscheduling problem has been pro-
posed. This model might be useful for building
decision support systems for the production plan-
ning that arises in the soft drink production of small
and medium sized plants. The main feature of
the the model MM1S1M proposed in Section 3 is
that it includes multi-commodity-flow constraints to
model the sequence at which the items should be
produced. In spite of the fact that the MM1S1M
model has a higher number of constraints to eliminate
subtours than the model P1S1MTS, the number of
these constraints is still polynomial. Moreover, these
constraints provide a stronger formulation since the
ATSP formulation using these type of constraints is
stronger than the MTZ formulation that is used in the
P1S1MTS model. A computational experiment using
data from the literature is being prepared to compare
the MM1S1M model with other models from the liter-
ature and to evaluate its computational behavior when
solved by general purpose software (e.g. Cplex (IBM,
2011), Gurobi (Gurobi, 2011)).
ACKNOWLEDGEMENTS
This research was partly supported by the Brazilian
research agencies Capes, CNPq and Fapesp. It also
receivedpartial support from the FP7-PEOPLE-2009-
IRES Project (no. 246881).
REFERENCES
Almada-Lobo, B., Klabjan, D., Oliveira,J. F., Caravilla, J.
F.. Single machine multiproduct capacitated lot sizing
with sequence-dependent setups. International Jour-
nal of Production Research. v.45, n.20, p.4873-4894,
2007.
Clark, A. R., Almada-Lobo, B. and Almeder, C.. Edito-
rial: Lot sizing and scheduling - industrial extensions
ICORES 2012 - 1st International Conference on Operations Research and Enterprise Systems
184