I'm studying the example of GAMS library: Enumerate all Feasible Basic Solutions of the Transportation Problem (ALLBASES,SEQ=396)
In the description they mention this statement: We reformulate in standard form use binary variables to determine if a variable belongs to the basis or not.
I don't quite understand what belongs to the basis means... I do understand the formulation but I don't get the purpose of it...
May someone give me a hand on this doubt ...
This is the formulation of the "Basis" :
* Basis definition
xind(i,j) x basis indicator
sslind(i) sslack basis indicator
dslind(j) dslack basis indicator
Binary Variable xind, sslind, dslind;
defbasis basis definition
defximp(i,j) xind=0 => x=0
defsslimp(i) sslind=0 => ssl=0
defdslimp(j) dslind=0 => dsl=0;
defbasis .. card(i) + card(j) =e=
sum((i,j), xind(i,j)) + sum(i, sslind(i)) + sum(j, dslind(j));
defximp(i,j) .. x(i,j) =l= min(a(i),b(j))*xind(i,j);
defsslimp(i) .. sslack(i) =l= a(i)*sslind(i);
defdslimp(j) .. dslack(j) =l= b(j)*dslind(j);
Thank you for your helping..
Archive of Gamsworld Google Group
1 post • Page 1 of 1