Chapter 1 Introduction ๏ฑ Mathematical Programming Problem: min/max ๐(๐ฅ) subject to ๐๐ (๐ฅ) ≤ 0, ๐ = 1, … , ๐, (โ๐ ๐ฅ = 0, ๐ = 1, … , ๐) (๐ฅ ∈ ๐ ⊂ ๐ ๐ ) ๐, ๐๐ , โ๐ : ๐ ๐ → ๐ ๏ฑ If ๐, ๐๐ , โ๐ linear (affine) function ๏ฎ linear programming problem If ๐, ๐๐ , โ๐ (or part of them) nonlinear function ๏ฎ nonlinear programming problem If solution set (or some of the variables) restricted to be integer points ๏ฎ integer programming problem Linear Programming 2012 1 ๏ฑ Linear programming: problem of optimizing (maximize or minimize) a linear (objective) function subject to linear inequality (and equality) constraints. ๏ฑ General form: {max, min} ๐ ′ ๐ฅ subject to ๐๐′ ๐ฅ ≥ ๐๐ , ๐ ∈ ๐1 ๐๐′ ๐ฅ ≤ ๐๐ , ๐ ∈ ๐2 ๐๐′ ๐ฅ = ๐๐ , ๐ ∈ ๐3 ๐ฅ๐ ≥ 0, ๐ ∈ ๐1 , ๐ฅ๐ ≤ 0, ๐ ∈ ๐2 ๐, ๐๐ , ๐ฅ ∈ ๐ ๐ (There may exist variables unrestricted in sign) ๏ฑ inner product of two column vectors ๐ฅ, ๐ฆ ∈ ๐ ๐ : ๐ฅ ′ ๐ฆ = ๐๐=1 ๐ฅ๐ ๐ฆ๐ If ๐ฅ ′ ๐ก = 0, ๐ฅ, ๐ฆ ≠ 0, then ๐ฅ, ๐ฆ are said to be orthogonal. In 3-D, the angle between the two vectors is 90 degrees. ( vectors are column vectors unless specified otherwise) Linear Programming 2012 2 ๏ฑ Big difference from systems of linear equations is the existence of objective function and linear inequalities (instead of equalities) ๏ฑ Much deeper theoretical results and applicability than systems of linear equations. ๏ฑ ๐ฅ1 , ๐ฅ2 , … , ๐ฅ๐ : (decision) variables ๐๐ : right-hand-side ๐๐′ ๐ฅ { ๏ณ, ๏ฃ, ๏ฝ } ๐๐ : i th constraint ๐ฅ๐ { ๏ณ, ๏ฃ } 0 : nonnegativity (nonpositivity) constraint ๐ ′ ๐ฅ : objective function ๏ฑ Other terminology: feasible solution, feasible set (region), free (unrestricted) variable, optimal (feasible) solution, optimal cost, unbounded Linear Programming 2012 3 Important submatrix multiplications ๏ฑ Interpretation of constraints: see as submatrix multiplication. A: ๐ × ๐ matrix ๏ฉ๏ญ ๏ช A๏ฝ ๏ช ๏ช๏ซ ๏ญ Ax ๏ฝ ๏ฅ a1 ' am ' n j ๏ฝ1 ๏ญ๏น ๏ฉ | ๏บ ๏ช ๏ฝ A ๏บ ๏ช 1 ๏ญ ๏บ๏ป ๏ช๏ซ | | ๏น ๏บ An ๏บ | ๏บ๏ป A j x j ๏ฝ ๏ฅ i ๏ฝ1 a i ' xe i , where ๐๐ is i-th unit vector m y ' A ๏ฝ ๏ฅ i ๏ฝ1 y i a i ' ๏ฝ ๏ฅ m n j ๏ฝ1 y' A je j ' denote constraints as ๐ด๐ฅ { ๏ณ, ๏ฃ, ๏ฝ } ๐ Linear Programming 2012 4 ๏ฑ Any LP can be expressed as min ๐ ′ ๐ฅ, ๐ด๐ฅ ≥ ๐ max ๐ ′ ๐ฅ ๏ฎ min (−๐ ′ ๐ฅ) and take negative of the optimal cost ๐๐ ′๐ฅ ≤ ๐๐ ๏ฎ −๐๐′ ๐ฅ ≥ −๐๐ ๐๐′ ๐ฅ = ๐๐ ๏ฎ ๐๐′ ๐ฅ ≥ ๐๐ , −๐๐′ ๐ฅ ≥ −๐๐ nonnegativity (nonpositivity) are special cases of inequalities which will be handled separately in the algorithms. Feasible solution set of LP can always be expressed as ๐ด๐ฅ ≥ ๐ (or ๐ด๐ฅ ≤ ๐) (called polyhedron, a set which can be described as a solution set of finitely many linear inequalities) ๏ฑ We may sometimes use max ๐ ′ ๐ฅ, ๐ด๐ฅ ≤ ๐ form (especially, when we study polyhedron) Linear Programming 2012 5 Standard form problems ๏ฑ Standard form : min ๐ ′ ๐ฅ, ๐ด๐ฅ = ๐, ๐ฅ ≥ 0 Ax ๏ฝ ๏ฅ n j ๏ฝ1 m A j x j ๏ฝ ๏ฅ i ๏ฝ1 a i ' xe i Two view points: ๏Find optimal weights (nonnegative) from possible nonnegative linear combinations of columns of A to obtain b vector ๏Find optimal solution that satisfies linear equations and nonnegativity ๏ฑ Reduction to standard form Free (unrestricted) variable ๐ฅ๐ ๏ฎ ๐ฅ๐+ − ๐ฅ๐− , ๐ฅ๐+ , ๐ฅ๐− ≥ 0 ๐ ๐๐๐ ๐ฅ๐๐ ≤ ๐๐ ๏ฎ ๐ ๐๐๐ ๐ฅ๐๐ + ๐ ๐ = ๐๐ , ๐ ๐ ≥ 0 (slack variable) ๐ ๐๐๐ ๐ฅ๐๐ ≥ ๐๐ ๏ฎ ๐ ๐๐๐ ๐ฅ๐๐ − ๐ ๐ = ๐๐ , ๐ ๐ ≥ 0 (surplus variable) Linear Programming 2012 6 ๏ฑ Any (practical) algorithm can solve the LP problem in equality form only (except nonnegativity) ๏ฑ Modified form of the simplex method can solve the problem with free variables directly (without using difference of two variables). It gives more sensible interpretation of the behavior of the algorithm. Linear Programming 2012 7 1.2 Formulation examples ๏ฑ See other examples in the text. ๏ฑ Minimum cost network flow problem Directed network ๐บ = (๐, ๐ด), ( ๐ = ๐ ) arc capacity ๐ข๐๐ , (๐, ๐) ∈ ๐ด, unit flow cost ๐๐๐ , (๐, ๐) ∈ ๐ด ๐๐ : net supply at node i (๐๐ > 0: supply node, ๐๐ < 0: demand node), (We may assume ๐∈๐ ๐๐ = 0) Find minimum cost transportation plan that satisfies supply, demand at each node and arc capacities. minimize (๐,๐)∈๐ด ๐๐๐ ๐ฅ๐๐ subject to {๐:(๐,๐)∈๐ด} ๐ฅ๐๐ − ๐: ๐,๐ ∈๐ด ๐ฅ๐๐ = ๐๐ , i = 1, …, n (out flow - in flow = net flow at node i) (some people use, in flow – out flow = net flow) ๐ฅ๐๐ ≤ ๐ข๐๐ , (๐, ๐) ∈ ๐ด ๐ฅ๐๐ ≥ 0, Linear Programming 2012 (๐, ๐) ∈ ๐ด 8 ๏ฑ Choosing paths in a communication network ( (fractional) multicommodity flow problem) ๏ฑ Multicommodity flow problem: Several commodities share the network. For each commodity, it is min cost network flow problem. But the commodities must share the capacities of the arcs. Generalization of min cost network flow problem. Many applications in communication, distribution / transportation systems ๏Several commodities case ๏Actually one commodity. But there are multiple origin and destination pairs of nodes (telecom, logistics, ..). Each origin-destination pair represent a commodity. ๏ฑ Given telecommunication network (directed) with arc set A, arc capacity ๐ข๐๐ bits/sec, (๐, ๐) ∈ ๐ด, unit flow cost ๐๐๐ /bit , (๐, ๐) ∈ ๐ด, demand ๐ ๐๐ bits/sec for traffic from node k to node l. Data can be sent using more than one path. Find paths to direct demands with min cost. Linear Programming 2012 9 Decision variables: ๐๐ ๐ฅ๐๐ : amount of data with origin k and destination l that traverses link (๐, ๐) ∈ ๐ด Let ๐๐๐๐ = ๐ ๐๐ if ๐ = ๐ −๐ ๐๐ if ๐ = ๐ 0 otherwise ๏ฑ Formulation (flow based formulation) ๐๐ ๐ ๐ฅ ๐๐ ๐ ๐๐ minimize (๐,๐)∈๐ด subject to ๐๐ {๐:(๐,๐)∈๐ด} ๐ฅ๐๐ ๐ − ๐: ๐,๐ ∈๐ด ๐ฅ๐๐๐๐ = ๐๐๐๐ , ๐, ๐, ๐ = 1, … , ๐ (out flow - in flow = net flow at node i for commodity from node k to node l) ๐ ๐๐ ๐ ๐ฅ๐๐ ≤ ๐ข๐๐ , (๐, ๐) ∈ ๐ด (The sum of all commodities should not exceed the capacity of link (i, j) ) ๐๐ ๐ฅ๐๐ ≥ 0, Linear Programming 2012 ๐, ๐ ∈ ๐ด, ๐, ๐ = 1, … , ๐ 10 ๏ฑ Alternative formulation (path based formulation) Let K: set of origin-destination pairs (commodities) ๐ ๐ : demand of commodity ๐ ∈ ๐พ P(k): set of all possible paths for sending commodity k๏K P(k;e): set of paths in P(k) that traverses arc e๏A E(p): set of links contained in path p Decision variables: ๐ฆ๐๐ : fraction of commodity k sent on path p minimize subject to ๐ ๐ ๐∈๐(๐) ๐ค๐ ๐ฆ๐ ๐ ๐∈๐(๐) ๐ฆ๐ = 1, ๐∈๐พ ๐∈๐พ 0 where ๐ค๐๐ = ๐๐ ๐ ๐ ๐∈๐(๐;๐) ๐ ๐ฆ๐ ≤ ๐ฆ๐๐ ≤ 1, for all ๐ ∈ ๐พ ≤ ๐ข๐ , for all ๐ ∈ ๐ด for all ๐ ∈ ๐ ๐ , ๐ ∈ ๐พ, ๐∈๐ธ(๐) ๐๐ ๏ฑ If ๐ฆ๐๐ ∈ {0,1}, it is a single path routing problem (path selection problem, integer multicommodity flow problem). Linear Programming 2012 11 ๏ฑ path based formulation has smaller number of constraints, but enormous number of variables. can be solved easily by column generation technique (later). Integer version is more difficult to solve. ๏ฑ Extensions: Network design - also determine the number and type of facilities to be installed on the links (and/or nodes) together with routing of traffic. ๏ฑ Variations: Integer flow. Bifurcation of traffic may not be allowed. Determine capacities and routing considering rerouting of traffic in case of network failure, Robust network design (data uncertainty), ... Linear Programming 2012 12 ๏ฑ Pattern classification (Linear classifier) Given m objects with feature vector ๐๐ ∈ ๐ ๐ , ๐ = 1, … , ๐. Objects belong to one of two classes. We know the class to which each sample object belongs. We want to design a criterion to determine the class of a new object using the feature vector. Want to find a vector (๐ฅ, ๐ฅ๐+1 ) ∈ ๐ ๐+1 with ๐ฅ ∈ ๐ ๐ such that, if ๐ ∈ ๐, then ๐๐′ ๐ฅ ≥ ๐ฅ๐+1 , and if ๐ ∉ ๐, then ๐๐′ ๐ฅ < ๐ฅ๐+1 . (if it is possible) Linear Programming 2012 13 ๏ฑ Find a feasible solution (๐ฅ, ๐ฅ๐+1 ) that satisfies ๐๐′ ๐ฅ ≥ ๐ฅ๐+1 , ๐∈๐ ๐๐′ ๐ฅ < ๐ฅ๐+1 , ๐∉๐ for all sample objects i Is this a linear programming problem? ( no objective function, strict inequality in constraints) Linear Programming 2012 14 ๏ฑ Is strict inequality allowed in LP? consider min x, x > 0 ๏ฎ no minimum point. only infimum of objective value exists ๏ฑ If the system has a feasible solution (๐ฅ, ๐ฅ๐+1 ), we can make the difference of the values in the right hand side and in the left hand side large by using solution ๐(๐ฅ, ๐ฅ๐+1 ) for M > 0 and large. Hence there exists a solution that makes the difference at least 1 if the system has a solution. Remedy: Use ๐๐′ ๐ฅ ≥ ๐ฅ๐+1 , ๐∈๐ ๐๐′ ๐ฅ ≤ ๐ฅ๐+1 − 1, ๐∉๐ ๏ฑ Important problem in data mining with applications in target marketing, bankruptcy prediction, medical diagnosis, process monitoring, … Linear Programming 2012 15 ๏ฑ Variations ๏What if there are many choices of hyperplanes? any reasonable criteria? ๏What if there is no hyperplane separating the two classes? ๏Do we have to use only one hyperplane? ๏Use of nonlinear function possible? How to solve them? • SVM (support vector machine), convex optimization ๏More than two classes? Linear Programming 2012 16 1.3 Piecewise linear convex objective functions ๏ฑ Some problems involving nonlinear functions can be modeled as LP. ๏ฑ Def: Function ๐: ๐ ๐ → ๐ is called a convex function if for all ๐ฅ, ๐ฆ ∈ ๐ ๐ and all ๏ฌ๏[0, 1] ๐ ๐๐ฅ + 1 − ๐ ๐ฆ ≤ ๐๐ ๐ฅ + 1 − ๐ ๐(๐ฆ). ( the domain may be restricted) f called concave if −๐ is convex (picture: the line segment joining (๐ฅ, ๐ ๐ฅ ) and (๐ฆ, ๐ ๐ฆ ) in ๐ ๐+1 is not below the locus of ๐(๐ฅ) ) Linear Programming 2012 17 ๏ฑ Def: ๐ฅ, ๐ฆ ∈ ๐ ๐ , ๏ฌ1, ๏ฌ2 ๏ณ 0, ๏ฌ1+ ๏ฌ2 = 1 Then ๏ฌ1x + ๏ฌ2y is said to be a convex combination of x, y. Generally, ๐๐=1 ๐๐ ๐ฅ ๐ , where ๐๐=1 ๐๐ = 1 and ๐๐ ≥ 0, ๐ = 1, … , ๐ is a convex combination of the points ๐ฅ 1 , … , ๐ฅ ๐ . ๏ฑ Def: A set ๐ ⊆ ๐ ๐ is convex if for any ๐ฅ, ๐ฆ ∈ ๐, we have ๐1 ๐ฅ + ๐2 ๐ฆ ∈ ๐ for any ๐1 , ๐2 ≥ 0, ๐1 + ๐2 = 1. Picture: ๐1 ๐ฅ + ๐2 ๐ฆ = ๐1 ๐ฅ + 1 − ๐1 ๐ฆ, 0 ≤ ๐1 ≤ 1 = ๐ฆ + ๐1 (๐ฅ − ๐ฆ), 0 ≤ ๐1 ≤ 1 (line segment joining ๐ฅ, ๐ฆ lies in ๐) x (๏ฌ1 = 1) (๐ฅ − ๐ฆ) (๐ฅ − ๐ฆ) Linear Programming 2012 y (๏ฌ1 = 0) 18 ๏ฑ If we have ๐1 ๐ฅ + ๐2 ๐ฆ, ๐1 + ๐2 = 1 (without ๐1 , ๐2 ≥ 0), it is called an affine combination of x and y. Picture: ๐1 ๐ฅ + ๐2 ๐ฆ = ๐1 ๐ฅ + 1 − ๐1 ๐ฆ, = ๐ฆ + ๐1 (๐ฅ − ๐ฆ), (๏ฌ1 is arbitrary) (line passing through points ๐ฅ, ๐ฆ) Linear Programming 2012 19 Picture of convex function ( x , f ( x )) ๏ R f ( x) n ๏ซ1 ( y , f ( y )) ( ๏ฌ x ๏ซ (1 ๏ญ ๏ฌ ) y , ๏ฌ f ( x ) ๏ซ (1 ๏ญ ๏ฌ ) f ( y )) ๏ฌ f ( x ) ๏ซ (1 ๏ญ ๏ฌ ) f ( y ) f ( ๏ฌ x ๏ซ (1 ๏ญ ๏ฌ ) y ) x Linear Programming 2012 ๏ฌ x ๏ซ (1 ๏ญ ๏ฌ ) y y x๏ R 20 n ๏ฑ relation between convex function and convex set ๏ฑ Def: ๐: ๐ ๐ → ๐ . Define epigraph of ๐ as epi(๐) = { ๐ฅ, ๐ ∈ ๐ ๐+1 : ๐ ≥ ๐ ๐ฅ }. ๏ฑ Then previous definition of convex function is equivalent to epi(๐) being a convex set. When dealing with convex functions, we frequently consider epi(๐) to exploit the properties of convex sets. ๏ฑ Consider operations on functions that preserve convexity and operations on sets that preserve convexity. Linear Programming 2012 21 ๏ฑ Example: Consider ๐ ๐ฅ = ๐๐๐ฅ๐=1,…,๐ (๐๐′ ๐ฅ + ๐๐ ), ๐๐ ∈ ๐ ๐ , ๐๐ ∈ ๐ (maximum of affine functions, called a piecewise linear convex function.) f ( x) ๐1′ ๐ฅ + ๐1 ๐2′ ๐ฅ + ๐2 ๐3′ ๐ฅ + ๐3 x๏ R ๐ฅ Linear Programming 2012 22 n ๏ฑ Thm: Let ๐1 , … , ๐๐ : ๐ ๐ → ๐ be convex functions. Then ๐ ๐ฅ = ๐๐๐ฅ๐=1,…,๐ ๐๐ (๐ฅ) is also convex. pf) ๐ ๐๐ฅ + 1 − ๐ ๐ฆ = ๐๐๐ฅ๐=1,…,๐ ๐๐ (๐๐ฅ + 1 − ๐ ๐ฆ) ๏ฃ ๐๐๐ฅ๐=1,…,๐ (๐๐๐ ๐ฅ + (1 − ๐)๐๐ (๐ฆ) ๏ฃ ๐๐๐ฅ๐=1,…,๐ ๐๐๐ ๐ฅ + ๐๐๐ฅ๐=1,…,๐ (1 − ๐)๐๐ (๐ฆ) = ๐๐ ๐ฅ + 1 − ๐ ๐(๐ฆ) ๏ฟ Linear Programming 2012 23 ๏ฑ Min of piecewise linear convex functions Minimize ๐๐๐ฅ๐=1,…,๐ (๐๐′ ๐ฅ + ๐๐ ) Subject to ๐ด๐ฅ ≥ ๐ Minimize Subject to Linear Programming 2012 ๐ง ๐ง ≥ ๐๐′ ๐ฅ + ๐๐ , ๐ด๐ฅ ≥ ๐ ๐ = 1, … , ๐ 24 ๏ฑ Q: What can we do about finding maximum of a piecewise linear convex function? maximum of a piecewise linear concave function (can be obtained as minimum of affine functions)? Minimum of a piecewise linear concave function? Linear Programming 2012 25 ๏ฑ Convex function has a nice property such that a local minimum point is a global minimum point. (when domain is ๐ ๐ or convex set) (HW later) Hence finding the minimum of a convex function defined over a convex set is usually easy. But finding the maximum of a convex function is difficult to solve. Basically, we need to examine all local maximum points. Similarly, finding the maximum of a concave function is easy, but finding the minimum of a concave function is difficult. Linear Programming 2012 26 ๏ฑ Suppose we have ๐(๐ฅ) ≤ โ in constraints, where ๐(๐ฅ) is a piecewise linear convex function ๐ ๐ฅ = ๐๐๐ฅ๐=1,…,๐ ๐๐′ ๐ฅ + ๐๐ . ๏ ๐๐′ ๐ฅ + ๐๐ ≤ โ, ๐ = 1, … , ๐ Q: What about constraints ๐(๐ฅ) ≥ โ? Can it be modeled as LP? ๏ฑ Def: ๐: ๐ ๐ → ๐ , is a convex function, ๐ผ ∈ ๐ The set ๐ถ = {๐ฅ: ๐(๐ฅ) ≤ ๐ผ} is called the level set of ๐. ๏ฑ level set of a convex function is a convex set. (HW later) solution set of LP is convex (easy) ๏ฎ non-convex solution set can’t be modeled as LP. Linear Programming 2012 27 Problems involving absolute values ๏ฑ Minimize subject to ๐ ๐=1 ๐๐ |๐ฅ๐ | ๐ด๐ฅ ≥ ๐ (assume ๐๐ ≥ 0) More direct formulations than piecewise linear convex function is possible. (1) Min ๐๐=1 ๐๐ ๐ง๐ subject to ๐ด๐ฅ ≥ ๐ ๐ฅ๐ ≤ ๐ง๐ , ๐ = 1, … , ๐ −๐ฅ๐ ≤ ๐ง๐ , ๐ = 1, … , ๐ Linear Programming 2012 (2) Min ๐๐=1 ๐๐ (๐ฅ๐+ + ๐ฅ๐− ) subject to ๐ด๐ฅ + − ๐ด๐ฅ − ≥ ๐ ๐ฅ+, ๐ฅ− ≥ 0 (want ๐ฅ๐+ = ๐ฅ๐ if ๐ฅ๐ ≥ 0, ๐ฅ๐− = −๐ฅ๐ if ๐ฅ๐ < 0 and ๐ฅ๐+ ๐ฅ๐− = 0, i.e., at most one of ๐ฅ๐+ , ๐ฅ๐− is positive in an optimal solution. ๐๐ ≥ 0 guarantees that.) 28 Data Fitting ๏ฑ Regression analysis using absolute value function Given m data points ๐๐ , ๐๐ , ๐ = 1, … , ๐, ๐๐ ∈ ๐ ๐ , ๐๐ ∈ ๐ . Want to find ๐ฅ ∈ ๐ ๐ that predicts results ๐ given ๐ with function ๐ = ๐′ ๐ฅ. Want ๐ฅ that minimizes prediction error |๐๐ − ๐๐′ ๐ฅ| for all ๐. minimize subject to ๐ง ๐๐ − ๐๐′ ๐ฅ ≤ ๐ง, −๐๐ + ๐๐′ ๐ฅ ≤ ๐ง, Linear Programming 2012 ๐ = 1, … , ๐ ๐ = 1, … , ๐ 29 ๏ฑ Alternative criterion ′ minimize ๐ ๐=1 |๐๐ − ๐๐ ๐ฅ| minimize subject to ๐ง1 + … + ๐ง๐ ๐๐ − ๐๐′ ๐ฅ ≤ ๐ง๐ , −๐๐ + ๐๐′ ๐ฅ ≤ ๐ง๐ , ๐ = 1, … , ๐ ๐ = 1, … , ๐ Quadratic error function can't be modeled as LP, but need calculus method (closed form solution) Linear Programming 2012 30 ๏ฑ Special case of piecewise linear objective function : separable piecewise linear objective function. function ๐: ๐ ๐ → ๐ , is called separable if ๐ ๐ฅ = ๐1 ๐ฅ1 + ๐2 ๐ฅ2 + … + ๐๐ (๐ฅ๐ ) ๐๐ (๐ฅ๐ ) ๐1 < ๐2 < ๐3 < ๐4 ๐4 Approximation of nonlinear function. ๐3 slope: ๐๐ ๐2 ๐1 0 Linear Programming 2012 ๐ฅ1๐ ๐1 ๐ฅ2๐ ๐2 ๐ฅ3๐ ๐3 ๐ฅ4๐ ๐ฅ๐ 31 ๏ฑ Express variable ๐ฅ๐ in the constraints as ๐ฅ๐ ≡ ๐ฅ1๐ + ๐ฅ2๐ + ๐ฅ3๐ + ๐ฅ4๐ , where 0 ≤ ๐ฅ1๐ ≤ ๐1 , 0 ≤ ๐ฅ2๐ ≤ ๐2 − ๐1 , 0 ≤ ๐ฅ3๐ ≤ ๐3 − ๐2 , 0 ≤ ๐ฅ4๐ In the objective function, use : min ๐1 ๐ฅ1๐ + ๐2 ๐ฅ2๐ + ๐3 ๐ฅ3๐ + ๐4 ๐ฅ4๐ Since we solve min problem, it is guaranteed that we get ๐ฅ๐๐ > 0 in an optimal solution implies ๐ฅ๐๐ , ๐ < ๐ have values at their upper bounds. Linear Programming 2012 32 1.4 Graphical representation and solution ๏ฑ Let ๐ ∈ ๐ ๐ , ๐ ∈ ๐ . Geometric intuition for the solution sets of {๐ฅ: ๐′ ๐ฅ {๐ฅ: ๐′ ๐ฅ {๐ฅ: ๐′ ๐ฅ {๐ฅ: ๐′ ๐ฅ {๐ฅ: ๐′ ๐ฅ {๐ฅ: ๐′ ๐ฅ = 0} ≤ 0} ≥ 0} = ๐} ≤ ๐} ≥ ๐} Linear Programming 2012 33 ๏ฑ Geometry in 2-D {๐ฅ: ๐′ ๐ฅ ≥ 0} ๐ 0 { ๐ฅ โถ ๐’๐ฅ ๏ฃ 0 } Linear Programming 2012 { ๐ฅ โถ ๐’๐ฅ = 0 } 34 ๏ฑ Let ๐ง be a (any) point satisfying ๐′ ๐ฅ = ๐. Then ๐ฅ: ๐′ ๐ฅ = ๐ = ๐ฅ: ๐′ ๐ฅ = ๐′ ๐ง = {๐ฅ: ๐′ ๐ฅ − ๐ง = 0} Hence ๐ฅ − ๐ง = ๐ฆ, where ๐ฆ is any solution to ๐′ ๐ฆ = 0, or ๐ฅ = ๐ฆ + ๐ง. Similarly, for {๐ฅ: ๐′ ๐ฅ ≤ ๐}, {๐ฅ: ๐′ ๐ฅ ≥ ๐}. {๐ฅ: ๐′ ๐ฅ ≥ ๐} ๐ ๐ง {๐ฅ: ๐′ ๐ฅ ≤ ๐} 0 {๐ฅ: ๐′ ๐ฅ = ๐} {๐ฅ: ๐′ ๐ฅ = 0} Linear Programming 2012 35 ๏ฑ min ๐1 ๐ฅ1 + ๐2 ๐ฅ2 s.t. −๐ฅ1 + ๐ฅ2 ≤ 1, ๐ฅ1 ≥ 0, ๐ฅ2 ≥ 0 ๐ฅ2 ๐ = (1, 0) ๐ = (−1, −1) ๐ = (1, 1) ๐ = (0, 1) ๐ฅ1 {๐ฅ: ๐ฅ1 + ๐ฅ2 = 0} Linear Programming 2012 {๐ฅ: ๐ฅ1 + ๐ฅ2 = ๐ง} 36 ๏ฑ Representing complex solution set in 2-D ( ๐ variables, ๐ equations (coefficient vectors are linearly independent), nonnegativity, and ๐ − ๐ = 2 ) ๐ฅ3 ๐ฅ1 = 0 ๐ฅ2 ๐ฅ2 = 0 ๐ฅ3 = 0 ๐ฅ1 ๏ฑ See text sec. 1.5, 1.6 for more backgrounds Linear Programming 2012 37