This preview shows pages 1–11. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: IE417: Nonlinear Programming: Lecture 19 Jeff Linderoth Department of Industrial and Systems Engineering Lehigh University April 27, 2006 Jeff Linderoth IE417:Lecture 19 Stuff Left To Do Your Final Assignment Code one of the following methods for constrained optimization: 1 An augmented Lagranigan Code 2 A sequential quadratic programming code 3 An interiorpoint based method Include a short writeup of things that worked, things that didnt work, and the number of problems from the CUTER (or other) test set that you were able to solve. Final Exam Final Exam: Thursday May 4, 15PM. You get three sheets of 8 . 5 11 paper. Jeff Linderoth IE417:Lecture 19 The Canonical Problem min x R n f ( x ) subject to c i ( x ) = i E c i ( x ) i I Or if = { x R n  c i ( x ) = 0 ,i E ,c i ( x ) ,i I} then min x f ( x ) (NLP) Jeff Linderoth IE417:Lecture 19 Recall! Local Solution x is a local solution of (NLP) if x and a neighborhood N ( x ) such that f ( x ) f ( x ) x N Strict Local Solution x is a strict local solution of (NLP) if x and a neighborhood N ( x ) such that f ( x ) > f ( x ) x N with x 6 = x Jeff Linderoth IE417:Lecture 19 Lagrangians Lagrangian L ( x, ) = f ( x ) X EI i c i ( x ) Active Set A ( x ) = E { i I  c i ( x ) = 0 } LICQ Given x * and active set A ( x * ) , the linear indepence constraint qualifi cation (LICQ) holds if the set of vectors c i ( x * ) ,i A ( x * ) is linearly independent Jeff Linderoth IE417:Lecture 19 First Order Necessary (KKT) Conditions If x * is a local solution NLP, and LICQ holds at x * , then there exists multipliers * i ,i E I such that KKT x L ( x * , * ) = (1) c i ( x * ) = i E (2) c i ( x * ) i I (3) * i i I (4) * i c i ( x * ) = i I E (5) Can write (1) as 0 = x L ( x * , * ) = f ( x * ) X i A ( x * ) * i c i ( x * ) Jeff Linderoth IE417:Lecture 19 Examples Geometrically, if ( x ) is an optimal solution, then we must be able to write x as an appropriate linear combination of the binding constraints. If a constraint is not binding, its weight must be 0. Also, first order conditions are only necessary if a constraint qualification holds. LICQ, MFCQ, Linear. Jeff Linderoth IE417:Lecture 19 Example? maximize f ( x ) = 2 x 1 + 3 x 2 + 4 x 2 1 + 2 x 1 x 2 + x 2 2 subject to x 1 x 2 x 1 + x 2 4 x 1 3 Jeff Linderoth IE417:Lecture 19 KKT Conditions Primal Feasibility x 1 x 2 x 1 + x 2 4 x 1 3 Dual Feasibility 2 + 8 x 1 + 2 x 2 = 1 + 2 + 3 3 + 2 x 1 + 2 x 2 = 1 + 2 1 , 2 , 3 Complementary Slackness 1 ( x 1 x 2 ) = 0 2 (4 x 1 x 2 ) = 0 3 (3 x 1 ) = 0 Jeff Linderoth IE417:Lecture 19 Checking Some Points Is x 1 = 2 ,x 2 = 2 an optimal point?...
View
Full
Document
This note was uploaded on 02/29/2008 for the course IE 417 taught by Professor Linderoth during the Spring '08 term at Lehigh University .
 Spring '08
 Linderoth
 Systems Engineering

Click to edit the document details