[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-glpk] syntax problem ?
From: |
Matthieu Bollot |
Subject: |
Re: [Help-glpk] syntax problem ? |
Date: |
Sun, 27 Jan 2008 19:58:43 +0100 |
Le Dimanche 27 janvier 2008 à 21:15 +0300, Andrew Makhorin a écrit :
> > there, is another way :
> > subject to cont4{i in 1..n, j in 1..OFi[i]-1,k in 1..m, a in
> > 1..BS-1-trmax} :
> > p[i,j]*x[i,j+1,k,a] <= sum{kk in 1..m, aa in
> > 1..a-1-tr[k,kk]}x[i,j,kk,aa];
>
> > but in my case, p[i,j] can't be a parameter because it depend on k so I
> > would like something like :
>
> > subject to cont4{i in 1..n, j in 1..OFi[i]-1,k in 1..m, a in
> > 1..BS-1-trmax} :
> > zt[i,j]*x[i,j+1,k,a] <=
> > sum{kk in 1..m, aa in 1..a-1-tr[k,kk]}x[i,j,kk,aa];
>
> > subject to cont41{i in 1..n, j in 1..OFi[i]} :
> zt[i,j]>>=sum{k in 1..m}z[i,j,k]*p[i,j,k];
>
> > but multiplication of linear forms is not allowed... is it possible with
> > an other way ?
>
> This is because in mip all constraints must be linear.
>
> Could you formulate your question more precisely?
thanks for your answer.
var x{i in 1..n,j in 1..OFi[i],k in 1..m, l in 1..BS} binary;
param p:=
[*,*,1]: 1 2:=
1 1 0
2 8 1...
[*,*,2]: 1 2:=
1 3 2
2 3 1;
my model will choose the best value for p
var zt{i in 1..n, j in 1..OFi[i]};
for example, zt[1,1] can be 1.
zt[2,1] could be 8 or 3.
What I want is :
subject to cont4{i in 1..n,j in 1..(OFi[i]-1), k in 1..m,
a in 1..BS-1-trmax} :
x[i,j+1,k,a]*zt[i,j]<=sum{kk in 1..m, aa in 1..a+tr[k,kk]}x[i,j,kk,aa];
^^^^^^^^^^^^^^^^^^^^the problem is here.
which means that I can't have x[i,j+1,k,a]=1 before sum of x[i,j,k,a] is
equal to zt[i,j]
I could say that the task j+1 can't start before j is completely done.
But may be my model is completely wrong ?