例4.13職員時序安排模型一項工作一周7天都需要有人(比如護士工作),每天(周一至周日)所需的最少職員數(shù)為20、16、13、16、19、14和12,并要求每個職員一周連續(xù)工作5天,試求每周所需最少職員數(shù),并給出安排。注意這里我們考慮穩(wěn)定后的情況。
model:
sets:
days/mon..sun/: required,start;
endsets
data:
!每天所需的最少職員數(shù);
required = 20 16 13 16 19 14 12;
enddata
!最小化每周所需職員數(shù);
min=@sum(days:start);
@for(days(J):
@sum(days(I) |I #le# 5:
start(@wrap(J+I+2,7))) >= required(J));
end