Hello all

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

Variables

xind(i,j) x basis indicator

sslind(i) sslack basis indicator

dslind(j) dslack basis indicator

Binary Variable xind, sslind, dslind;

Equations

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…

Juan D