,
which consists of two operations
,
i=1,2
, a compiler
,
for each operation
a length
and for each
a pair of set-up times
, where
.
and
with
are scheduled consecutively (i.e., no other operation
has
) and have different compilers
(i.e.,
), then
.
.
Viggo Kann