This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: 12 Termination In order for the simplex method to be a reliable algorithm, we must be sure that, starting from a feasible tableau, it terminates after a finite number of iterations. In this section we shall see that the smallest subscript rule ensures termination. We need one last ingredient. We consider the standard equalityform linear program maximize c T x = z subject to Ax = b x , where A is an mby n matrix. Proposition 12.1 (uniqueness of tableau) There is exactly one tableau corresponding to each (ordered) basis. Proof Let B be a basis, and let N be a list of the indices not in B . By definition, the basis matrix A B with columns from A indexed by B is invertible. Recall from Section 5 that we also write A N for the matrix with columns from A indexed by N . Analogously, we write x B , x N for vectors with entries from x indexed by B and N respectively, with similar definitions for the vectors c B and c N . Using this notation, we can rewrite the system of equations defining the linear program as...
View
Full
Document
This note was uploaded on 02/20/2009 for the course ORIE 3300 taught by Professor Todd during the Fall '08 term at Cornell University (Engineering School).
 Fall '08
 TODD

Click to edit the document details