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

阿果

model:
+ r4 c  `2 v  k' Y# X  k1=@smax(0,(x1-1));
  k2=@smax(0,(x1+x2-1));
/ t0 \# s7 X: P, A" `+ ?0 E  k3=@smax(0,(x2-1));
  k4=@smax(0,(x1+x3-1));
. W5 _- Y" H3 M; d; F  k5=@smax(0,(x2+x4-1));
9 F' R- L, \7 P/ i% G! |; `9 u  k6=@smax(0,(x4-1));
  k7=@smax(0,(x3+x6-1));
% I$ u" s) y0 x. r  k8=@smax(0,(x3+x4+x5-1));
1 N; X: V3 f0 J, E! Z9 z0 ?  k9=@smax(0,(x4+x5-1));
  k10=@smax(0,(x3+x6-1));
/ T0 `0 }. r4 X' g  k11=@smax(0,(x6-1));
7 V( r6 R2 i2 U) ]7 D  k12=@smax(0,(x5+x6+x7-1));
0 y5 y( V8 M2 m; \  M* r  D& ]  k13=@smax(0,(x7-1));
  k14=@smax(0,(x7-1));
$ H, ^$ N; o% w! r3 L, r  k15=@smax(0,(x6+x7-1));
9 l8 A  o, }2 Ldata:
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;
3 K0 x# j' ^6 w, R1 o; V7 fenddata
# z) g1 a; C2 n6 K) b/ _( |max=(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;
$ H( R* I% [/ w@bin(x1);@bin(x2);@bin(x3);@bin(x4);@bin(x5);@bin(x6);@bin(x7);
5 A: ~& M4 P* r& u- [% M, l% Sx1*9+x2*6.5+x3*20+x4*14.5+x5*19+x6*13+x7*10.5<=50;
/ ~4 K$ a' z# a! Kend

阿果

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

linmatsas

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

数学者

0-1整数规划

yjy7604

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