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

阿果

model:
. l; l; h; d1 {" h' n  k1=@smax(0,(x1-1));
  k2=@smax(0,(x1+x2-1));
& t6 @0 F" h( ]% Z8 g: E3 K  k3=@smax(0,(x2-1));
- r1 |3 k; B, V. ?" J; _3 b  k4=@smax(0,(x1+x3-1));
  k5=@smax(0,(x2+x4-1));
( l5 ^$ ~$ B9 v% w/ \( |  k6=@smax(0,(x4-1));
  k7=@smax(0,(x3+x6-1));
; J  p5 w6 F5 v. m  k8=@smax(0,(x3+x4+x5-1));
  k9=@smax(0,(x4+x5-1));
  k10=@smax(0,(x3+x6-1));
" N4 C5 M9 Z6 M& o) w3 {& R  k11=@smax(0,(x6-1));
! K0 D0 S) q% W8 h. ]3 r  k12=@smax(0,(x5+x6+x7-1));
  k13=@smax(0,(x7-1));
7 M6 w4 Z' i4 t  k14=@smax(0,(x7-1));
3 X6 t; j0 t. G6 O0 o* n  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
2 G: K0 H1 o* p. f3 D# @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;
@bin(x1);@bin(x2);@bin(x3);@bin(x4);@bin(x5);@bin(x6);@bin(x7);
$ z7 k1 a( ]( I  \, \0 G; `x1*9+x2*6.5+x3*20+x4*14.5+x5*19+x6*13+x7*10.5<=50;
) s7 A) S) w. u% _9 e) t& V  j# oend

阿果

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

linmatsas

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

数学者

0-1整数规划

yjy7604

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