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

阿果

model:
  k1=@smax(0,(x1-1));
  k2=@smax(0,(x1+x2-1));
0 y& }/ m# l1 A/ q9 S5 |# e, v: P8 J  k3=@smax(0,(x2-1));
' S& H* C1 J) s6 f% H' ?( e  a. D' H  k4=@smax(0,(x1+x3-1));
  k5=@smax(0,(x2+x4-1));
  k6=@smax(0,(x4-1));
3 `! J* x5 E! L  k7=@smax(0,(x3+x6-1));
2 ]3 p( b( B8 E* w, ^0 n4 S( c* u  k8=@smax(0,(x3+x4+x5-1));
  ~) C- ]8 K$ a. N% r2 u: s) n5 u+ |* H  k9=@smax(0,(x4+x5-1));
) r3 _- Y( l9 Q, R7 i  k10=@smax(0,(x3+x6-1));
  k11=@smax(0,(x6-1));
( C9 E% E1 t, z' n, y5 r$ }  k12=@smax(0,(x5+x6+x7-1));
  k13=@smax(0,(x7-1));
! E; `; h! P2 ^- l% g" i$ R" D; b  k14=@smax(0,(x7-1));
7 A3 C" E: l& |( W6 y  k15=@smax(0,(x6+x7-1));
data:
) e& _1 r% S! l3 K& C3 S7 \$ Fa1=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
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;
5 @7 P) I# S* Z. o0 ^2 Z4 z@bin(x1);@bin(x2);@bin(x3);@bin(x4);@bin(x5);@bin(x6);@bin(x7);
x1*9+x2*6.5+x3*20+x4*14.5+x5*19+x6*13+x7*10.5<=50;
* Y( N; ^' L9 j/ [0 t+ W9 \8 Eend

阿果

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

linmatsas

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

数学者

0-1整数规划

yjy7604

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