Theorem. EROs don’t change the solution of a system of linear equations
If x is a solution of an LP problem. Then Ax=b iff A’x=b’ where (A’,b’) is obtained from (a,b) by a finite number of elementary row operations
Theorem. Existence of optimal extreme point
Assume that the feasible region is non-empty. Then,
[B,N]=
A
Consider the system Ax=b x≥0 where m is mxn and b∈ℝᵐ where A has maximal rank. Let A=[B,N] where B is mxm invertible matrix and N is mx(n-m) matrix.
What is a basic solution of this system?
xB = B-¹b, xN=0
dimension of B
mxm invertible
dimension of N
mx(n-m)
xB =
B-¹b
xN =
0
How to find the basic feasible solution for the LP problem min cᵀx s.t. Ax=b x≥0
The number of BFS is bounded by the number of ways of extracting m columns from A i.e. there are at most … BFS
n choose m
n!/(m!(n-m)!)
Theorem BFS and extreme point
Given an LP problem then a point is a BFS iff its an extreme point
Corollary. number of extreme points.
Given a polyhedron there are only a finite number of extreme points
Fundamental Theorem of linear Programming
(i) if there is a feasible solution then there is a basic feasible solution
(ii) if there is an optimal solution for an LP, then there is a BFS that is optimal
How to construct a BFS from a feasible point (from proof of FTLP)
How to find the rank of A