Universidad de Chile MA3701-3 Optimizacion

Facultad de Cs. Fsicas y Matematicas Profesor: Mauricio Soto

Departamento de Ingeniera Matematica Auxiliar: Vctor Verdugo
Pauta Auxiliar 2
Jueves 3 de Abril de 2014
Pregunta 1
Sean x
1
, . . . , x
m
R
d
, con m d + 2. Demuestre que existe una particion de {1, . . . , m} en dos conjuntos I y
J tales que conv({x
i
: i I}) conv({x
j
: j J}) = .
Solucion:
Sea z
i
= (x
i
, 1) R
d+1
para cada i {1, . . . , m}. Dado que tenemos m > d + 1 vectores, {z
1
, . . . , z
m
} es un
conjunto l.d. en R
d+1
. Es decir, existen escalares
1
, . . . ,
m
no todos nulos tales que
m

i=1

i
z
i
= 0.
Denamos los conjuntos I = {i :
i
0} y J = {i :
i
< 0}. Estos conjuntos particionan {1, . . . , m} y son no
vacos. Veriquemos ahora que conv({x
i
: i I}) conv({x
j
: j J}) = . Notemos que
0 =
m

i=1

i
x
i
=

iI

i
x
i
+

jJ

j
x
j

iI

i
x
i
=

jJ

j
x
j
.
Tambien tenemos que

m
i=1

i
= 0, y por lo tanto

iI

i
=

jJ

j
. Denamos
i
=
i
/

iI

i
para
cada i I, y
j
=
j
/

jJ

j
para cada j J. Tenemos que

iI

i
= 1 y 0
i
1, es decir,

iI

i
x
i

conv({x
i
: i I}). De manera similar se tiene que

jJ

j
x
j
conv({x
j
: j J}). Finalmente, observamos
que:

iI

i
x
i
=
1

iI

i

iI

i
x
i
=
1

jJ

j

jJ

j
x
j
=

jJ

j
x
j
,
y por lo tanto la interseccion entre los dos conjuntos es no vaca.
Pregunta 2
Resuelva el siguiente PL usando el algoritmo Simplex (fase I y fase II):
mn x
1
2x
2
st x
1
+ x
2
x
3
= 1
x
1
+ x
4
= 4
x
1
x
2
= 0
x
1
, x
2
, x
3
, x
4
0
Solucion:
Para encontrar una base factible al problema hacemos simplex Fase I. Para ello, introducimos las variables
articiales x
5
, x
6
, x
7
y resolvemos el siguiente PL:
mn x
5
+ x
6
+ x
7
st x
1
+ x
2
x
3
+ x
5
= 1
x
1
+ x
4
+ x
6
= 4
x
1
x
2
+ x
7
= 0
x
1
, x
2
, x
3
, x
4
, x
5
, x
6
, x
7
0
Notese que el PL que resolvemos en Fase I claramente tiene por optimo a x
5
= x
6
= x
7
= 0, sin embargo, no
es el optimo el que nos interesa, sino que la solucion extrema que nos devuelve el algoritmo aplicado a este PL
articial. Inicializamos el tableau con la base en las variables articiales. Marcaremos con * las entradas en las
que se pivotea. Variables basicas las articiales, no basicas las originales, c
B
= 1, c
N
= 0, B = I, N = A.
1

A 0 z = 1

b
A I b
Inicializacion:
x
1
x
2
x
3
x
4
x
5
x
6
x
7
-3 0 1 -1 0 0 0 -5
1 1 -1 0 1 0 0 1
1 0 0 1 0 1 0 4
1* -1 0 0 0 0 1 0
x = (0, 0, 0, 0, 1, 4, 0)
Iteracion 1:
x
1
x
2
x
3
x
4
x
5
x
6
x
7
0 -3 1 -1 0 0 3 -5
0 2* -1 0 1 0 -1 1
0 1 0 1 0 1 -1 4
1 -1 0 0 0 0 1 0
x = (0, 0, 0, 0, 1, 4, 0)
Iteracion 2:
x
1
x
2
x
3
x
4
x
5
x
6
x
7
0 0 -1/2 -1 3/2 0 3/2 -7/2
0 1 -1/2 0 1/2 0 -1/2 1/2
0 0 1/2 1* -1/2 1 -1/2 7/2
1 0 -1/2 0 1/2 0 1/2 1/2
x = (1/2, 1/2, 0, 0, 0, 7/2, 0)
Iteracion 3:
x
1
x
2
x
3
x
4
x
5
x
6
x
7
0 0 0 0 1 1 1 0
0 1 -1/2 0 1/2 0 -1/2 1/2
0 0 1/2 1 -1/2 1 -1/2 7/2
1 0 -1/2 0 1/2 0 1/2 1/2
x = (1/2, 1/2, 0, 7/2, 0, 0, 0)
Como las variables articiales salieron de la base y sus costos reducidos son positivos, ya estamos en el optimo
y entonces tenemos la solucion basica factible a nuestro problema original. Eliminamos las variables articiales,
y reordenamos las las de la tabla nal para inicializar la Fase II:
x
1
x
2
x
3
x
4
1 0 -1/2 0 1/2
0 1 -1/2 0 1/2
0 0 1/2 1 7/2
Calculemos los costos reducidos y el valor de la solucion en curso:
B =

