You are on page 1of 17

UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE INGENIERA
POSTGRADO DE INVESTIGACIN DE OPERACIONES
SEMINARIO DE TRABAJO DE GRADO SOBRE ANLISIS MULTIPARAMTRICO
EN PROGRAMACIN LINEAL ENTERA BINARIA









Tarea N 3. Desarrollo de los Algoritmos: 1 - 3
sobre el ejercicio #2 de la Tarea N 1.











Ing. Alexnder Useche
Diciembre, 2013


ALGORITMO 1.
PROBLEMA P. Se procede a linealizar el ejercicio original, de
acuerdo al tipo de problema.
( ) { }
{ }
( ) ( )
( ) ( )
( ) ( )
( ) ( )
4 4
3 3
2 2
12 12
9 4
6 1
3 1
4 2
1 , 0
4 3 . .
, , 5 , 3 max min , , ,
4
3
2
12
4
2 4 3 2 1
4 3 2 12 1
4 4 3 3 2 1 2 12 4 3
c c
c c
b b
A A
i
c
c
b
A
x
b x x x x
x x x A x a s
x c x c x x b A c c P
s s
s s
s s
s s
e
> + + +
s + + +

( )
{ }
( ) ( )
( ) ( )
( ) ( )
( ) ( )
4 4
3 3
2 2
12 12
9 4
6 1
3 1
4 2
1 , 0
4 3
5
3 . .
min , , ,
4
3
2
12
4
2 4 3 2 1
4 3 2 12 1
4 4
3 3
2
1
2 12 4 3
c c
c c
b b
A A
i
c
c
b
A
x
b x x x x
x x x A x
x c z
x c z
x z
x z a s
z b A c c P
s s
s s
s s
s s
e
> + + +
s + + +
>
>
>
>

