Documente Academic
Documente Profesional
Documente Cultură
k
(f
n
)
ik
> (f
b
)
i
Nueva restriccin a aadir al problema
La cumplen todas las soluciones enteras
No la cumple la ltima solucin
Resolucin eficiente: mtodo dual del Simplex
31
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Ejemplo de planos de corte
Problema entero anterior. Solucin:
x
1
= 9/2 , x
2
= 25/4
16/2508 -34/2508
N = 19/2508 38/2508
38/2508 76/2508
Nueva restriccin
16/2508 s
1
+ 2474/2508 s
2
> 1/2
16 s
1
+ 2474 s
2
- 2508 s
4
> 1254 , s
4
> 0
32
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Ejemplo
33
Corte 1 , x1
Corte 1 - x2 Corte 2 , x2
min -x
1
- x
2
s.a 4x
1
- 2x
2
- s
1
= 3
4x
1
+ 2x
2
+ s
2
= 9
x , s > 0
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Limitaciones del procedimiento
La ecuacin que define el corte es vlida si
todas las variables son enteras
Los datos del problema (A, b, c ) han de ser
enteros
Las variables de holgura han de introducirse
sobre restricciones con coeficientes enteros
34
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Convergencia
Al resolver un problema relajado
Problema no factible
el problema entero no es factible
Problema no acotado
el problema entero no est acotado (slo para el primer
problema)
Problema ptimo con solucin entera
es la solucin del problema entero
Problema ptimo con solucin no entera
introducir cortes
35
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Convergencia finita
Si se siguen las reglas:
Se introducen cortes tambin sobre la funcin
objetivo
Se selecciona la primera de las variables bsicas
que toman valores no enteros
La funcin objetivo se toma como la primera
variable
36
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Cortes sobre la funcin objetivo
Se introduce una nueva restriccin
x
0
-
i
c
i
x
i
= 0
Variable x
0
siempre bsica. Corte:
1 -c
T
0 1 -c
b
T
A = , b = , B =
0 A b 0 B
1 0 -c
n
T
+ c
b
T
B
-1
N c
b
T
B
-1
b
B
-1
A = , B
-1
b =
0 I B
-1
N B
-1
b
37
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Cortes sobre la funcin objetivo
De los resultados anteriores, el corte
k
(f
-o
)
k
x
k
> f
z
se obtiene de las partes fraccionales de
-c
n
T
+ c
b
T
B
-1
N = -o
n
, c
b
T
B
-1
b = z
Valores de los multiplicadores, cambiados de signo
38
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Problemas enteros mixtos
Si algunas variables no son enteras,
keI
f
ik
x
k
+ f
i 0
/(1-f
i 0
)
keJ
(1-f
ik
)x
k
+
keK
n
ik
x
k
- f
i 0
/(1-f
i 0
)
keL
n
ik
x
k
> f
i 0
I = {i eE : f
ik
< f
i 0
}, J = {i eE : f
ik
> f
i 0
},
K = {i eE : n
k
> 0 }, L = {i eE : n
k
s 0 }
No es posible introducir cortes sobre la
funcin objetivo (convergencia)
39
Universidad Carlos III de Madrid Ingeniera Informtica
Investigacin Operativa - Curso 2003/2004
Programacin entera
Mtodo Simplex dual
M M t to od do o s si im mp pl le ex x M M t to od do o s si im mp pl le ex x d du ua al l
V V r rt ti ic ce e i in ni ic ci ia al l F Fa ac ct ti ib bl le e ( (x x > > 0 0) )
N No o p pt ti im mo o ( (o o
i i
< < 0 0) )
O Op pt ti im mo o ( (o o > > 0 0) )
N No o f fa ac ct ti ib bl le e ( (x x
i i
< < 0 0) )
D Di ir re ec cc ci i n n d de e
m mo ov vi im mi ie en nt to o
p p
n n
= = e e
i i
B B p p
b b
= = - - N N e e
i i
A Ao o
b b
= = e e
i i
, , B B
T T
A A = = - -A Ao o
b b
A Ao o
n n
= = - -N N
T T
A A
L Lo on ng gi it tu ud d d de e
p pa as so o
x x
b b
+ + o o p p
b b
> > 0 0 o o
n n
+ + o o A Ao o
n n
> > 0 0
C Co om mp pr ro ob ba ac ci i n n
m mu ul lt ti ip pl li ic ca ad do or re es s
o o
n n
= = c c
n n
N N
T T
B B
- -T T
c c
b b
> > 0 0 x x
b b
= = B B
1 1
b b > > 0 0
40