model:
sets:
Jing/1..20/;
Out/1..13/;
JingOut(Jing,Out):dat;
Result(Jing,Out):x;
TheMin(Jing,Out);
endsets
data:
dat=(20*13的数据);
enddata
@for(Result(i,j):@bin(x(i,j))); !所有元素只取0和1
@for(Jing(i):@sum(Result(i,j):x(i,j))=1);!每一个巡警点必须分配一个地点;
@for(Out(j):@sum(Result(i,j):x(i,j))>=1);!所有的出口分配巡警点数>=1;
@for(Out(j):@sum(Result(i,j):x(i,j))<=2);!所有的出口分配巡警点数<=1;
min=@sum(TheMin(i,j):x(i,j)*dat(i,j));
end