Вы находитесь на странице: 1из 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.

Вам также может понравиться