- 在线时间
- 23 小时
- 最后登录
- 2014-9-15
- 注册时间
- 2013-4-18
- 听众数
- 8
- 收听数
- 9
- 能力
- 0 分
- 体力
- 163 点
- 威望
- 0 点
- 阅读权限
- 20
- 积分
- 93
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 79
- 主题
- 5
- 精华
- 0
- 分享
- 0
- 好友
- 27
升级   92.63% TA的每日心情 | 慵懒 2014-9-15 12:37 |
---|
签到天数: 25 天 [LV.4]偶尔看看III
- 自我介绍
- 宁静沁心
 群组: 数学建摸协会 群组: 数学建模培训课堂1 群组: 2013认证赛A题讨论群组 群组: 2013认证赛B题讨论群组 群组: 学术交流A |
model:
sets:
teacher/1..42/: ;
course/1..14/:c;
weekday/1..5/:;
class/1..238/:;
rela(teacher,class):z;
links(teacher,course): x;
bone(course,weekday): t;
endsets
min=(@sum(teacher(i):(@sum(course(j): x(i,j)*c(j))-(@sum(course(j): c(j)))/42)^2));
@for(links(i,j):@bin(x));
@for(rela(i,k):@gin(z));
@for(bone(j,m):@gin(t));
@for(teacher(i):
@sum(weekday(m):(@sum(course(j): x(i,j)*t(j,m))))<=12;
@sum(weekday(m):(@sum(course(j): x(i,j)*t(j,m))))>=2);
@for(teacher(i):
@for(weekday(m):
@sum(course(j):x(i,j)*t(j,m))<=8;
@sum(course(j):x(i,j)*t(j,m))>=0));
@for(teacher(i): @sum(course(j): x(i,j))<=2;
@sum(course(j): x(i,j))>=1);
@sum(teacher(i): x(i,1))>=5;
@sum(teacher(i): x(i,1))<=38;
@sum(teacher(i): x(i,2))>=7;
@sum(teacher(i): x(i,2))<=42;
@sum(teacher(i): x(i,3))>=3;
@sum(teacher(i): x(i,3))<=17;
@sum(teacher(i): x(i,14))>=15;
@sum(teacher(i): x(i,14))<=42;
@sum(teacher(i): x(i,4))>=1;
@sum(teacher(i): x(i,4))<=5;
@sum(teacher(i): x(i,5))=1;
@sum(teacher(i): x(i,6))=1;
@sum(teacher(i): x(i,7))=1;
@sum(teacher(i): x(i,8))=1;
@sum(teacher(i): x(i,9))>=1;
@sum(teacher(i): x(i,9))<=2;
@sum(teacher(i): x(i,10))=1;
@sum(teacher(i): x(i,11))=1;
@sum(teacher(i): x(i,12))>=1;
@sum(teacher(i): x(i,12))<=2;
@sum(teacher(i): x(i,13))=1;
@sum(weekday(m): t(1,m))=6;
@sum(weekday(m): t(2,m))=6;
@sum(weekday(m): t(3,m))=5;
@sum(weekday(m): t(4,m))=3;
@sum(weekday(m): t(5,m))=3;
@sum(weekday(m): t(6,m))=4;
@sum(weekday(m): t(7,m))=4;
@sum(weekday(m): t(8,m))=4;
@sum(weekday(m): t(9,m))=3;
@sum(weekday(m): t(10,m))=6;
@sum(weekday(m): t(11,m))=3;
@sum(weekday(m): t(12,m))=3;
@sum(weekday(m): t(13,m))=4;
@sum(weekday(m): t(14,m))=3;
total = @sum(course:c);
data:
c=104 104 88 48 48 72 64 64 48 108 48 48 64 48;
enddata
end
|
zan
|