查看: 5785|回复: 8

钥匙分配问题的LINGO程序

字体大小: 正常放大

hubulwm

4 主题	5 听众	96 积分

升级 95.79%

该用户从未签到

电梯直达

1^#

发表于 2008-5-16 15:29 |只看该作者 |倒序浏览

|招呼Ta 关注Ta

LINGO程序内容如下: model: sets: lock/1..462/; person/1..11/; link(lock,person):status; endsets min=@sum(link(i,j)|j#eq#1:status(i,j)); @for(link:@bin(status)); @for(person(r):@for(person(s):@for(person(t):@for(person(x):@for(person(y): @for(person(z)|r#lt#s#and#s#lt#t#and#t#lt#x#and#x#lt#y#and#y#lt#z: @prod(lock(i):status(i,r)+status(i,s)+status(i,t)+status(i,x)+status(i,y)+status(i,z))>1)))))); @for(person(r):@for(person(s):@for(person(t):@for(person(x): @for(person(y)|r#lt#s#and#s#lt#t#and#t#lt#x#and#x#lt#y: @prod(lock(i):status(i,r)+status(i,s)+status(i,t)+status(i,x)+status(i,y))=0))))); end 模型的背景:有11个人组成一个委员会保管保险柜,给保险柜加了若干把锁,问最少加多少把锁,使得任意6位委员同时到场就能打开保险柜,而任意5位委员同时到场却不能打开保险柜?并指出对于锁的把数最少的情形如何分配钥匙以满足上述要求? status(i,j)=1表示第i个人能打开第j把锁, status(i,j)=0表示第i个人不能打开第j把锁, 数学上论证了n>=462,LINGO程序如上,请高手指点,请给出LINGO运行结果!!! status(i,j)=0表示第i个人不能打开第j把锁, 数学上论证了n>=462,LINGO程序如上,请高手指点,请给出LINGO运行结果!!!

zan

转播0 淘帖0 分享0 收藏0 支持0 反对0 微信

使用道具举报

hubulwm

4 主题	5 听众	96 积分

升级 95.79%

该用户从未签到

2^#

发表于 2008-5-16 15:37 |只看该作者 |招呼Ta 关注Ta

这帖子怎么更改格式啊?

model:

sets:

lock/1..462/;

person/1..11/;

link(lock,person):status;

endsets

min=@sum(link(i,j)|j#eq#1:status(i,j));

@for(link:@bin(status)); @for(person(r):@for(person(s):@for(person(t):@for(person(x):@for(person(y): @for(person(z)|r#lt#s#and#s#lt#t#and#t#lt#x#and#x#lt#y#and#y#lt#z:

@prod(lock(i):status(i,r)+status(i,s)+status(i,t)+status(i,x)+status(i,y)+status(i,z))>1))))));

@for(person(r):@for(person(s):@for(person(t):@for(person(x): @for(person(y)|r#lt#s#and#s#lt#t#and#t#lt#x#and#x#lt#y:

@prod(lock(i):status(i,r)+status(i,s)+status(i,t)+status(i,x)+status(i,y))=0)))));

end