lingo求解01整数规划

Question

lingo解01整数规划问题
由于要处理的数据量比较大,这里给出简化版的,
大致约束条件如下
比如有a1至a10共十个变量
有
a1+a3+a5+a8>=1
a2+a4+a9>=1
a1+a4+a9>=1
a6+a7==0
求目标函数a1+a2+a3+a4+a5+a6+a7+a8+a9+a10的最小值
希望高手能给出求解这个问题的lingo代码,最好能够配上代码里用上的一些函数的意思和用法
本人菜鸟,见谅.

Answer 1

sets:
C/1..10/:a;!定义变量a有10个;
S/1..4/;!定义约束有4个式子;
ST(S,C):b;!定义0-1变量是a的系数.;
endsets
@for(S(I)|I#lt#4:@sum(C(J):b(I,J)*a(J))>1);!对于每个式子,对应的b*a的和