lingo编程，大家帮忙解读一下

阿果

model:
  k1=@smax(0,(x1-1));
8 i- B, z" o+ F  k2=@smax(0,(x1+x2-1));
  k3=@smax(0,(x2-1));
  k4=@smax(0,(x1+x3-1));
  k5=@smax(0,(x2+x4-1));
3 y1 n5 n3 c% r$ o2 \  k6=@smax(0,(x4-1));
7 B4 [" {6 i0 k  k7=@smax(0,(x3+x6-1));
  k8=@smax(0,(x3+x4+x5-1));
  k9=@smax(0,(x4+x5-1));
7 t- {; i! d. ?$ j& m3 o+ r  k10=@smax(0,(x3+x6-1));
  k11=@smax(0,(x6-1));
  k12=@smax(0,(x5+x6+x7-1));
( M& V6 `& L6 P- U( Z8 Q  k13=@smax(0,(x7-1));
  k14=@smax(0,(x7-1));
  k15=@smax(0,(x6+x7-1));
data:
a1=2;a2=4;a3=13;a4=6;a5=9;a6=4;a7=8;a8=12;a9=10;a10=11;a11=6;a12=14;a13=9;a14=3;a15=6;
enddata
  P1 }  y1 V* J) T0 N3 Mmax=(x1*(a1+a2+a4)+x2*(a2+a3+a5)+x3*(a4+a7+a8+a10)+x4*(a5+a6+a8+a9)+x5*(a8+a9+a12)+x6*(a7+a10+a11+a12+a15)+x7*(a12+a13+a14+a15))-k1*a1-k2*a2-k3*a3-k4*a4-k5*a5-k6*a6-k7*a7-k8*a8-k9*a9-k10*a10-k11*a11-k12*a12-k13*a13-k14*a14-k15*a15;
@bin(x1);@bin(x2);@bin(x3);@bin(x4);@bin(x5);@bin(x6);@bin(x7);
' }1 M( N& l8 V$ ?& g9 F1 Y- Q$ X: Xx1*9+x2*6.5+x3*20+x4*14.5+x5*19+x6*13+x7*10.5<=50;
end

阿果

它是哪一类的规划？望各位不吝赐教

linmatsas

我觉得应该算作非线性整数规划……

数学者

0-1整数规划

yjy7604

我也觉得是0-1整数规划