El problema ms relajado resulta para b
2
=1
(1)
y A
12
=2; se
selecciona una solucin inicial
(1)
: c
3
=6 y c
4
=9.
( ) ( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
{ } ( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) ( ) ( ) { } ( ) 0 , 0 , 0 , 1 ; 3 1 , 2 , 9 , 6 , min min 1 , 2 , 9 , 6
6 0 , 6 , 5 , 3 max 9 , 6 , 1 , 2 , , 0 , 1 , 1 , 1
5 0 , 0 , 5 , 3 max 9 , 6 , 1 , 2 , , 0 , 0 , 1 , 1
6 0 , 6 , 0 , 3 max 9 , 6 , 1 , 2 , , 0 , 1 , 0 , 1 1 , 0
9 9 , 0 , 0 , 3 max 9 , 6 , 1 , 2 , , 1 , 0 , 0 , 1 1
3 0 , 0 , 0 , 3 max 9 , 6 , 1 , 2 , , 0 , 0 , 0 , 1 4 3 2
6 0 , 6 , 5 , 0 max 9 , 6 , 1 , 2 , , 0 , 1 , 1 , 0 9
5 0 , 0 , 5 , 0 max 9 , 6 , 1 , 2 , , 0 , 0 , 1 , 0 6
9 9 , 6 , 0 , 0 max 9 , 6 , 1 , 2 , , 1 , 1 , 0 , 0 5
6 0 , 6 , 0 , 0 max 9 , 6 , 1 , 2 , , 0 , 1 , 0 , 0 3 . .
9 9 , 0 , 0 , 0 max 9 , 6 , 1 , 2 , , 1 , 0 , 0 , 0 min 1 , 2 , 9 , 6
) 1 (
10 1
) (
) 10 ( ) 10 (
) 9 ( ) 9 (
) 8 ( ) 8 ( 4
) 7 ( ) 7 (
4 3 2 1
) 6 ( ) 6 (
4 3 2 1
) 5 ( ) 5 (
4
) 4 ( ) 4 (
3
) 3 ( ) 3 (
2
) 2 ( ) 2 (
1
) 1 ( ) 1 (
= = = =
= = = =
= = = =
= = = = e
= = = = > + + +
= = = = s + + +
= = = = >
= = = = >
= = = = >
= = = = >
= = = =
s s
x x z P v
x z x
x z x
x z x x
x z x x x x x
x z x x x x x
x z x x z
x z x x z
x z x x z
x z x x z a s
x z x z P
i
i
i
|
|
|
|
|
|
|
|
|
|
|
_________________________
(1): El problema P no resulta relajado si b2 = 3, de hecho la cardinalidad de las soluciones
factibles se reduce a uno (1), ya que x
(10)
= (1,1,1,0) es la nica solucin factible que
satisface la segunda restriccin x1 + x2 + x3 + x4 3 y en cuyo caso v(P((6,9,2,1))) = 6
(ver archivo EJE#32P2.LPP). Tambin debe cumplirse que 2 A12 2, para satisfacer la
primera restriccin x1 + A12x2 + x3 + 3x4 4, manteniendo la condicin de relajacin.

Al emplear el paquete WinQSB, el resultado coincide con la
corrida en fro (ver archivo EJE#32P.LPP). Dada la
factibilidad del problema para el caso seleccionado y bajo
las condiciones dadas, se procede con la segunda parte del
algoritmo.

PROBLEMA S.
El planteamiento de la idea original es como se muestra:
( )
( )
)
`

|
|
.
|

\
|
s
|
|
.
|

\
|
s
|
|
.
|

\
|
|
|
.
|

\
|
s
|
|
.
|

\
|
s
|
|
.
|

\
|
=
3
4 4
1
4
,
1 1 1 1
3 1 4 1
1 1 1 1
3 1 1
1 1 1 1
3 1 2 1
: ,
2
12 ,
b
A
b A H
A b

( ) ( )
( )
( )
{ }
{ } ( ) ( )
( )

e
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
+
e
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
)
`

e
=

|
|
.
|

\
|
s
|
|
|
|
|
.
|

\
|
|
|
.
|

\
|
e =
=
=
s s e
) (
10
1 2
12
) (
10
1
2
12 ) (
4 4 3 3 2 1
4 1 10 ,..., 1
) (
2
4
3
2
1
12 ,
4
,
1 1 1 1
3 1 1
,
4
,
1 1 1 1
3 1 1
, , : , , 5 , 3 max min
, ,
4
1 1 1 1
3 1 1
: ,
i
i
i
i
i
j i
r
b A
x W
b
A
si
x W
b
A
si b A X x x c x c x x
c b A y
b
x
x
x
x
A
H b A x W



El planteamiento inicial de la funcin objetivo
es:
( ) { }
( ) ( )
( ) ( )
{ }
{ } ( ) ( )
( )
{ } R z y x c x c x x z
x W
b
A
si M
x W
b
A
si b A X x x c x c x x
y
b A X x c b A a s
z y S
b A X x c b A a s
x c x c x x c b A y S
j
i
i
i
i
i
j
i
i
c b A
r
i
c b A
j
r r
e =

e
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
e
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
)
`

e
=
e O e

e O e

s s
=
=
s s
e
s s
, , , , 5 , 3 max
4
,
1 1 1 1
3 1 1
,
4
,
1 1 1 1
3 1 1
, , : , , 5 , 3 max min
, , , , : . .
max
, , , , : . .
, , 5 , 3 max , , max
4 4 3 3 2 1
4 1
) (
10
1
2
12
) (
10
1
2
12 ) (
4 4 3 3 2 1
4 1
10 ,..., 1
) (
, ,
) (
) (
, ,
4 4 3 3 2 1
3 1
) ( ) (



El primer planteamiento lineal de la expresin anterior (con
sus restricciones) es:
( )
( )
( )
( )
( )
{ }
{ } ( ) ( ) ( ) 2 , 4 , 10 , ..., , 1 ..., , 1 ..., , 1 , 1 , 0 , ,
, , , 1 , 0 , 9 4 , 6 1 , ,
, 1
4 , 1 4
, , 5 , 3
1
, , 5 , 3
4
: . . max
) ( ) ( ) (
) (
4
) ( ) (
3
) ( ,
) ( ) (
2
) (
1
) (
2 2 4 3 2 1
) (
2 2 4 3 2 1
) (
1 4 3 2 12 1
) (
1 4 3 2 12 1
4 4 3 3 2 1
) ( ) (
4
) (
3
) (
2
) (
1
) ( ) (
4 4 4
) ( ) (
3 3 3
) ( ) (
2 2
) ( ) (
1 1
2
2 4 3 2 1
4 3 2 12 1
) (
4 4 3 3
= = = = = = e
e e s s s s e
= +
+ s + >
+ s + + + + > + + +
> > > >
= + + +
+ s + s + s + s
> + + +
s + + +

m p r m k p j r i T y w
R z y x c c H b A
T y y
M y b x x x x M y b x x x x
M y x x x A x M y x x x A x
x c z x c z x z x z
T w w w w
MT w x c y MT w x c y MT w x y MT w x y
b x x x x
x x x A x
a s z y S
i i
k
i
j
p c c c c b A
i i i
i i
i i
i i i i i
i i i i i i i i
r
c
c

Finalmente, la expresin anterior requiere de una ltima
linealizacin para el nfimo, el supremo y las restricciones
funcionales.
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) (
4
) 4 )( ( ) 4 (
4
) 4 )( (
4
) (
4
) 4 )( ( ) 4 )( (
4
) (
4
) 4 )( 0 ( ) 4 ( ) 4 )( (
3
) (
4
) 4 )( 0 ( ) 4 )( (
3
) (
4
) 4 )( 0 ( ) 4 ( ) 4 )( (
2
) (
4
) 4 )( 0 ( ) 4 )( (
2
) (
4
) 4 )( 0 ( ) 4 ( ) 4 )( (
1
) (
4
) 4 )( 0 ( ) 4 )( (
1
) (
3
) 3 )( 0 ( ) 3 ( ) 3 )( (
4
) (
3
) 3 )( 0 ( ) 3 )( (
4
) (
3
) 3 )( ( ) 3 (
3
) 3 )( (
3
) (
3
) 3 )( ( ) 3 )( (
3
) (
3
) 3 )( 0 ( ) 3 ( ) 3 )( (
2
) (
3
) 3 )( 0 ( ) 3 )( (
2
) (
3
) 3 )( 0 ( ) 3 ( ) 3 )( (
1
) (
3
) 3 )( 0 ( ) 3 )( (
1
) (
2
) 2 )( 0 ( ) 2 ( ) 2 )( (
4
) (
2
) 2 )( 0 ( ) 2 )( (
4
) (
2
) 2 )( 0 ( ) 2 ( ) 2 )( (
3
) (
2
) 2 )( 0 ( ) 2 )( (
3
) (
2
) 2 )( 5 ( ) 2 ( ) 2 )( (
2
) (
2
) 2 )( 5 ( ) 2 )( (
2
) (
2
) 2 )( 0 ( ) 2 ( ) 2 )( (
1
) (
2
) 2 )( 0 ( ) 2 )( (
1
) (
1
) 1 )( 0 ( ) 1 ( ) )( 1 (
4
) (
1
) 1 )( 0 ( ) 1 )( (
4
) (
1
) 1 )( 0 ( ) 1 ( ) 1 )( (
3
) (
1
) 1 )( 0 ( ) 1 )( (
3
) (
1
) 1 )( 1 ( ) 1 ( ) 1 )( (
2
) (
1
) 1 )( 0 ( ) 1 )( (
2
) (
1
) 1 )( 3 ( ) 1 ( ) 1 )( (
1
) (
1
) 1 )( 3 ( ) 1 )( (
1
) ( ) (
4
) (
3
) (
2
) (
1
) (
4
) 4 )( (
4 3
) 4 )( (
3 2
) 4 )( (
2 1
) 4 )( (
1
) (
4
) 3 )( (
4 3
) 3 )( (
3 2
) 3 )( (
2 1
) 3 )( (
1
) (
4
) 2 )( (
4 3
) 2 )( (
3 2
) 2 )( (
2 1
) 2 )( (
1
) (
4
) 1 )( (
4 3
) 1 )( (
3 2
) 1 )( (
2 1
) 1 )( (
1
) (
, , ,
1 4 , 9 , 1 0 0 , 0
1 0 0 , 0 , 1 0 0 , 0
1 0 0 , 0 , 1 1 , 6
1 0 0 , 0 , 1 0 0 , 0
1 0 0 , 0 , 1 0 0 , 0
1 5 5 , 5 , 1 0 0 , 0
1 0 0 , 0 , 1 0 0 , 0
1 1 1 , 0 , 1 3 3 , 3
1
,
,
: . . max
4 4
3 3
o o o o o o o o o o o o o o o o
q q q q
q q q q
q q q q
q q q q
q q q q
q q q q
q q q q
q q q q
q q q q q q q
q q q q q q q q
+ + + > + + + > + + + > + + + >
s s s s
s s s s
s s + s s
s s s s
s s s s
s s s s
s s s s
s s + s s
= + + +
+ + + + s + + + + s
+ + + + s + + + + s

z z z z
w c w w w
w w w w
w w w c w
w w w w
w w w w
w w w w
w w w w
w w w w
T w w w w
MT x n x x x y MT x x x x y
MT x x x x y MT x x x x y
a s z y S
i c i i c i i i i i
i i i i i i i i
i i i i i c i i c i
i i i i i i i i
i i i i i i i i
i i i i i i i i
i i i i i i i i
i i i i i i i i
i i i i i
i i i i i i i i i i
i i i i i i i i i i
r
__________________________
(2): Dado que la teora propuesta est desarrollada para restricciones funcionales del tipo
menor o igual, se multiplicar la segunda restriccin por (-1) realizando un cambio de
sentido de la desigualdad, logrando una bondad de ajuste de esta restriccin a la mencionada
teora.

( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( )
( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( )
( ) ( ) ( ) ( ) ( )
{ }
{ } ( ) ( ) ( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1 ,..., 1 ,...., 1 , 1 , 0
, , , , , , , , 1 , 0 9 4 , 6 1 , ,
1 1 1 , , 1 1 1 ,
1 1 1 , , 1 1 1 ,
1 1 1 , , 1 1 1 ,
1 4 1 2 , 4 2 , 1 1 1 ,
, 4
, 1
4 , 1 4
1 9 , 4 , 1 0 0 , 0
1 0 0 , 0 , 1 0 0 , 0
1 0 0 , 0 , 1 6 , 1
1 0 0 , 0 , 1 0 0 , 0
1 0 0 , 0 , 1 0 0 , 0
1 5 5 , 5 , 1 0 0 , 0
1 0 0 , 0 , 1 0 0 , 0
1 0 0 , 0 , 1 3 3 , 3
) (
) ( ) ( ) )( ( ) (
4 3
,
4 24 4 4 24 4 3 23 3 3 23 3
2 22 2 2 22 2 1 21 1 1 21 1
4 14 4 4 14 4 3 13 3 3 13 3
2 12 12 2 2 12 2 1 11 1 1 11 1
2 24 23 22 21 14 13 12 11
) ( ) (
2
) (
1
) (
2 2 4 3 2 1
) (
2 2 4 3 2 1
) (
1 4 3 2 12 1
) (
1 4 3 2 12 1
4
) 4 )( ( ) 4 (
4
) 4 (
4 4
) 4 )( ( ) 4 (
4 3
) 4 )( 0 ( ) 4 ( ) 4 (
3 3
) 4 )( 0 ( ) 4 (
3
2
) 4 )( 0 ( ) 4 ( ) 4 (
2 2
) 4 )( 0 ( ) 4 (
2 1
) 4 )( 0 ( ) 4 ( ) 4 (
1 1
) 4 )( 0 ( ) 4 (
1
4
) 3 )( 0 ( ) 3 ( ) 3 (
4 4
) 3 )( 0 ( ) 3 (
4 3
) 3 )( ( ) (
3
) 3 (
3 3
) 3 )( ( ) 3 (
3
2
) 3 )( 0 ( ) 3 ( ) 3 (
2 2
) 3 )( 0 ( ) 3 (
2 1
) 3 )( 0 ( ) 3 ( ) 3 (
1 1
) 3 )( 0 ( ) 3 (
1
4
) 2 )( 0 ( ) 2 ( ) 2 (
4 4
) 2 )( 0 ( ) 2 (
4 3
) 2 )( 0 ( ) 2 ( ) 2 (
3 3
) 3 )( 0 ( ) 2 (
3
2
) 2 )( 5 ( ) 2 ( ) 2 (
2 2
) 2 )( 5 ( ) 2 (
2 1
) 2 )( 0 ( ) 2 ( ) 2 (
1 1
) 2 )( 0 ( ) 2 (
1
4
) 1 )( 0 ( ) 1 ( ) 1 (
4 4
) 1 )( 0 ( ) 1 (
4 3
) 1 )( 0 ( ) 1 ( ) 1 (
3 3
) 1 )( 0 ( ) 1 (
3
2
) 1 )( 0 ( ) 1 ( ) 1 (
2 2
) 1 )( 0 ( ) 1 (
2 1
) 1 )( 3 ( ) 1 ( ) 1 (
1 1
) 1 )( 3 ( ) 1 (
1
4 4 3 3
4 4
3 3 3
= = = = = = = = = = e
e e e s s s s e
s s s s s s s s
s s s s s s s s
s s s s s s s s
s s s s s s s s
> + + + s + + +
= +
+ s + >
+ s + + + + > + + +
> > > >
> > > >
> > > >
> > > >
> > > >
> > > >
> > > >
> > > >
m n p r M m k n q p j r i T
y w Z W R z y x c c H b A
x W x x W x x W x x W x
x W x x W x x W x x W x
x W x x W x x W x x W x
x W A x x W x x W x x W x
b W W W W W W W W
T y y
M y b x x x x M y b x x x x
M y x x x A x M y x x x A x
x c x x x
x x x x
x x x c x
x x x x
x x x x
x x x x
x x x x
x x x x
i
i
k
i
j
mxn
kj
j i
q
j
q
n c c c c b A
i i i
i i
i i
c c
c c c
c
q o
c
c
o o o o
o o o o
o o o o
o o o o
o o o o
o o o o
o o o o
o o o o

PROBLEMA S
(1)

Dado que el problema P arroj el resultado factible y
relajado mostrado para la solucin inicial
(1)
seleccionada
(c
3
=6 y c
4
=9; x
(1)
=(1,0,0,0)), el problema S(1) se expresa
as:
( )
( )
( )
( )
( ) ( ) M y b M y b M y M y
x c x
x c x
x x
z z z z
w c w
w c w
w w
T w w w w
MT y MT y MT y MT y
a s z y S
) 1 (
2 2
) 1 (
2 2
) 1 (
1
) 1 (
1
4 4
) 4 (
4 4
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4 3 3
) 3 (
3 3
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3 2
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2 1
) 1 (
1
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 (
4 4
) 4 )( 1 (
4
) 1 (
4
) 4 )( 1 (
4
) 4 )( 1 (
3
) 4 )( 1 (
2
) 4 )( 1 (
1
) 3 )( 1 (
4
) 1 (
3 3
) 3 )( 1 (
3
) 1 (
3
) 3 )( 1 (
3
) 3 )( 1 (
2
) 3 )( 1 (
1
) 2 )( 1 (
4
) 2 )( 1 (
3
) 1 (
2
) 2 )( 1 (
2
) 2 )( 1 (
1
) 1 )( 1 (
4
) 1 )( 1 (
3
) 1 )( 1 (
2
) 1 (
1
) 1 )( 1 (
1
) 1 ( ) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 ( ) 4 )( 1 (
1
) 1 ( ) 3 )( 1 (
1
) 1 ( ) 2 )( 1 (
1
) 1 ( ) 1 )( 1 (
1
) 1 (
1 , 1 1 , 4 1 , 1 4 1
1 9 , 4 , 0
0 , 0 , 0 , 1 6 , , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
, , ,
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1
, , ,
: . . max
+ s + > + s + >
> > >
> > > > > > >
> > > > > > > >
+ + + > + + + > + + + > + + + >
s s s
s s s + s s s s
s s s s s s s s
= + + +
+ s + s + s + s

c c
o o o
o o o o o o o
o o o o o o o o
o o o o o o o o o o o o o o o o
q q q
q q q q q q q
q q q q q q q q
q q q q

( )
( ) ( ) ( ) ( ) ( )
{ }
{ } ( ) ( ) ( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1 ,..., 1 ,...., 1 , 1 , 0
, , , , , , , , 1 , 0 9 4 , 6 1 , ,
, , , , ,
4 4 , 2 2 , 0 4 , 0 2 ,
, 4
) (
) ( ) ( ) )( ( ) (
4 3
,
4 24 3 23 2 22 1 21 4 14 3 13
12 12 2 12 12 2 2 12 12 2 1 11
2 24 23 22 21 14 13 12 11
) 1 ( ) 1 (
2
) 1 (
1
4 4 3 3
= = = = = = = = = = e
e e e s s s s e
= = = = = =
s + > + s s =
> + + + s + + +
= +
m n p r M m k n q p j r i T
y w Z W R z y x c c H b A
x W x W x W x W x W x W
W A x W A x x W W x x W
b W W W W W W W W
T y y
i
i
k
i
j
mxn
kj
j i
q
j
q
n c c c c b A
c
q o

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(S
(1)
)= 97. (c
3
,c
4
,A
12
,b
2
) = (-1,4,2,2), x
(2)
= (1,0,1,0)
(ver resultados del archivo EJE#32S1.LPP)

PROBLEMA S
(2)

( )
( )
( )
( )
( )
( )
( ) ( )
( ) ( )
) 2 ( ) 2 (
2
) 2 (
1
) 2 (
2 2
) 2 (
2 2
) 2 (
1
) 2 (
1
) 1 ( ) 1 (
2
) 1 (
1
) 1 (
2 2
) 1 (
2 2
) 1 (
1
) 1 (
1
4 4
) 4 (
4 4
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4 3 3
) 3 (
3 3
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3 2
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2 1
) 1 (
1
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 2 (
4 4
) 4 )( 2 (
4
) 2 (
4
) 4 )( 2 (
4
) 4 )( 2 (
3
) 4 )( 2 (
2
) 4 )( 2 (
1
) 3 )( 2 (
4
) 2 (
3 3
) 3 )( 2 (
3
) 2 (
3
) 3 )( 2 (
3
) 3 )( 2 (
2
) 3 )( 2 (
1
) 2 )( 2 (
4
) 2 )( 2 (
3
) 2 (
2
) 2 )( 2 (
2
) 2 )( 2 (
1
) 1 )( 2 (
4
) 1 )( 2 (
3
) 1 )( 2 (
2
) 2 (
1
) 1 )( 2 (
1
) 1 (
4 4
) 4 )( 1 (
4
) 1 (
4
) 4 )( 1 (
4
) 4 )( 1 (
3
) 4 )( 1 (
2
) 4 )( 1 (
1
) 3 )( 1 (
4
) 1 (
3 3
) 3 )( 1 (
3
) 1 (
3
) 3 )( 1 (
3
) 3 )( 1 (
2
) 3 )( 1 (
1
) 2 )( 1 (
4
) 2 )( 1 (
3
) 1 (
2
) 2 )( 1 (
2
) 2 )( 1 (
1
) 1 )( 1 (
4
) 1 )( 1 (
3
) 1 )( 1 (
2
) 1 (
1
) 1 )( 1 (
1
) 2 ( ) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 2 ( ) 4 )( 2 (
3
) 4 )( 2 (
1
) 2 ( ) 3 )( 2 (
3
) 3 )( 2 (
1
) 2 ( ) 2 )( 2 (
3
) 2 )( 2 (
1
) 2 ( ) 1 )( 2 (
3
) 1 )( 2 (
1
) 1 ( ) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 ( ) 4 )( 1 (
1
) 1 ( ) 3 )( 1 (
1
) 1 ( ) 2 )( 1 (
1
) 1 ( ) 1 )( 1 (
1
) 2 (
2 , 1 2 , 4 2 , 1 4 2
1 , 1 1 , 4 1 , 1 4 1
1 9 , 4 , 0
0 , 0 , 0 , 1 6 , , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
, , ,
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1
,
,
1
, , ,
: . . max
T y y
M y b M y b M y M y
T y y
M y b M y b M y M y
x c x
x c x
x x
z z z z
w c w
w c w
w w
w c w
w c w
w w
T w w w w
MT y MT y
MT y MT y
T w w w w
MT y MT y MT y MT y
a s z y S
= +
+ s + > + s + >
= +
+ s + > + s + >
> > >
> > > > > > >
> > > > > > > >
+ + + > + + + > + + + > + + + >
s s s
s s s + s s s s
s s s s s s s s
s s s
s s s + s s s s
s s s s s s s s
= + + +
+ + s + + s
+ + s + + s
= + + +
+ s + s + s + s

c c
c c
o o o
o o o o o o o
o o o o o o o o
o o o o o o o o o o o o o o o o
q q q
q q q q q q q
q q q q q q q q
q q q
q q q q q q q
q q q q q q q q
q q q q
q q q q
q q q q


( )
( ) ( ) ( ) ( ) ( )
{ }
{ } ( ) ( ) ( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1 ,..., 1 ,...., 1 , 1 , 0
, , , , , , , , 1 , 0 9 4 , 6 1 , ,
, , , , ,
4 4 , 2 2 , 0 4 , 0 2 ,
, 4
) (
) ( ) ( ) )( ( ) (
4 3
,
4 24 3 23 2 22 1 21 4 14 3 13
12 12 2 12 12 2 2 12 12 2 1 11
2 24 23 22 21 14 13 12 11
4 4 3 3
= = = = = = = = = = e
e e e s s s s e
= = = = = =
s + > + s s =
> + + + s + + +
m n p r M m k n q p j r i T
y w Z W R z y x c c H b A
x W x W x W x W x W x W
W A x W A x x W W x x W
b W W W W W W W W
i
i
k
i
j
mxn
kj
j i
q
j
q
n c c c c b A
c
q o

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(S
(2)
)= 96. (c
3
,c
4
,A
12
,b
2
) = (-1,4,2,3), x
(3)
= (1,0,1,1)
(ver resultados del archivo EJE#32S2.LPP)

PROBLEMA S
(3)

( )( ) ( )( ) ( )( ) ( ) ( )( ) ( )( ) ( )( ) ( )
( )( ) ( )( ) ( )( ) ( ) ( )( ) ( )( ) ( )( ) ( )
( )
( )
( )
( )
( )
( )
( ) 0 , 0 , 0 , 1 6 , , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
, , ,
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1
,
,
1
,
,
1
, , ,
: . . max
) 4 (
2
) 4 (
1
) 3 (
4 3 3
) 3 (
3 3
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3 2
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2 1
) 1 (
1
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 3 (
4 4
) 4 )( 3 (
4
) 3 (
4
) 4 )( 3 (
4
) 4 )( 3 (
3
) 4 )( 3 (
2
) 4 )( 3 (
1
) 3 )( 3 (
4
) 3 (
3 3
) 3 )( 3 (
3
) 3 (
3
) 3 )( 3 (
3
) 3 )( 3 (
2
) 3 )( 3 (
1
) 2 )( 3 (
4
) 2 )( 3 (
3
) 3 (
2
) 2 )( 3 (
2
) 2 )( 3 (
1
) 1 )( 3 (
4
) 1 )( 3 (
3
) 1 )( 3 (
2
) 3 (
1
) 1 )( 3 (
1
) 2 (
4 4
) 4 )( 2 (
4
) 2 (
4
) 4 )( 2 (
4
) 4 )( 2 (
3
) 4 )( 2 (
2
) 4 )( 2 (
1
) 3 )( 2 (
4
) 2 (
3 3
) 3 )( 2 (
3
) 2 (
3
) 3 )( 2 (
3
) 3 )( 2 (
2
) 3 )( 2 (
1
) 2 )( 2 (
4
) 2 )( 2 (
3
) 2 (
2
) 2 )( 2 (
2
) 2 )( 2 (
1
) 1 )( 2 (
4
) 1 )( 2 (
3
) 1 )( 2 (
2
) 2 (
1
) 1 )( 2 (
1
) 1 (
4 4
) 4 )( 1 (
4
) 1 (
4
) 4 )( 1 (
4
) 4 )( 1 (
3
) 4 )( 1 (
2
) 4 )( 1 (
1
) 3 )( 1 (
4
) 1 (
3 3
) 3 )( 1 (
3
) 1 (
3
) 3 )( 1 (
3
) 3 )( 1 (
2
) 3 )( 1 (
1
) 2 )( 1 (
4
) 2 )( 1 (
3
) 1 (
2
) 2 )( 1 (
2
) 2 )( 1 (
1
) 1 )( 1 (
4
) 1 )( 1 (
3
) 1 )( 1 (
2
) 1 (
1
) 1 )( 1 (
1
) 3 ( ) 3 (
4
) 3 (
3
) 3 (
2
) 3 (
1
3 4 3
4
4 3
3
4 3
1
3 3 3
4
3 3
3
3 3
1
3 2 3
4
2 3
3
2 3
1
3 1 3
4
1 3
3
1 3
1
) 2 ( ) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 2 ( ) 4 )( 2 (
3
) 4 )( 2 (
1
) 2 ( ) 3 )( 2 (
3
) 3 )( 2 (
1
) 2 ( ) 2 )( 2 (
3
) 2 )( 2 (
1
) 2 ( ) 1 )( 2 (
3
) 1 )( 2 (
1
) 1 ( ) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 ( ) 4 )( 1 (
1
) 1 ( ) 3 )( 1 (
1
) 1 ( ) 2 )( 1 (
1
) 1 ( ) 1 )( 1 (
1
) 3 (
> > > > > > >
> > > > > > > >
+ + + > + + + > + + + > + + + >
s s s
s s s + s s s s
s s s s s s s s
s s s
s s s + s s s s
s s s s s s s s
s s s
s s s + s s s s
s s s s s s s s
= + + +
+ + + s + + + s
+ + + s + + + s
= + + +
+ + s + + s
+ + s + + s
= + + +
+ s + s + s + s

o o o o o o o
o o o o o o o o
o o o o o o o o o o o o o o o o
q q q
q q q q q q q
q q q q q q q q
q q q
q q q q q q q
q q q q q q q q
q q q
q q q q q q q
q q q q q q q q
q q q q q q
q q q q q q
q q q q
q q q q
q q q q
x c x
x x
z z z z
w c w
w c w
w w
w c w
w c w
w w
w c w
w c w
w w
T w w w w
MT y MT y
MT y MT y
T w w w w
MT y MT y
MT y MT y
T w w w w
MT y MT y MT y MT y
a s z y S


( )
( ) ( )
( ) ( )
( ) ( )
( )
( ) ( ) ( ) ( ) ( )
{ }
{ } ( ) ( ) ( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1 ,..., 1 ,...., 1 , 1 , 0
, , , , , , , , 1 , 0 9 4 , 6 1 , ,
, , , , ,
4 4 , 2 2 , 0 4 , 0 2 ,
, 4
3 , 1 3 , 4 3 , 1 4 3
2 , 1 2 , 4 2 , 1 4 2
1 , 1 1 , 4 1 , 1 4 1
1 9 , 4 , 0
) (
) ( ) ( ) )( ( ) (
4 3
,
4 24 3 23 2 22 1 21 4 14 3 13
12 12 2 12 12 2 2 12 12 2 1 11
2 24 23 22 21 14 13 12 11
) 3 ( ) 3 (
2
) 3 (
1
) 3 (
2 2
) 3 (
2 2
) 3 (
1
) 3 (
1
) 2 ( ) 2 (
2
) 2 (
1
) 2 (
2 2
) 2 (
2 2
) 2 (
1
) 2 (
1
) 1 ( ) 1 (
2
) 1 (
1
) 1 (
2 2
) 1 (
2 2
) 1 (
1
) 1 (
1
4 4
) 4 (
4 4
) 4 (
4
) 4 (
3
4 4 3 3
= = = = = = = = = = e
e e e s s s s e
= = = = = =
s + > + s s =
> + + + s + + +
= +
+ s + > + s + >
= +
+ s + > + s + >
= +
+ s + > + s + >
> > >
m n p r M m k n q p j r i T
y w Z W R z y x c c H b A
x W x W x W x W x W x W
W A x W A x x W W x x W
b W W W W W W W W
T y y
M y b M y b M y M y
T y y
M y b M y b M y M y
T y y
M y b M y b M y M y
x c x
i
i
k
i
j
mxn
kj
j i
q
j
q
n c c c c b A
c
q o
c c
c c
c c
o o o

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(S
(3)
)= 0. (c
3
,c
4
,A
12
,b
2
) = (-1,4,2,1), x
(4)
= (0,0,1,0)
(ver resultados del archivo EJE#32S3.LPP)

PROBLEMA S
(1)
. Para el caso b
2
= 3.
Como ya se advirti en el primer pie de pgina, la nica
solucin factible en vrtice para este caso, es
x
(10)
=(1,1,1,0); el Problema S
(1)
resultara as:

( )
( )
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
, , ,
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1
,
,
: . . max
) 2 (
4
) 2 (
3 2
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2 1
) 1 (
1
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 (
4 4
) 4 )( 1 (
4
) 1 (
4
) 4 )( 1 (
4
) 4 )( 1 (
3
) 4 )( 1 (
2
) 4 )( 1 (
1
) 3 )( 1 (
4
) 1 (
3 3
) 3 )( 1 (
3
) 1 (
3
) 3 )( 1 (
3
) 3 )( 1 (
2
) 3 )( 1 (
1
) 2 )( 1 (
4
) 2 )( 1 (
3
) 1 (
2
) 2 )( 1 (
2
) 2 )( 1 (
1
) 1 )( 1 (
4
) 1 )( 1 (
3
) 1 )( 1 (
2
) 1 (
1
) 1 )( 1 (
1
) 1 ( ) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 ( ) 4 )( 1 (
3
) 4 )( 1 (
2
) 4 )( 1 (
1
) 1 ( ) 3 )( 1 (
3
) 3 )( 1 (
2
) 3 )( 1 (
1
) 1 ( ) 2 )( 1 (
3
) 2 )( 1 (
2
) 2 )( 1 (
1
) 1 ( ) 1 )( 1 (
3
) 1 )( 1 (
2
) 1 )( 1 (
1
) 1 (
> > > > > > > >
+ + + > + + + > + + + > + + + >
s s s
s s s + s s s s
s s s s s s s s
= + + +
+ + + s + + + s
+ + + s + + + s

o o o o o o o o
o o o o o o o o o o o o o o o o
q q q
q q q q q q q
q q q q q q q q
q q q q q q
q q q q q q
x x
z z z z
w c w
w c w
w w
T w w w w
MT y MT y
MT y MT y
a s z y S


( )
( )
( ) ( )
( )
( ) ( ) ( ) ( ) ( )
{ }
{ } ( ) ( ) ( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1 ,..., 1 ,...., 1 , 1 , 0
, , , , , , , , 1 , 0 9 4 , 6 1 , ,
, , , , , , 2 2 , 0 2 ,
, 4
3 , 1 3 , 4 2 , 1 4 2
1 9 , 4 , 0
0 , 0 , 0 , 1 6 , , 0 , 0
) (
) ( ) ( ) )( ( ) (
4 3
,
4 24 3 23 2 22 1 21 4 14 3 13 12 12 2 2 12 1 11
2 24 23 22 21 14 13 12 11
) 1 ( ) 1 (
2
) 1 (
1
) 1 (
2 2
) 1 (
2 2
) 1 (
1 12
) 1 (
1 12
4 4
) 4 (
4 4
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4 3 3
) 3 (
3 3
) 3 (
3
) 3 (
2
) 3 (
1
4 4 3 3
= = = = = = = = = = e
e e e s s s s e
= = = = = = = + = =
> + + + s + + +
= +
+ s + > + s + + > +
> > >
> > > > > > >
m n p r M m k n q p j r i T
y w Z W R z y x c c H b A
x W x W x W x W x W x W W A x x W x W
b W W W W W W W W
T y y
M y b M y b M y A M y A
x c x
x c x
i
i
k
i
j
mxn
kj
j i
q
j
q
n c c c c b A
c
q o
c c
o o o
o o o o o o o

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(S
(1)
)= -3
(3)
. (ver resultados del archivo EJE#32SE.LPP)

ALGORITMO 2.
PROBLEMA R. Se proceder primero a seleccionar los valores
conocidos de los parmetros c
i
: c
3
=3 y c
4
=7.

{ } ( )
( )
( ) ( )
( )
( )
( ) ( )
( )
{ }
( )
( ) ( )
( )
( )
( ) ( )
10 1 ,
4 3 2 1
4 1
) (
10 1 ,
4 3 2 1
4 1
) (
... ,
7 , 3 , 5 , 3 max
, , : . . min
... ,
, , : . . 7 , 3 , 5 , 3 max min
x W x W H b A
x x x x z
b A X x a s z R
x W x W H b A
b A X x a s x x x x R
b A
j
r
b A
j
r
e
=
e
e
e
s s
s s

( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
4 24 4 4 24 4 3 23 3 3 23 3
2 22 2 2 22 2 1 21 1 1 21 1
4 14 4 4 14 4 3 13 3 3 13 3
2 12 12 2 2 12 2 1 11 1 1 11 1
2 24 23 22 21 14 13 12 11
) (
1 1 1 , , 1 1 1 ,
1 1 1 , , 1 1 1 ,
1 1 1 , , 1 1 1 ,
1 4 1 2 , 4 2 , 1 1 1 ,
, 4
. . min
x W x x W x x W x x W x
x W x x W x x W x x W x
x W x x W x x W x x W x
x W A x x W x x W x x W x
b W W W W W W W W
a s z R
r
s s s s s s s s
s s s s s s s s
s s s s s s s s
s s s s s s s s
> + + + s + + +

__________________________
(3): El resultado rompe con el segundo principio v(S
( r

)
) 0 del LEMA expuesto en las
lmina de la clase de AMPE02 (Quintero, 02-11-12, p. 18). INFACTIBILIDAD?.


( )
( )
( )
( )
{ } { } ( ) ( )
( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1
,..., 1 ,...., 1 , 1 , 0 , 1 , 0 , , , ,
1
, 1
4 , 1 4
7 , 3 , 5 , 3
) ( ,
) (
2
) (
1
) (
2 2 4 3 2 1
) (
2 2 4 3 2 1
) (
1 4 3 2 12 1
) (
1 4 3 2 12 1
4 3 2 1
= = = = = = = =
= = e e e e e
= +
+ s + >
+ s + + + + > + + +
> > > >
m n p r M n k m q
p j r i y x R z Z W H b A
y y
M y b x x x x M y b x x x x
M y x x x A x M y x x x A x
x z x z x z x z
i
q
n mxn
qk
b A
i i
i i
i i
c
c
c


Se iniciar el desarrollo del algoritmo con el problema P
(problema relajado), pero con los valores seleccionados para
los parmetros c
i
(solucin inicial
(1)
factible) advertido
en la formulacin del problema R.

PROBLEMA P

( ) ( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
{ } ( ) ( ) { }
( ) ( ) { }
( ) ( ) { }
( ) ( ) ( ) ( ) { }
( ) ( ) ( ) ( ) 0 , 1 , 1 , 1 , 0 , 1 , 0 , 1 , 0 , 0 , 0 , 1 , 0 , 1 , 0 , 0
3 1 , 2 , 7 , 3 , min min 1 , 2 , 7 , 3
3 0 , 3 , 5 , 3 max 1 , 2 , 7 , 3 , , 0 , 1 , 1 , 1
5 0 , 0 , 5 , 3 max 1 , 2 , 7 , 3 , , 0 , 0 , 1 , 1
3 0 , 3 , 0 , 3 max 1 , 2 , 7 , 3 , , 0 , 1 , 0 , 1 1 , 0
7 7 , 0 , 0 , 3 max 1 , 2 , 7 , 3 , , 1 , 0 , 0 , 1 1
3 0 , 0 , 0 , 3 max 1 , 2 , 7 , 3 , , 0 , 0 , 0 , 1 4 3 2
5 0 , 3 , 5 , 0 max 1 , 2 , 7 , 3 , , 0 , 1 , 1 , 0 7
5 0 , 0 , 5 , 0 max 1 , 2 , 7 , 3 , , 0 , 0 , 1 , 0 3
7 7 , 3 , 0 , 0 max 1 , 2 , 7 , 3 , , 1 , 1 , 0 , 0 5
3 0 , 3 , 0 , 0 max 1 , 2 , 7 , 3 , , 0 , 1 , 0 , 0 3 . .
7 7 , 0 , 0 , 0 max 1 , 2 , 7 , 3 , , 1 , 0 , 0 , 0 min 1 , 2 , 7 , 3
) 10 ( ) 8 ( ) 6 ( ) 2 (
10 1
) (
) 10 ( ) 10 (
) 9 ( ) 9 (
) 8 ( ) 8 ( 4
) 7 ( ) 7 (
4 3 2 1
) 6 ( ) 6 (
4 3 2 1
) 5 ( ) 5 (
4
) 4 ( ) 4 (
3
) 3 ( ) 3 (
2
) 2 ( ) 2 (
1
) 1 ( ) 1 (
= = = =
= = =
= = = =
= = = =
= = = = e
= = = = > + + +
= = = = s + + +
= = = = >
= = = = >
= = = = >
= = = = >
= = = =
s s
x x x x
x z P v
x z x
x z x
x z x x
x z x x x x x
x z x x x x x
x z x x z
x z x x z
x z x x z
x z x x z a s
x z x z P
i
i
i
|
|
|
|
|
|
|
|
|
|
|
(ver resultados del archivo EJE#32_P.LPP)

PROBLEMA R
(1)

Dado que el problema P arroj el resultado factible y
relajado mostrado para la solucin inicial
(1)
seleccionada
(c
3
=3 y c
4
=7; x
(10)
=(1,1,1,0)), un problema R
(1)
se expresa as

( ) ( )
( )
( )
{ } { } ( ) ( )
( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1
,..., 1 ,...., 1 , 1 , 0 , 1 , 0 , , , ,
1
3 , 1 3 , 4 2 , 1 4 2
7 , 3 , 5 , 3
, , , , ,
4 4 , 2 2 , 0 4 , 0 2 ,
, 4
. . min
) ( ,
) 1 (
2
) 1 (
1
) 1 (
2 2
) 1 (
2 2
) 1 (
1 12
) 1 (
1 12
4 3 2 1
4 24 3 23 2 22 1 21 4 14 3 13
12 12 2 12 12 2 2 12 12 2 1 11
2 24 23 22 21 14 13 12 11
) 1 (
= = = = = = = =
= = e e e e e
= +
+ s + > + s + + > +
> > > >
= = = = = =
s + > + s s =
> + + + s + + +
m n p r M n k m q
p j r i y x R z Z W H b A
y y
M y b M y b M y A M y A
x z x z x z x z
x W x W x W x W x W x W
W A x W A x x W W x x W
b W W W W W W W W
a s z R
i
q
n mxn
qk
b A
c
c c

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(R
(1)
)= 3. (c
3
,c
4
,A
12
,b
2
) = (3,7,5/2,1), x
(6)
= (1,0,0,0)
(4)
(ver resultados del archivo EJE#32R1.LPP)

PROBLEMA R
(1)
. Para el caso x
(8)
= (1,0,1,0)
(5)

( ) ( )
( )
( )
{ } { } ( ) ( )
( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1
,..., 1 ,...., 1 , 1 , 0 , 1 , 0 , , , ,
1
2 , 1 2 , 4 2 , 1 4 2
7 , 3 , 5 , 3
, , , , ,
4 4 , 2 2 , 0 4 , 0 2 ,
, 4
. . min
) ( ,
) 1 (
2
) 1 (
1
) 1 (
2 2
) 1 (
2 2
) 1 (
1
) 1 (
1
4 3 2 1
4 24 3 23 2 22 1 21 4 14 3 13
12 12 2 12 12 2 2 12 12 2 1 11
2 24 23 22 21 14 13 12 11
) 1 (
= = = = = = = =
= = e e e e e
= +
+ s + > + s + >
> > > >
= = = = = =
s + > + s s =
> + + + s + + +
m n p r M n k m q
p j r i y x R z Z W H b A
y y
M y b M y b M y M y
x z x z x z x z
x W x W x W x W x W x W
W A x W A x x W W x x W
b W W W W W W W W
a s z R
i
q
n mxn
qk
b A
c
c c

__________________________
(4): Este resultado arrojar la misma solucin del problema S
( r )
en el primer algoritmo, es
decir: v(S
(3)
)= 0 FIN. (c3,c4,A12,b2) = (-1,4,2,1)
(3)
, x
(4)
= (0,0,1,0). Obviamente, el
resultado de los parmetros ci | i = 3 y 4 son distintos en contraste con los parmetros de
arranque del problema R
(1)
, puesto que el problema S
( r )
tiene sus propias condiciones (ningn
parmetro conocido). Para el caso b2 = 3, ya es conocida la infactibilidad (ver algoritmo 1,
problema S
(1)
para el caso mencionado).
(5): Se pone a prueba el caso mencionado, dado que el problema P arroj el mismo resultado
( ) ( ) ( ) ( ) { } 3 1 , 2 , 7 , 3 , min min 1 , 2 , 7 , 3
10 1
) (
= = =
s si
i
x z P v |
para este valor de prueba.

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(R
(1)
)= 5. (c
3
,c
4
,A
12
,b
2
) = (3,7,2,3), x
(10)
= (1,1,1,0)
(6)
(ver resultados del archivo EJE#32R2.LPP)

ALGORITMO 3.
PROBLEMA Q.
( )
( )
{ }
{ } ( )
( )
( )
( )
( )
( )
( )
{ }
{ } ( )
{ } R z y x c x c x x z
b A X x x c x c x x c b A g y
b A X x H c a s z y Q
b A X x x c x c x x c b A g
j
i
j
i
r
c r
i
j
i
r
e =
)
`

e = =
e e
)
`

e =
s s
s s
e
s s
e
, , , , 5 , 3 max
, : , , 5 , 3 max min , ,
, , . . max
, : , , 5 , 3 max min , ,
4 4 3 3 2 1
4 1
) (
4 4 3 3 2 1
4 1
10 ,..., 1
) (
4 4 3 3 2 1
4 1
10 ,..., 1


Se procede a la seleccin de los parmetros para el tipo de
problema: A
12
= 3 y b
2
= 2.
(7)

( )
{ } { }
( ) ( ) ( ) 4 , 4 , 10 , ..., , 1 ..., , 1 ..., , 1
1 , 0 , , , 1 , 0 ,
5 3
1
5 3
2
4 3
: . . max
) (
4 4 3 3 2 1
) (
4
) (
3
) (
2
) (
1
) (
4 4 4
) (
3 3 3
) (
2 2
) (
1 1
4 3 2 1
4 3 2 1
) (
= = = = = =
e e e e
+ + + >
= + + +
+ + + s
> + + +
s + + +

n p r n k p j r i
w R z y x H c
x c x c x x z
w w w w
w x c w x c w x w x y
x x x x
x x x x
a s z y Q
i
j
p
k
c
i i i i
i i i i
r


__________________________
(6): El resultado del problema S
(1)
, para la solucin arrojada en la resolucin de este caso
del problema R
(1)
(x
(10)
= (1,1,1,0)) es conocido (INFACTIBLE, ver ms arriba Algoritmo 1,
Problema S
(1)
, caso b2 = 3).
(7): Se podran mantener los valores de los parmetros que relajan el problema P, sin
embargo se espera con la fijacin de estos nuevos valores, interesantes resultados.

( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( )
( ) ( )
( )
( ) ( )
( )
( ) ( )
( )
( )
{ }
( )
{ }
( ) ( ) ( ) 4 , 4 , 10 , ..., , 1 ..., , 1 ..., , 1
1 , 0 , , , , 1 , 0 ,
1 9 , 4
1 6 ,
1 5 5 , 5
1 3 3 , 3
1
5 3
2
4 3
: . . max
) (
4 4
4
4 4
4
4
3 3
3
3 3
3
3
2
2
2 2
2
2
1
1
1 1
1
1
4
4
3
3
2
2
1
1
) (
4
) (
3
) (
2
) (
1
) (
4 4 4
) (
3 3 3
) (
2 2
) (
1 1
4 3 2 1
4 3 2 1
) (
= = = = = =
e e e e
> >
> >
> >
> >
+ + + >
= + + +
+ + + s
> + + +
s + + +

n p r n k p j r i
w R Y z y x H c
x c Y x Y
x c Y x Y
x Y x Y
x Y x Y
Y Y Y Y z
w w w w
w x c w x c w x w x y
x x x x
x x x x
a s z y Q
i
j
j
k
p
k
c
i i i i
i i i i i i i i
r


( )( ) ( ) ( )( ) ( ) ( )( ) ( ) ( )( ) ( )
( )( ) ( ) ( )( ) ( )
( )
( )( ) ( ) ( )( ) ( )
( )
( )( ) ( ) ( )( ) ( )
( )
( )( ) ( ) ( )( ) ( )
( )
( ) ( ) ( ) ( )
( ) ( )
( )
( ) ( )
( )
( ) ( )
( )
( ) ( )
( )
( )
{ }
( )( ) ( )
{ }
( ) ( ) ( ) 4 , 4 , 10 , ..., , 1 ..., , 1 ..., , 1
1 , 0 , , , , 1 , 0 ,
1 9 , 4
1 6 ,
1 5 5 , 5
1 3 3 , 3
1 4 , 9 , 1 , 6
1 5 5 , 5 , 1 3 3 , 3
1
2
4 3
: . . max
) (
4 4
4
4 4
4
4
3 3
3
3 3
3
3
2
2
2 2
2
2
1
1
1 1
1
1
4
4
3
3
2
2
1
1
4 4
4
4 4
4
4 3 3
3
3 3
3
3
2
2
2 2
2
2 1
1
1 1
1
1
) (
4
) (
3
) (
2
) (
1
4
4
4 3
3
3 2
2
2 1
1
1
4 3 2 1
4 3 2 1
) (
= = = = = =
e e e e
> >
> >
> >
> >
+ + + >
s s + s s
s s s s
= + + +
+ + + s
> + + +
s + + +

n p r n k p j r i
w R Y z y x H c
x c Y x Y
x c Y x Y
x Y x Y
x Y x Y
Y Y Y Y z
w c w w c w
w w w w
w w w w
x x x x y
x x x x
x x x x
a s z y Q
i
j
j
k
i j
k
p
k
c
i i i i i i i i
i i i i i i i i
i i i i
i i i i i i i i
r
o
o o o o
o o o o
o o o o
(8)

__________________________
(8): Dado que se fijaron nuevos valores para los parmetros objeto de este nuevo algoritmo
(A12 = 3 y b2 = 2), solo se podr emplear uno (1) de los cuatro (4) resultados del problema P
del algoritmo anterior (x
(8)
= (1,0,1,0)), como solucin factible de arranque para la
resolucin del problema Q
(1)
.

PROBLEMA Q
(1)

( )( ) ( )( )
( )( ) ( ) ( )( ) ( )
( )( ) ( ) ( )( ) ( )
( )
( )( ) ( ) ( )( ) ( )
( )
( ) ( ) ( ) ( )
( ) ( )
( ) ( )
( )
( ) ( )
( )
( )
{ }
( )( ) ( )
{ }
( ) ( ) ( ) 4 , 4 , 10 , ..., , 1 ..., , 1 ..., , 1
1 , 0 , , , , , 1 , 0 ,
1 9 , 4
1 6 ,
5 , 3
1 4 , 9
1 , 6
5 , 3
1
2
4 3
: . . max
) (
4 4
4
4 4
4
4
3 3
3
3 3
3
3
2
2
2 1
1
1
4
4
3
3
2
2
1
1
1
4 4
1 4
4
1
4
1 4
4
1
3 3
1 3
3
1
3
1 3
3
1
2
1 2
2
1
1
1 1
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
1 3
3
1 1
1
4 3 2 1
4 3 2 1
) 1 (
= = = = = =
e e e e
> >
> >
> >
+ + + >
s s
+ s s
s s
= + + +
+ s
> + + +
s + + +

n p r n k p j r i
w R Y z y x H c
x c Y x Y
x c Y x Y
x Y x Y
Y Y Y Y z
w c w
w c w
w w
w w w w
y
x x x x
x x x x
a s z y Q
i
j
j
k
i j
k
p
k
c
o
o o
o o
o o
o o

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(Q
(1)
)= 1. (c
3
,c
4
,A
12
,b
2
) = (-1,4,3,2), x
(2)
= (1,0,1,0)

(ver resultados del archivo EJE#32Q1.LPP)

PROBLEMA S
(1)
( )
( )
( ) 0 , 0 , 0 , 1 6 , , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
, , ,
1 4 , 9 , 0
, 0 , 0 , 0 , 1 , 6 , 0 , 0
0 , 0 , 5 , 0 , 0 , 0 , 0 , 3
1
,
,
: . . max
) 4 (
2
) 4 (
1
) 3 (
4 3 3
) 3 (
3 3
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3 2
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2 1
) 1 (
1
) 4 (
4
) 4 (
3
) 4 (
2
) 4 (
1
) 3 (
4
) 3 (
3
) 3 (
2
) 3 (
1
) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 (
4 4
) 4 )( 1 (
4
) 1 (
4
) 4 )( 1 (
4
) 4 )( 1 (
3
) 4 )( 1 (
2
) 4 )( 1 (
1
) 3 )( 1 (
4
) 1 (
3 3
) 3 )( 1 (
3
) 1 (
3
) 3 )( 1 (
3
) 3 )( 1 (
2
) 3 )( 1 (
1
) 2 )( 1 (
4
) 2 )( 1 (
3
) 1 (
2
) 2 )( 1 (
2
) 2 )( 1 (
1
) 1 )( 1 (
4
) 1 )( 1 (
3
) 1 )( 1 (
2
) 1 (
1
) 1 )( 1 (
1
) 1 ( ) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
) 1 ( ) 4 )( 1 (
3
) 4 )( 1 (
1
) 1 ( ) 3 )( 1 (
3
) 3 )( 1 (
1
) 1 ( ) 2 )( 1 (
3
) 2 )( 1 (
1
) 1 ( ) 1 )( 1 (
3
) 1 )( 1 (
1
) 1 (
> > > > > > >
> > > > > > > >
+ + + > + + + > + + + > + + + >
s s s
s s s + s s s s
s s s s s s s s
= + + +
+ + s + + s
+ + s + + s

o o o o o o o
o o o o o o o o
o o o o o o o o o o o o o o o o
q q q
q q q q q q q
q q q q q q q q
q q q q
q q q q
x c x
x x
z z z z
w c w
w c w
w w
T w w w w
MT y MT y
MT y MT y
a s z y S


( )
( ) ( )
( )
( ) ( ) ( ) ( ) ( )
{ }
{ } ( ) ( ) ( ) ( ) 2 , 4 , 4 , 10 , 5 , 0 , 100 , ,..., 1 ,..., 1 ,..., 1 ,...., 1 , 1 , 0
, , , , , , , , 1 , 0 9 4 , 6 1 , ,
, , , , ,
4 4 , 2 2 , 0 4 , 0 2 ,
, 4
2 , 1 2 , 4 2 , 1 4 2
1 9 , 4 , 0
) (
) ( ) ( ) )( ( ) (
4 3
,
4 24 3 23 2 22 1 21 4 14 3 13
12 12 2 12 12 2 2 12 12 2 1 11
2 24 23 22 21 14 13 12 11
) 1 ( ) 1 (
2
) 1 (
1
) 1 (
2 2
) 1 (
2 2
) 1 (
1
) 1 (
1
4 4
) 4 (
4 4
) 4 (
4
) 4 (
3
4 4 3 3
= = = = = = = = = = e
e e e s s s s e
= = = = = =
s + > + s s =
> + + + s + + +
= +
+ s + > + s + >
> > >
m n p r M m k n q p j r i T
y w Z W R z y x c c H b A
x W x W x W x W x W x W
W A x W A x x W W x x W
b W W W W W W W W
T y y
M y b M y b M y M y
x c x
i
i
k
i
j
mxn
kj
j i
q
j
q
n c c c c b A
c
q o
c c
o o o

Que al resolver (empleando el paquete WinQSB) se obtiene:
v(S
(1)
)= 96. (c
3
,c
4
,A
12
,b
2
) = (-1,4,2,3), x
(3)
= (1,0,1,1)

(ver resultados del archivo EJE#32SU.LPP)

PROBLEMA Q
(2)

( )( ) ( )( )
( )( ) ( )( ) ( )( )
( )( ) ( ) ( )( ) ( )
( )( ) ( ) ( )( ) ( )
( )
( )( ) ( ) ( )( ) ( )
( )
( )( ) ( ) ( )( ) ( )
( )( ) ( ) ( )( ) ( )
( )
( )( ) ( ) ( )( ) ( )
( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( )
( ) ( )
( )
( )
{ }
( )( ) ( )
{ }
( ) ( ) ( ) 4 , 4 , 10 , ..., , 1 ..., , 1 ..., , 1
1 , 0 , , , , , 1 , 0 ,
1 9 , 4 , 1 6 , , 5 , 3
1 4 , 9
1 , 6
5 , 3
1 4 , 9
1 , 6
5 , 3
1
1
2
4 3
: . . max
) (
4 4
4
4 4
4
4 3 3
3
3 3
3
3 2
2
2 1
1
1
4
4
3
3
2
2
1
1
2
4 4
2 4
4
2
4
2 4
4
2
3 3
2 3
3
2
3
2 3
3
2
2
2 2
2
2
1
2 1
1
1
4 4
1 4
4
1
4
1 4
4
1
3 3
1 3
3
1
3
1 3
3
1
2
1 2
2
1
1
1 1
1
) 2 (
4
) 2 (
3
) 2 (
2
) 2 (
1
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
1
2 4
4
2 3
3
2 1
1
1 3
3
1 1
1
4 3 2 1
4 3 2 1
) 2 (
= = = = = =
e e e e
> > > > > >
+ + + >
s s
+ s s
s s
s s
+ s s
s s
= + + +
= + + +
+ + s
+ s
> + + +
s + + +

n p r n k p j r i
w R Y z y x H c
x c Y x Y x c Y x Y x Y x Y
Y Y Y Y z
w c w
w c w
w w
w c w
w c w
w w
w w w w
w w w w
y
y
x x x x
x x x x
a s z y Q
i
j
j
k
i j
k
p
k
c
o
o o
o o
o o
o o
o o
o o
o o o
o o



Que al resolver (empleando el paquete WinQSB) se obtiene:
v(Q
(2)
)= 1. (c
3
,c
4
,A
12
,b
2
) = (-1,4,3,2), x
(2)
= (1,0,1,0)
(9)
(ver resultados del archivo EJE#32Q2.LPP)























__________________________
(9): Mismo resultado que la resolucin de Q
(1)
. Iteracin Infinita?.

LISTA DE REFERENCIAS BIBLIOGRFICAS
1. MOKHTAR S., Bazaraa, HANIF D., Sherali & C. M. Shetty
(2006). NONLINEAR PROGRAMMING. Theory and Algorithms
[Programacin No Lineal. Teora y Algoritmos], New
Jersey, NJ, EE.UU.: John Wiley & Sons, Third Edition.
2. QUINTERO, Jos Luis (2008). DISEO E IMPLANTACIN DE
ALGORITMOS PARA EL PROBLEMA MULTIPARAMTRICO
GENERALIZADO DE PROGRAMACIN LINEAL ENTERA 0-1 RELATIVO
A LA FUNCIN OBJETIVO. Tesis Doctoral no publicada, UCV,
Caracas - Venezuela.
3. QUINTERO, Jos Luis (2012). FUNDAMENTOS DE ANLISIS
MULTIPARAMTRICO EN PROGRAMACIN ENTERA. Presentacin
pdf para la clase #1 del 19 de Octubre de la materia
Anlisis Multiparamtrico en Programacin Entera,
presentacin no publicada, UCV, Caracas - Venezuela.
4. QUINTERO, Jos Luis (2012). PROBLEMA MULTIPARAMTRICO
GENERALIZADO DE PROGRAMACIN LINEAL ENTERA 0-1 RELATIVO
A LA FUNCIN OBJETIVO. Presentacin pdf para la clase #2
del 02 de Noviembre de la materia Anlisis
Multiparamtrico en Programacin Entera, presentacin no
publicada, UCV, Caracas - Venezuela.
5. QUINTERO, Jos Luis (2013). DISEO E IMPLEMENTACIN DE
ALGORITMOS PARA EL PROBLEMA MULTIPARAMTRICO DE
PROGRAMACIN LINEAL ENTERA 0-1. Presentacin pdf para el
seminario de tesis de la clase #1 del 10 de Octubre de
la materia Anlisis Multiparamtrico en Programacin
Entera 0-1, presentacin no publicada, UCV, Caracas -
Venezuela.
6. QUINTERO, Jos Luis (2013). DISEO E IMPLEMENTACIN DE
ALGORITMOS PARA EL PROBLEMA MULTIPARAMTRICO DE
PROGRAMACIN LINEAL ENTERA 0-1. Presentacin pdf para el
seminario de tesis de la clase #3 del 07 de Noviembre de
la materia Anlisis Multiparamtrico en Programacin
Entera 0-1, presentacin no publicada, UCV, Caracas -
Venezuela.
7. QUINTERO, Jos Luis (2013). DISEO E IMPLEMENTACIN DE
ALGORITMOS PARA EL PROBLEMA MULTIPARAMTRICO DE
PROGRAMACIN LINEAL ENTERA 0-1. Presentacin pdf de la
clase #4 para el seminario de tesis del 21 de Noviembre
de la materia Anlisis Multiparamtrico en Programacin
Entera 0-1, presentacin no publicada, UCV, Caracas -
Venezuela.

You might also like