Question

lingo如何表达存在某个值 如：存在下标j使得 : 3<y(j); 在软件上怎么写,其中j取值1..3;

Answer 1

可以这样的，

sets:
set1/1..3/: x;
endsets

@sum(set1(I): x(I)) > 9;

对不，如果对于所有的下标，值都小于等于 3，他们的和会比 9 大么。所以之和比 9 大，就可以知道其中有一个比 3 大的。这是从原命题的逆否命令角度考虑的。

追问

是存在，y值可能是1,2,4，你的有问题

追答

不好意思，想错了，条件太紧了，这样可以，
@sum(set1(I): @if(x(I)>3, 1, 0)) >= 1;