sets: xuesheng/1..4/:; week/1..7/:; worktime(xuesheng,week):wtime,x,y;endsetsdata: wtime = 5 8 6 0 7 4 8 5 6 0 6 0 8 5 4 4 3 8 5 8 0 5 3 6 2 4 2 8;enddatamin = 10 * @sum(worktime(i,j) | i #LT# 3:x(i,j)) + 12 * @sum(worktime(i,j) | i #GT# 2:x(i,j)) ;!两名大学生每周值班不少于12小时;@for(xuesheng(i) | i #LT# 3: @sum(week(j):x(i,j)) >= 12);!两名研究生每周值班不少于10小时;@for(xuesheng(i) | i #GT# 2: @sum(week(j):x(i,j)) >= 10);@for(worktime: y = @if(x #GT# 0,1,0));!每次值班不少于2小时;@for(worktime: x >= y * 2);!每名学生每周值班不超过5次;@for(xuesheng(i):@sum(week(j):y(i,j)) <= 5);!每天安排值班的学生不超过3人;@for(week(j):@sum(xuesheng(i):y(i,j)) <= 3);!每天安排值班的学生中必须有一名研究生;@for(week(j):@sum(xuesheng(i) | i #GT# 2:y(i,j)) >= 1);!该图书馆开放时间为上午9:00至晚上8:00,开放时间内须有且仅须一名学生值班;@for(week(j):@sum(xuesheng(i):x(i,j)) >= 11);@for(worktime:x <= wtime);@for(worktime:@gin(x));计算结果:最少报酬:816元5 3 6 0 7 0 74 6 0 6 0 8 20 2 2 3 2 3 02 0 3 2 2 0 2