Originally posted by: fischer_07

when i try to resolve my model the program show me that:

"Row 'id660' infeasible, all entries at implied bounds.

i want to know what does it means, and i want to know how can i know if a boolean variable has the value 1 or 0, please help me 

Hi,

can you attach your model ?

regards

Originally posted by: fischer_07

i send you the model, the model was running well, but then when i  added the next two restriction...:

forall(k in J, i in 1..periodos:i<=22){  
 ((1-R[k,i])+(1-R[k,i+1])+(1-R[k,i+2]))/3==1-W[k,i];         
}

forall(k in J, i in 1..periodos){
Y[k,i]<=1-R[k,i];
 }

appeared the message

"Row 'id660' infeasible, all entries at implied bounds.

I really appreciate all the help that you can give me.

PD. the file "produccion mod" is the archive. mod, and "produccion file dat" is the archive.dat, i didnt know why i cant upload the model in a archive .rar

Hi,

if you replace

forall(k in J, i in 1..periodos:i<=22){  
 ((1-R[k,i])+(1-R[k,i+1])+(1-R[k,i+2]))/3==1-W[k,i];         
}

by

forall(k in J, i in 1..periodos:i<=22){  
 ct:((1-R[k,i])+(1-R[k,i+1])+(1-R[k,i+2]))/3==1-W[k,i];         
}

then you get a relaxed solution

[0,0]    [-0.33333,0]    ct[2][8] 
[0,0]    [0,0.33333]    ct[2][9]

regards
 

Originally posted by: fischer_07

AlexFleischer, can you explain me what is the purpose of   ct:((1-R[k,i])+(1-R[k,i+1])+(1-R[k,i+2]))/3==1-W[k,i]; ?,    i didnt have seen that before, and i want to understand.

what is the interpretaction to [0,0]    [-0.33333,0]    ct[2][8]       ?

                                                    [0,0]    [0,0.33333]    ct[2][9]

Hi,

it means that if you add some slack in your constraint

ct:((1-R[k,i])+(1-R[k,i+1])+(1-R[k,i+2]))/3==1-W[k,i];

for k=2 i=8 and k=2 i=9 then it will help.

And even stronger

forall(k in J, i in 1..periodos:i<=22){  
 -0.4<=((1-R[k,i])+(1-R[k,i+1])+(1-R[k,i+2]))/3-1+W[k,i]<=0.4;         
}

will make your model feasible

regards