Advanced Linear Programming
Advanced Linear Programming
(Part 1)
TUA 405
Operations Research 1
Simplex Method Fundamentals
In linear programming, the feasible solution space is said to form a
convex set if the line segment joining any two distinct feasible points
also falls in the set.
An extreme point of the convex set is a feasible point that cannot lie
on a line segment joining any two distinct feasible points in the set.
A feasible point x can be expressed as a convex combination of its
extreme points Xl, X2, X3, X4, X5, and X6 using :
X = α1X1 + α2X2 + α3X3 + α4X4 + α5X5 + α6X6
where
α1 + α2 + α3 + α4 + α5 + α6 = 1
From Extreme Points to Basic Solutions
It is convenient to express the general LP problem in equation
form using matrix notation.
Define
X as an n-vector representing the variables.
A as an (m x n)-matrix representing the constraint coefficients.
b as a column vector representing the right-hand side.
C as an n-vector representing the objective-function coefficients.
The LP is written as :
Maximize or Minimize z = CX
subject to
AX = b
X≥0
From Extreme Points to Basic Solutions
In the simplex tableau format, the rightmost m columns of A al-
ways can be made to represent the identity matrix I.
A basic solution of AX = b is determined by setting n – m variables
equal to zero.
Solving the resulting m equations in the remaining m unknowns,
provided that the resulting solution is unique.
Given this definition, the algebraic definition of basic solution can
be written as :
Extreme points of {X|AX=b}<> Basic solution of AX = b
From Extreme Points to Basic Solutions
We conclude that the basic solutions of AX = b contain all the in-
formation we need to determine the optimum solution of the LP
problem.
If we impose the nonnegativity restriction, X ≥ 0, the search for
the optimum solution is confined to the feasible basic solution only.
To formalize the definition of a basic solution, the system AX = b
can be expressed in vector form as follow
Then we get,
For a given basic vector XB and its corresponding basis B and object-
ive vector CB, the general simplex tableau developed can be repre-
sented as :