1 1 0
1 0 1
1 1 0

, N =

1
0
0

.
c

N
= c

N
c

B
B
1
N
=

1 2 0

1 1 0
1 0 1
1 1 0

1
0
0

= 1/2.
Asi que la tabla inicial para la Fase II es:
x
1
x
2
x
3
x
4
0 0 -1/2 0 1/2
1 0 -1/2 0 1/2
0 1 -1/2 0 1/2
0 0 1/2* 1 7/2
Iteracion 1:
x
1
x
2
x
3
x
4
0 0 0 1 4
1 0 0 1 4
0 1 0 1 4
0 0 1 2 7
Como el costo reducido en la variable no basica es positivo estamos en el optimo que corresponde a (4, 4, 7, 0)
y su valor es 4.
Pregunta 3
Suponga que estamos resolviendo el problema
mn c

x
st Ax = b
x 0
y que llegamos a la siguiente tabla de Fase II en Simplex:
0 1 0 c
1
14
1 1 0 a
1
b
1
0 -2 1 a
2
b
2
1. Identique la solucion en curso y diga las condiciones para que sea factible.
Solucion:
La solucion en curso es (b
1
, b
2
) y es factible si b
1
0 y b
2
0.
2. De las condiciones para que la solucion en curso sea optima.
Solucion:
La base en curso es optima si b
1
0, b
2
0 y c
1
0.
3. De las condiciones que aseguran que la solucion optima es la unica solucion factible optima.
Solucion:
La base en curso es la unica optima si b
1
0, b
2
0 y c
1
> 0.
4. Bajo que condiciones el problema es no acotado?
Solucion:
Es no acotado si c
1
< 0, a
1
< 0 y a
2
< 0.
5. De condiciones para que la solucion optima sea degenerada.
Solucion:
Esto ocurre si se cumplen las condiciones en b) y b
1
= 0 o b
2
= 0.
6. Asumiendo las condiciones en 1), de las condiciones bajo las cuales usted hara un pivote en la entrada a
1
.
Solucion:
Se pivotea en a
1
si c
1
< 0 y si adem as se cumple alguna de las siguientes condiciones:
a
1
> 0, a
2
> 0 y
b
1
a
1
<
b
2
a
2
.
a
1
> 0 y a
2
0.
Pregunta 4
Encuentre una formulacion lineal para el siguiente problema de optimizacion y resuelva el PL resultante usando
el algoritmo Simplex:
mn max{x
1
2, x
2
}
st x
1
+|x
2
| 1
x
1
0
Solucion:
Primero notemos que x
1
+ |x
2
| 1 x
1
1 x
2
1 x
1
. Ahora, la variable x
2
es irrestricta, por lo que
hagamos x
2
= u v con u, v 0. El PL equivalente que tenemos haciendo uso de estas dos observaciones es:
mn max{x
1
2,u v}
st x
1
+ u v 1
x
1
u + v 1
x
1
, u, v 0
Hagamos z = max{x
1
2, u v}. Luego, cada uno de estos terminos debe ser menor o igual a z, por lo que
podemos agregar dos restricciones al poliedro y minimizar z:
mn z
st x
1
+ u v 1
x
1
u + v 1
x
1
z 2
u v z 0
x
1
, u, v 0
Finalmente, como z es irrestricta hagamos z = r s con r, s 0:
mn r s
st x
1
+ u v 1
x
1
u + v 1
x
1
r + s 2
u v r + s 0
x
1
, u, v, r, s 0
Para obtener el PL en forma estandar agregamos variables de holgura s
1
, s
2
, s
3
, s
4
:
mn r s
st x
1
+ u v + s
1
= 1
x
1
u + v + s
2
= 1
x
1
r + s + s
3
= 2
u v r + s + s
4
= 0
x
1
, u, v, r, s, s
1
, s
2
, s
3
, s
4
0
En este caso podemos inicializar le tableau tomando como variables basicas las variables de holgura. En este
caso la matriz B es la identidad:
x
1
u v r s s
1
s
2
s
3
s
4
0 0 0 1 -1 0 0 0 0 0
1 1 -1 0 0 1 0 0 0 1
1 -1 1 0 0 0 1 0 0 1
1 0 0 -1 1 0 0 1 0 2
0 1 -1 -1 1* 0 0 0 1 0
x
1
u v r s s
1
s
2
s
3
s
4
0 1 -1 0 0 0 0 0 1 0
1 1 -1 0 0 1 0 0 0 1
1 -1 1* 0 0 0 1 0 0 1
1 -1 1 0 0 0 0 1 -1 2
0 1 -1 -1 1 0 0 0 1 0
x
1
u v r s s
1
s
2
s
3
s
4
1 0 0 0 0 0 1 0 1 1
2 0 0 0 0 1 1 0 0 2
1 -1 1 0 0 0 1 0 0 1
0 0 0 0 0 0 -1 1 -1 1
1 0 0 -1 1 0 1 0 1 1
Estamos en el optimo y las variables basicas valen v = 1, s = 1, s
1
= 2 y s
3
= 1. Las no basicas son 0 y a partir
de esto recuperamos la solucion al problema original, x
1
= 0, x
2
= 1 y z = 1.