Linear Programming (Optimization)
Download
Report
Transcript Linear Programming (Optimization)
System of Linear Inequalities
๏ฑ The solution set of LP is described by ๐ด๐ฅ โค ๐.
Gauss showed how to solve a system of linear equations (๐ด๐ฅ = ๐).
The properties of the system of linear inequalities were not well known, but its
importance has grown since the advent of LP (and other optimization areas
such as IP).
๏ฑ We consider a hierarchy of the sets which can be generated by applying various
operations to a set of vectors.
๏Linear combination (subspace)
๏Linear combination with the sum of the weights being equal to 1 (affine space)
๏Nonnegative linear combination (cone)
๏Nonnegative linear combination with the sum of the weights being equal to 1
(convex hull)
๏Linear combination + nonnegative linear combination + convex combination
(polyhedron)
Linear Programming 2012
1
๏ฑ Questions:
๏Are there any other representations describing the same set?
๏How can we identify the different representation given a representation of a set?
๏Which are the most important elements in a representation to describe the set and
which elements are redundant or unnecessary?
๏Given an instance of a representation, does it have a feasible solution or not?
๏How can we verify that it has a feasible solution or not?
Linear Programming 2012
2
๏ฑ References:
Convexity and Optimization in Finite Dimensions 1, Josef Stoer and
Christoph Witzgall, 1970, Springer-Verlag.
Convex Analysis, R. Tyrrell Rockafellar, 1970, Princeton University Press.
Integer and Combinatorial Optimization, George L. Nemhauser, Laurence A.
Wolsey, 1988, Wiley.
Theory of Linear and Integer Programming, Alexander Schrijver, 1986,
Wiley.
Linear Programming 2012
3
๏ฑ Subspaces of ๐
๐ : the set closed under addition of vectors and scalar
multiplication
๐ฅ, ๐ฆ โ ๐ด โ ๐
๐ , ๐ โ ๐
๏ (๐ฅ + ๐๐ฆ) โ ๐ด
which is equivalent to (HW)
๐1 , โฆ , ๐๐ โ ๐ด โ ๐
๐ , ๐1 , โฆ , ๐๐ โ ๐
๏
๐
๐
๐=1 ๐๐ ๐
โ๐ด
Subspace is the set closed under linear combination.
ex) ๐ด: ๐ × ๐ matrix. {๐ฅ: ๐ด๐ฅ = 0}.
Can all subspaces be expressed in this form?
๏ฑ Affine spaces : closed under linear combination with sum of weights = 1
( affine combination)
๐ฅ, ๐ฆ โ ๐ฟ โ ๐
๐ , ๐ โ ๐
๏ 1 โ ๐ ๐ฅ + ๐๐ฆ = ๐ฅ + ๐(๐ฆ โ ๐ฅ) โ ๐ฟ
which is equivalent to
๐1 , โฆ , ๐๐ โ ๐ฟ โ ๐
๐ , ๐1 , โฆ , ๐๐ โ ๐
,
๐
๐=1 ๐๐
=1
๏
๐
๐
๐=1 ๐๐ ๐
โ๐ฟ
ex) {๐ฅ: ๐ด๐ฅ = ๐}.
Linear Programming 2012
4
๏ฑ (convex) Cones : closed under nonnegative scalar multiplication
๐ฅ โ ๐พ โ ๐
๐ , ๐ โฅ 0 (โ ๐
+ ) ๏๐๐ฅ โ ๐พ
Here, we are only interested in convex cones, then the definition is
equivalent to
๐1 , โฆ , ๐๐ โ ๐พ โ ๐
๐ , ๐1 , โฆ , ๐๐ โ ๐
+
๏
๐
๐
๐
๐
๐
๐=1
โ๐พ
i.e. closed under nonnegative linear combination
ex) {๐ฅ: ๐ด๐ฅ โค 0}.
๏ฑ Convex sets : closed under nonnegative linear combinations with sum of the
weights = 1 (convex combination)
๐ฅ, ๐ฆ โ ๐ โ ๐
๐ , 0 โค ๐ โค 1 ๏๐๐ฅ + 1 โ ๐ ๐ฆ = ๐ฆ + ๐(๐ฅ โ ๐ฆ) โ ๐
which is equivalent to
๐1 , โฆ , ๐๐ โ ๐ โ ๐
๐ , ๐1 , โฆ , ๐๐ โ ๐
+ ,
Linear Programming 2012
๐
๐=1 ๐๐
=1 ๏
๐
๐
๐=1 ๐๐ ๐
โ๐
5
๏ฑ Polyhedron : ๐ = {๐ฅ: ๐ด๐ฅ โค ๐}, i.e. the set of points which satisfy a finite
number of linear inequalities.
Later, we will show that it can be expressed as a ( linear combination of points
+ nonnegative linear combination of points + convex combination of points )
Linear Programming 2012
6
Convex Sets
๏ฑ Def: The convex hull of a set ๐ is the set of all points that are convex
combinations of points in ๐, i.e.
conv(๐) = {๐ฅ: ๐ฅ =
๐
๐
๐=1 ๐๐ ๐ฅ , ๐
โฅ 1, ๐ฅ 1 , โฆ , ๐ฅ ๐ โ ๐, ๐1 , โฆ , ๐๐ โฅ 0,
๐
๐=1 ๐๐
= 1}
๏ฑ Picture: points that can be obtained as ๐1 ๐ฅ + ๐2 ๐ฆ + ๐3 ๐ง, ๐๐ โฅ
0 ๐๐๐ ๐๐๐ ๐, 3๐=1 ๐๐ = 1
๐1
๐1 +๐2
๐1 ๐ฅ + ๐2 ๐ฆ + ๐3 ๐ง = ๐1 + ๐2
๐ฅ+
๐2
๐ฆ
๐1 +๐2
+ ๐3 ๐ง
(assuming ๐1 + ๐2 โ 0)
๐ง
๐ฅ
๐ฆ
Linear Programming 2012
7
๏ฑ Thm :
(a) The intersection of convex sets is convex
(b) Every polyhedron is a convex set
Pf) See the pf. of Theorem 2.1 in text p44.
Note that Theorem 2.1 (c) gives a proof for the equivalence of the original
definition of convex sets and extended definition.
See also the definitions of hyperplane ({๐ฅ: ๐โฒ ๐ฅ = ๐}) and halfspace ({๐ฅ: ๐โฒ ๐ฅ โฅ ๐})
Linear Programming 2012
8
Subspaces
๏ฑ Any set ๐ด โ ๐
๐ generates a subspace {๐1 ๐1 + โฏ + ๐๐ ๐๐ : ๐ โฅ 1, ๐1 , โฆ , ๐๐ โ ๐
,
๐1 , โฆ , ๐๐ โ ๐ด}
This is called the linear span of ๐ด โ notation ๐(๐ด) (inside description)
Linear hull of ๐ด : intersection of all subspaces containing ๐ด (outside
description).
These are the same for any ๐ด โ ๐
๐ .
๏ฑ Linear dependence of vectors in ๐ด = {๐1 , โฆ , ๐๐ } โ ๐
๐ :
{๐1 , โฆ , ๐๐ } are linearly dependent if โ ๐๐ โ ๐ด such that ๐๐ can be expressed as
a linear combination of the other vectors in ๐ด, i.e. can write ๐๐ = ๐โ ๐ ๐๐ ๐ ๐ .
Otherwise, they are linearly independent.
๏ฑ Equivalently, {๐1 , โฆ , ๐๐ } linearly dependent when โ ๐โฒ๐ ๐ not all = 0 such that
๐
๐
๐=1 ๐๐ ๐ = 0.
Linearly independent if
Linear Programming 2012
๐
๐
๐=1 ๐๐ ๐
= 0 implies ๐๐ = 0 for all ๐.
9
๏ฑ Prop: Let ๐1 , โฆ , ๐๐ โ ๐
๐ are linearly independent and ๐0 =
๐
๐
๐=1 ๐๐ ๐
.
Then (1) all ๐๐ unique and (2) ๐1 , โฆ , ๐๐ โช {๐0 } โ {๐๐ } are linearly
independent if and only if ๐๐ โ 0.
Pf) HW later.
๏ฑ Prop: If ๐1 , โฆ , ๐๐ โ ๐
๐ are linearly independent, then ๐ โค ๐.
Pf) Note that unit vectors ๐1 , ๐2 , โฆ , ๐๐ are linearly independent and
๐ ๐1 , โฆ , ๐๐ = ๐
๐ .
Use ๐1 , ๐2 , โฆ , ๐๐ and following โbasis replacement algorithmโ
set ๐ โ ๐ and sequentially, for ๐ = 1, โฆ , ๐, consider
๐=0
(*)
๐ =๐+1
Is ๐๐ โ ๐1 , โฆ , ๐๐ ? If yes, go to (*), else continue.
Is ๐๐ โ ๐ ๐1 , โฆ , ๐๐ ? If yes, set ๐๐+1 โ ๐๐ , ๐ โ ๐ + 1 and go to (*)
Then ๐๐ โ {๐1 , โฆ , ๐๐ }, but ๐๐ โ ๐ ๐1 , โฆ , ๐๐ .
Linear Programming 2012
10
(continued)
So ๐๐ =
๐
๐
๐=1 ๐๐ ๐
and ๐๐ โ 0 for some ๐๐ which is not a unit vector,
say ๐ ๐ .
Substitute ๐ ๐ with ๐๐ and go to (*).
Note that throughout the procedure, the set {๐1 , โฆ , ๐๐ } remain linearly
independent and when done ๐๐ โ {๐1 , โฆ , ๐๐ } for all ๐. Hence at end, ๐ =
๐. Thus ๐ โค ๐ = ๐.
๏
๏ฑ Def: For ๐ด โ ๐
๐ , a basis of ๐ด is a linearly independent subset of vectors in ๐ด
which generates all of ๐ด, i.e. minimal generating set in ๐ด (maximal
independent set in ๐ด).
Linear Programming 2012
11
๏ฑ Thm : (Finite Basis Theorem)
Any subset ๐ด โ ๐
๐ has a finite basis. Furthermore, all bases of ๐ด have the
same number of elements. (basis equicardinality property )
Pf) First statement follows from the previous Prop.
To see the 2nd statement, suppose ๐ต, ๐ถ are bases of ๐ด and ๐ต โ ๐ถ.
Note that ๐ต โ ๐ถ โ โ
. Otherwise, ๐ต โ ๐ถ. Then, since ๐ต generates ๐ด, ๐ต
generates ๐ถ โ ๐ต and ๐ถ โ ๐ต โ โ
implies ๐ถ not linearly independent, which is a
contradiction.
Let ๐ โ ๐ต โ ๐ถ. ๐ถ generates ๐ and so ๐ is a linear combination of points in ๐ถ,
at least one of which is in ๐ถ โ ๐ต (say ๐โฒ) (else ๐ต is a dependent set).
By substitution, ๐ถ โช ๐ โ {๐โฒ } โก ๐ถโฒ is linearly independent and ๐ถโฒ generates ๐ด.
But ๐ต โฉ ๐ถ โฒ = ๐ต โฉ ๐ถ + 1.
Continue this until ๐ต = ๐ถ โฒโฒ โฆโฒ . (only finitely many tries).
So ๐ต = ๐ถ โฒโฒ โฆโฒ = โฏ = ๐ถ โฒ = |๐ถ|.
๏
Linear Programming 2012
12
๏ฑ Def: Define rank for any set ๐ด โ ๐
๐ as the size (cardinality) of the basis of ๐ด.
If ๐ด is itself a subspace, rank(๐ด) is called dimension of ๐ด ( dim(๐ด)).
Convention: dim(๏) = โ1.
For matrix:
row rank โ rank of its set of row vectors
column rank - rank of its set of column vectors
rank of a matrix = row rank = column rank
Linear Programming 2012
13
๏ฑ Def: For any ๐ด โ ๐
๐ , define the dual of ๐ด as ๐ด0 = {๐ฅ โ ๐
๐ : ๐โฒ ๐ฅ =
0, for all ๐ โ ๐ด}. With some abuse of notation, we denote ๐ด0 = {๐ฅ โ
๐
๐ : ๐ด๐ฅ = 0}, where ๐ด is regarded as a matrix which has the elements
(possibly infinite) of the set ๐ด as its rows.
When ๐ด is itself a subspace of ๐
๐ , ๐ด0 called orthogonal complement of ๐ด.
(For matrix ๐ด, the set {๐ฅ โ ๐
๐ : ๐ด๐ฅ = 0} is called the null space of ๐ด.
๏ฑ Observe that for any subset ๐ด โ ๐
๐ , ๐ด0 is a subspace.
๐ด0 is termed a constrained subspace (since it consists of solutions that satisfy
some constraints)
In fact, FBT implies that any ๐ด0 is finitely constrained, i.e. ๐ด0 = ๐ต0 for some
๐ต with ๐ต < +โ (e.g. ๐ต is a basis of ๐ด).
( Show ๐ด0 โ ๐ต0 and ๐ด0 โ ๐ต0 )
Linear Programming 2012
14
๏ฑ Prop: (simple properties of o-duality)
(i) ๐ด โ ๐ต ๏ ๐ด0 โ ๐ต0
(ii) ๐ด โ ๐ด00
(iii) ๐ด0 = ๐ด000
(iv) ๐ด = ๐ด00 ๏ A is a constrained subspace
Pf) (i) ๐ฅ โ ๐ต0 ๏ ๐ต๐ฅ = 0 ๏ ๐ด๐ฅ = 0 (๐ต โ ๐ด) ๏ ๐ฅ โ ๐ด0
(ii) ๐ฅ โ ๐ด ๏ ๐ด0 ๐ฅ = 0 (definition of ๐ด0 ) ๏ ๐ฅ โ (๐ด0 )0 (definition)
(iii) By (ii) applied to ๐ด0 , get ๐ด0 โ ๐ด000
By (ii) applied to ๐ด and then using (i), get ๐ด0 โ ๐ด000 .
(iv) ๏) ๐ด00 is constrained subspace ( ๐ด00 โก (๐ด0 )0 ), hence ๐ด is a
constrained subspace.
๏) ๐ด constrained subspace ๏ โ ๐ต such that ๐ด = ๐ต0 for some ๐ต
( By FBT, a constrained subspace is finitely constrained)
Hence ๐ด = ๐ต0 = ๐ต000 (from (iii)) = ๐ด00
๏
Linear Programming 2012
15
๏ฑ Picture:
๐ด00
๐ด000
๐ด = {๐}
๐ด0
Linear Programming 2012
16
๏ฑ Set ๐ด with property (iv) (๐ด = ๐ด00 ) is called o-closed
Note: Which subsets of ๐
๐ ( constrained subspaces by (iv)) are o-closed?
All subspaces except ๏
Linear Programming 2012
17
Review
๏ฑ Elementary row (column) operations on matrix ๐ด.
(1) interchange the positions of two rows
(2) ๐๐ โฒ ๏ฌ ๐๐๐ โฒ, ๐ โ 0, ๐ โ ๐
, ๐๐ โฒ : ๐-th row of matrix ๐ด
(3) ๐๐ โฒ ๏ฌ ๐๐ โฒ + ๐๐๐ โฒ, ๐ โ ๐
Elementary row operation is equivalent to premultiplying a nonsingular
matrix ๐ธ.
e.g.) ๐๐ โฒ ๏ฌ ๐๐ โฒ + ๐๐๐ โฒ, ๐ โ ๐
๏ฉ1
๏น
๏ช 1
๏บ
๏ช
๏บ
1
๏ช
๏บ
E๏ฝ๏ช
๏บ
๏
๏
๏ช
๏บ
๏ช
๏ฌ ๏ 1 ๏บ
๏ช
๏บ
1
๏ซ
๏ป
Linear Programming 2012
18
๏ฑ ๐ธ๐ด = ๐ดโฒ
(๐๐ โฒ ๏ฌ ๐๐ โฒ + ๐๐๐ โฒ, ๐ โ ๐
)
๏ฉ1
๏น๏ฉ
๏ช 1
๏บ๏ช
๏ช
๏บ๏ช
1
๏ช
๏บ๏ช
๏ช
๏บ๏ช
๏
๏
๏ช
๏บ๏ช
๐๏ฎ ๏ช
๏ฌ ๏ 1 ๏บ๏ช
๏ช
๏บ๏ช
1
๏ซ
๏ป๏ซ
๐
Linear Programming 2012
๏
๏
๏
๏
๏
๏
๏น ๏ฉ
๏บ ๏ช
๏บ ๏ช
๏บ ๏ช
๏บ๏ฝ๏ช
๏บ ๏ช
๏บ ๏ช
๏บ ๏ช
๏ป ๏ซ
๏
๏
๏
๏
๏
๏
๏น
๏บ
๏บ
๏บ
๏บ
๏บ
๏บ
๏บ
๏ป
๐
19
๏ฑ Permutation matrix : a matrix having exactly one 1 in each row and column,
other entries are 0.
Premultiplying ๐ด by a permutation matrix ๐ changes the positions of rows. If
๐-th row of ๐ is ๐-th unit vector, ๐๐ด has ๐-th row of ๐ด in ๐-th row.
๏ฑ Similarly, postmultiplying results in elementary column operation.
๏ฑ Solving system of equations :
Given ๐ด๐ฅ = ๐, ๐ด: ๐ × ๐, nonsingular
We use elementary row operations (premultiplying ๐ธ๐โฒ ๐ and ๐๐โฒ ๐ on both sides
of the equations) to get ๐ธ๐ โฆ ๐ธ2 ๐2 ๐ธ1 ๐1 ๐ด๐ฅ = ๐ธ๐ โฆ ๐ธ2 ๐2 ๐ธ1 ๐1 ๐,
If we obtain ๐ธ๐ โฆ ๐ธ2 ๐2 ๐ธ1 ๐1 ๐ด = ๐ผ ๏ฎ Gauss-Jordan elimination method.
If we obtain ๐ธ๐ โฆ ๐ธ2 ๐2 ๐ธ1 ๐1 ๐ด = ๐ท, ๐ท: upper triangular ๏ฎ Gaussian
elimination method. ๐ฅ is obtained by back substitution.
Linear Programming 2012
20
Back to subspace
๏ฑ Thm: Any nonempty subspace of ๐
๐ is finitely constrained.
(prove from FBT and Gaussian elimination. Analogy for cones later)
Pf) Let ๐ be a subspace of ๐
๐ .
2 extreme cases :
๐ = {0} : Then write ๐ = {๐ฅ: ๐ผ๐ ๐ฅ = 0}, ๐ผ๐ : ๐ × ๐ identity matrix.
๐ = ๐
๐ : Then write ๐ = {๐ฅ: 0โฒ ๐ฅ = 0}
Otherwise, let rows of ๐ด be a basis for ๐. Then ๐ด is ๐ × ๐ with 1 โค ๐ โค ๐ โ 1
and have ๐ = {๐ฅ โ ๐
๐ : ๐ฅ โฒ = ๐ฆ โฒ ๐ด for ๐ฆ๐ โ ๐
, 1 โค ๐ โค ๐}.
Can use Gauss-Jordan elimination to find matrix of column operations for ๐ด
such that ๐ด๐ถ = [๐ผ๐ : 0] (๐ถ: ๐ × ๐ ×)
Hence have ๐ = {๐ฅ: ๐ฅ โฒ ๐ถ = ๐ฆ โฒ ๐ด๐ถ for ๐ฆ๐ โ ๐
, 1 โค ๐ โค ๐}
= {๐ฅ: ๐ฅ โฒ ๐ถ ๐ = ๐ฆ๐ , 1 โค ๐ โค ๐ for some ๐ฆ๐ โ ๐
and
(๐ฅ โฒ ๐ถ)๐ = 0, ๐ + 1 โค ๐ โค ๐}
= {๐ฅ: ๐ฅ โฒ ๐ถ
๐
= 0, ๐ + 1 โค ๐ โค ๐}
These constraints define S as a constrained subspace.
Linear Programming 2012
๏
21
๏ฑ Cor 1: ๐ โ ๐
๐ is o-closed ๏ ๐ is a nonempty subspace of ๐
๐ .
Pf) From earlier results,
๐ is o-closed ๏ ๐ is a constrained subspace
๏ ๐ is a nonempty subspace.
๏
๏ฑ Cor 2: ๐ด: ๐ × ๐, define ๐ = {๐ฆ โฒ ๐ด: ๐ฆ โ ๐
๐ } and ๐ = {๐ฅ โ ๐
๐ : ๐ด๐ฅ = 0}.
Then ๐ 0 = ๐ and ๐ 0 = ๐.
Pf) ๐ 0 = ๐ follows because rows of ๐ด generate ๐.
So by HW, have ๐ด0 = ๐ 0 .
( If rows of ๐ด โ ๐ and ๐ด generates ๐ ๏ ๐ด0 = ๐ 0 )
But here ๐ด0 โก ๐ ๏ ๐ 0 = ๐
๐ 0 = ๐ : From duality, ๐ = ๐ 00 ( since ๐ is nonempty subspace, by Cor 1, ๐
is o-closed.)
Hence ๐ = ๐ 00 = (๐ 0 )0 = ๐ 0 (by first part)
๏
Linear Programming 2012
22
๏ฑ Picture of Cor 2) ๐ด: ๐ × ๐, define ๐ = {๐ฆ โฒ ๐ด: ๐ฆ โ ๐
๐ }, ๐ = {๐ฅ โ ๐
๐ : ๐ด๐ฅ = 0}.
Then ๐ 0 = ๐ and ๐ 0 = ๐
( Note that ๐ 0 is defined as the set {๐ฅ: ๐โฒ ๐ฅ = 0 for all ๐ โ ๐}. But it can be
described using finite generators of ๐. )
๐ = ๐0
๐ด=
๐1 โฒ
๐2 โฒ
๐2
๐ = ๐0
๐1
Linear Programming 2012
23
๏ฑ Cor 3: (Theorem of the Alternatives)
For any ๐ด: ๐ × ๐ and ๐ โ ๐
๐ , exactly one of the following holds
(I) โ ๐ฆ โ ๐
๐ such that ๐ฆ โฒ ๐ด = ๐โฒ
(II) โ ๐ฅ โ ๐
๐ such that ๐ด๐ฅ = 0, ๐ โฒ ๐ฅ โ 0.
Pf) Define ๐ = {๐ฆ โฒ ๐ด: ๐ฆ โ ๐
๐ }, i.e. (I) says ๐ โ ๐
Show ~(๐ผ) ๏ (๐ผ๐ผ)
~(๐ผ) ๏ ๐ โ ๐ ๏ ๐ โ ๐ 00 (by Cor 1)
๏ โ ๐ฅ โ ๐ 0 such that ๐ โฒ ๐ฅ โ 0
๏ โ ๐ฅ such that ๐ด๐ฅ = 0, ๐ โฒ ๐ฅ โ 0.
๏
๏ฑ Note that Cor 3 says that a vector ๐ is either in a subspace ๐ or not. We can
use the theorem of the alternatives to prove that a system does not have a
solution.
Linear Programming 2012
24
Remarks
๏ฑ Consider how to obtain (1) generators when a constrained form of a subspace
is given and (2) constrained form when the generators of the subspace are
given.
๏ฑ Let ๐ be the subspace generated by rows of a ๐ × ๐ matrix ๐ด with rank ๐.
Then ๐ 0 = {๐ฅ: ๐ด๐ฅ = 0}. Suppose the columns of ๐ด are permuted so that
๐ด๐ = [๐ต: ๐], where ๐ต is ๐ × ๐ and nonsingular.
By elementary row operations, obtain ๐ธ๐ด๐ = [๐ผ๐ : ๐ธ๐], ๐ธ = ๐ตโ1 .
โ๐ตโ1 ๐
Then the columns of the matrix ๐ท โก ๐
constitute a basis for ๐ 0
๐ผ๐โ๐
(from HW).
Since ๐ 00 = ๐ฆ: ๐ฆ โฒ ๐ฅ = 0, for all ๐ฅ โ ๐ 0 = ๐ฆ: ๐ท โฒ ๐ฆ = 0 by Cor 2 and ๐ =
๐ 00 for nonempty subspaces, we have ๐ = {๐ฆ: ๐ท โฒ ๐ฆ = 0}.
Linear Programming 2012
25
๏ฑ Ex)
Let ๐ด =
1
1
1 2
1 1
and ๐ต =
.
0 โ1
1 0
1
โ1
1
โ1
Then ๐ต
,๐ต ๐=
and ๐ท = โ3 .
โ1
3
1
If ๐ is generate by rows of ๐ด.
Then ๐ = ๐ 00 = {๐ฆ: ๐ฆ1 โ 3๐ฆ2 + ๐ฆ3 = 0}.
โ1
0
=
1
Linear Programming 2012
26
Obtaining constrained form from generators
๐ = ๐0
๐ด=
๐1 โฒ
1 1
=
1 0
๐2 โฒ
2
โ1
(1, -3, 1)
๐2
๐ = ๐ 00
0
Linear Programming 2012
๐1
๐ 0 = {๐ฅ: ๐ด๐ฅ = 0}.
From earlier, basis for
๐ 0 is (1, โ3, 1)โฒ.
Constrained form for
๐ = ๐ 00 is {๐ฆ: ๐ฆ1 โ
27
Remarks
๏ฑ Why need different representations of subspaces?
Suppose ๐ฅ โ is a feasible solution to a standard LP min ๐ โฒ ๐ฅ, ๐ด๐ฅ = ๐, ๐ฅ โฅ 0.
Given a feasible point ๐ฅ โ , a reasonable algorithm to solve LP is to find ๐ฅ โ +
๐๐ฆ, ๐ > 0 such that ๐ฅ โ + ๐๐ฆ is feasible and provides a better objective value
than ๐ฅ โ .
Then ๐ด ๐ฅ โ + ๐๐ฆ = ๐ด๐ฅ โ + ๐๐ด๐ฆ = ๐ + ๐๐ด๐ฆ = ๐, ๐ > 0 ๏ {๐ฆ: ๐ด๐ฆ = 0}.
Hence we need generators of {๐ฆ: ๐ด๐ฆ = 0} to find actual directions we can use.
Also ๐ฆ must satisfy ๐ฅ โ + ๐๐ฆ โฅ 0.
Linear Programming 2012
28