Professional Documents
Culture Documents
2
Lecture 4: LP Standard Form
2 Minimization → maximization
6 Free variable
We say that an LP is in standard form if its matrix representation has the form
We say that an LP is in standard form if its matrix representation has the form
max cT x
s.t. Ax ≤ b
0≤x
We say that an LP is in standard form if its matrix representation has the form
s.t. Ax ≤ b
0≤x
We say that an LP is in standard form if its matrix representation has the form
0≤x
We say that an LP is in standard form if its matrix representation has the form
minimization → maximization
minimization → maximization
To transform a minimization problem to a maximization problem multiply the
objective function by −1.
minimization → maximization
To transform a minimization problem to a maximization problem multiply the
objective function by −1.
linear inequalities
minimization → maximization
To transform a minimization problem to a maximization problem multiply the
objective function by −1.
linear inequalities
If an LP has an inequality constraint of the form
linear equations
linear equations
The linear equation
ai1 xi + · · · + ain xn = bi
can be written as two linear inequalities
ai1 x1 + · · · + ain xn ≤ bi
and
ai1 x1 + · · · + ain xn ≥ bi .
or equivalently
ai1 x1 + · · · + ain xn ≤ bi
−ai1 x1 − · · · − ain xn ≤ −bi
xi = ui − wi .
xi = wi + li .
xi = wi + li .
0 ≤ wi and wi ≤ ui − li .
free variables
free variables
Sometimes a variable is given without any bounds. Such variables are called
free variables. To obtain standard form every free variable must be replaced
by the difference of two non-negative variables. That is, if xi is free, then we
get
xi = u i − vi
with 0 ≤ ui and 0 ≤ vi .
minimize 3x1 − x2
subject to −x1 + 6x2 − x3 + x4 ≥ −3
7x2 + x4 = 5
x3 + x4 ≤ 2
−1 ≤ x2 , x3 ≤ 5, −2 ≤ x4 ≤ 2.
The hardest part of the translation to standard form, or at least the part most
susceptible to error, is the replacement of existing variables with non-negative
variables.
The hardest part of the translation to standard form, or at least the part most
susceptible to error, is the replacement of existing variables with non-negative
variables.
The hardest part of the translation to standard form, or at least the part most
susceptible to error, is the replacement of existing variables with non-negative
variables.
Step 1: Make all of the changes that do not involve a variable substitution.
The hardest part of the translation to standard form, or at least the part most
susceptible to error, is the replacement of existing variables with non-negative
variables.
Step 1: Make all of the changes that do not involve a variable substitution.
minimize 3x1 − x2
subject to −x1 + 6x2 − x3 + x4 ≥ −3
7x2 + x4 = 5
x3 + x4 ≤ 2
−1 ≤ x2 , x3 ≤ 5, −2 ≤ x4 ≤ 2.
minimize 3x1 − x2
subject to −x1 + 6x2 − x3 + x4 ≥ −3
7x2 + x4 = 5
x3 + x4 ≤ 2
−1 ≤ x2 , x3 ≤ 5, −2 ≤ x4 ≤ 2.
Minimization =⇒ maximization
minimize 3x1 − x2
subject to −x1 + 6x2 − x3 + x4 ≥ −3
7x2 + x4 = 5
x3 + x4 ≤ 2
−1 ≤ x2 , x3 ≤ 5, −2 ≤ x4 ≤ 2.
Minimization =⇒ maximization
maximize − 3x1 + x2 .
− x1 + 6x2 − x3 + x4 ≥ −3
− x1 + 6x2 − x3 + x4 ≥ −3
becomes
− x1 + 6x2 − x3 + x4 ≥ −3
becomes
x1 − 6x2 + x3 − x4 ≤ 3.
7x2 + x4 = 5
7x2 + x4 = 5
becomes
7x2 + x4 = 5
becomes
7x2 + x4 ≤ 5
7x2 + x4 = 5
becomes
7x2 + x4 ≤ 5
and
7x2 + x4 = 5
becomes
7x2 + x4 ≤ 5
and
− 7x2 − x4 ≤ −5
The double bound −2 ≤ x4 ≤ 2 indicates that we should group the upper bound
with the linear inequalities.
The double bound −2 ≤ x4 ≤ 2 indicates that we should group the upper bound
with the linear inequalities.
x4 ≤ 2
maximize −3x1 + x2
subject to x1 − 6x2 + x3 − x4 ≤ 3
7x2 + x4 ≤ 5
− 7x2 − x4 ≤ −5
x3 + x4 ≤ 2
x4 ≤ 2
−1 ≤ x2 , x3 ≤ 5, −2 ≤ x4 .
z2 = x2 + 1 or x2 = z2 − 1 with 0 ≤ z2 .
z2 = x2 + 1 or x2 = z2 − 1 with 0 ≤ z2 .
z2 = x2 + 1 or x2 = z2 − 1 with 0 ≤ z2 .
z3 = 5 − x3 or x3 = 5 − z3 with 0 ≤ z3 .
z2 = x2 + 1 or x2 = z2 − 1 with 0 ≤ z2 .
z3 = 5 − x3 or x3 = 5 − z3 with 0 ≤ z3 .
z2 = x2 + 1 or x2 = z2 − 1 with 0 ≤ z2 .
z3 = 5 − x3 or x3 = 5 − z3 with 0 ≤ z3 .
z4 = x4 + 2 or x4 = z4 − 2 with 0 ≤ z4 .
maximize −3x1 + x2
subject to x1 − 6x2 + x3 − x4 ≤ 3
7x2 + x4 ≤ 5
− 7x2 − x4 ≤ −5
x3 + x4 ≤ 2
x4 ≤ 2
−1 ≤ x2 , x3 ≤ 5, −2 ≤ x4 .
gives
Substituting x2 = z2 − 1 into
0 ≤ z1+ , 0 ≤ z1− , −1 ≤ x2 , x3 ≤ 5, −2 ≤ x4 .
gives
0 ≤ z1+ , 0 ≤ z1− , −0 ≤ z2 , x3 ≤ 5, −2 ≤ x4 .
Substituting x3 = 5 − z3 into
0 ≤ z1+ , 0 ≤ z1− , −0 ≤ z2 , x3 ≤ 5, −2 ≤ x4 .
gives
0 ≤ z1+ , 0 ≤ z1− , −0 ≤ z2 , 0 ≤ z3 , −2 ≤ x4 .
Substituting x4 = z4 − 2 into
0 ≤ z1+ , 0 ≤ z1− , −0 ≤ z2 , 0 ≤ z3 , −2 ≤ x4 .
gives
0 ≤ z1+ , 0 ≤ z1− , −0 ≤ z2 , 0 ≤ z3 , 0 ≤ z4 .
which is in standard form.
0 ≤ z1+ , z1− , z2 , z3 , z4 .