Given the base , we can set non-basic variables and compute

If the basis is unfeasible. Else if the basis is feasible. So we have that a BFS (Basic Feasible Solution) is obtained setting

NOTE: It can be proven that each vertex corresponds to a BFS