Você está na página 1de 37

MOQ 43

PESQUISA
OPERACIONAL

Professor: Rodrigo A. Scarpel


rodrigo@ita.br
www.mec.ita.br/~rodrigo

Programa do curso:
Semana

Contedo

Apresentao da disciplina. Formulao em programao matemtica (PM).

Introduo Programao Linear. (PL) Resoluo de problemas de PL pelo Mtodo Grfico. Introduo ao
mtodo simplex para resoluo de PPL .

Resoluo de problemas de PL pelo Mtodo Simplex. A matemtica do mtodo simplex.

Prova

Problemas com solues iniciais (Mtodo das 2 fases e o Big-M). Degenerao, ciclagem e convergncia do
mtodo simplex.

Anlise de Sensibilidade. Resoluo computacional de problemas de programao matemtica.

O problema dual. Formulao e Interpretao econmica do problema dual. Teoremas da dualidade. Algoritmos
simplex adicionais. Anlise ps-otimizao.

Prova.

O Problema do Transporte.

10

O problema do Transbordo. O problema da Designao.

11

Programao Linear Inteira: Formulao, Mtodo de Branch and Bound. Problemas de otimizao combinatria.

12

Prova

13

Otimizao em Redes. O problema do caixeiro viajante e do carteiro chins. Os problemas do caminho mnimo e
do fluxo mximo.

14

Princpios de programao multiobjetivo. Introduo programao no-linear.

15

Mtodos no exatos para resoluo de problemas de PM. Princpios de otimizao global.

16

Prova.

MOQ 43
O PROBLEMA DUAL

Professor: Rodrigo A. Scarpel


rodrigo@ita.br
www.mec.ita.br/~rodrigo

Problemas Primal e Dual:


Para cada problema de programao linear que
resolvemos, existe um outro problema associado que
tambm resolvido simultneamente.
Este problema satisfaz algumas propriedades importantes

que podem ser usadas para resolver o problema original.


Denominaremos o problema original de PRIMAL e o novo
problema de DUAL.

Problemas Primal e Dual:


DUAL

PRIMAL

Max (z) ci xi

Min (v) b j y j

S.A. :

S.A. :

j 1

i 1

a x
i 1

ij i

bj ,

j 1,..., m

a
j 1

ij

y j ci , i 1,..., n

yj 0

xi 0
Max Z = 4,0*xmad + 6,0*xalu

Min V = 24*ycorte + 21*ymont + 8*yacab

S.A. 1,5*xmad + 4,0*xalu 24

S.A. 1,5*ycorte + 3*ymont + 1*yacab 4

3,0*xmad + 1,5*xalu 21
1,0*xmad + 1,0*xalu 8

4*ycorte + 1,5*ymont + 1*yacab 6


ycorte, ymont, yacab 0

xmad, xalu 0

Problemas Primal e Dual:

Primal
Maximizar
Funo objetivo
I-sima linha de coeficientes
J-sima coluna de coeficientes
I-sima relao
I-sima relao de =
I-sima varivel no negativa
I-sima varivel irrestrita

Dual
Minimizar
Termo independente (RHS)
I-sima coluna de coeficientes
J-sima linha de coeficientes
I-sima varivel no negativa
I-sima varivel irrestrita
Restrio
Restrio de =

Propriedades do problema Dual:

SIMETRIA: O dual do problema dual o problema primal.


PRIMAL

Min (v) b j y j
j 1

a
j 1

ij

Max (z) ci xi
i 1

S.A. :
m

DUAL

S.A. :

y j ci , i 1,..., n

a
i 1

yj 0

x bj ,

ij i

j 1,..., m

xi 0

Min z = 24*ycorte + 21*ymont + 8*yacab

Max v = 4,0*xmad + 6,0*xalu

S.A. 1,5*ycorte + 3*ymont + 1*yacab 4


4*ycorte + 1,5*ymont + 1*yacab 6

S.A. 1,5*xmad + 4,0*xalu 24


3,0*xmad + 1,5*xalu 21

ycorte, ymont, yacab 0

1,0*xmad + 1,0*xalu 8
xmad, xalu 0

Propriedades do problema Dual:

TEOREMA FRACO DA DUALIDADE


Se x e y so solues viveis dos problemas maximizao
(primal) e minimizao (dual), respectivamente, ento:
cT x bT y

Implicaes prticas: o valor da funo objetivo de


qualquer soluo vivel de um problema dual de
minimizao (maximizao) fornece um limitante superior
(inferior) para o valor timo do problema primal de
maximizao (minimizao).

Propriedades do problema Dual:


Max Z = 4,0*xmad + 6,0*xalu
S.A. 1,5*xmad + 4,0*xalu 24
3,0*xmad + 1,5*xalu 21
1,0*xmad + 1,0*xalu 8
xmad, xalu 0

Z
1
x3
x4
x5
1
x2
x4
x5
1
x2
x4
x1

x1
-4
1,5
3
1
-7/4
3/8
39/16
5/8
0
0
0
1

x2
-6
4
1,5
1
0
1
0
0
0
1
0
0

x3
0
1
0
0
3/2
1/4
-3/8
-1/4
4/5
2/5
3/5
-2/5

x4
0
0
1
0
0
0
1
0
0
0
1
0

x5
0
0
0
1
0
0
0
1
14/5
-3/5
-39/10
8/5

Min z = 24*ycorte + 21*ymont + 8*yacab

Exemplo de soluo vivel:

S.A. 1,5*ycorte + 3*ymont + 1*yacab 4

ycorte = ymont =0 e yacab = 6

4*ycorte + 1,5*ymont + 1*yacab 6


ycorte, ymont, yacab 0

RHS
0
24
21
8
36
6
12
2
208/5
24/5
21/5
16/5

z = 24*ycorte + 21*ymont + 8*yacab = 48

Propriedades do problema Dual:

TEOREMA FORTE (FUNDAMENTAL) DA DUALIDADE


Se o problema primal (dual) tem uma soluo tima finita, ento o
dual (primal) tambm tem uma soluo finita e tima e o valor da
funo objetivo de ambos problemas igual. Assim, uma das
seguintes situaes verdadeira:
i) Ambos os problemas tm soluo tima x* ey* com z* = v*;
ii) Um problema ilimitado e o outro invivel;

iii) Ambos os problemas so inviveis.

Propriedades do problema Dual:

TEOREMA DAS FOLGAS COMPLEMENTARES


Sendo x* e y* as solues timas dos problemas primal e dual:
n

*
y j b j aij xi 0
i 1

*
xi aij y j c j 0 , i e j
j 1

Possibilidades:

yj 0
*

ou

*
b j aij xi 0
i 1

e
xi 0
*

ou

*
aij y j c j 0

j 1

Exemplo de aplicao do teorema das folgas complementares:


Min Z = 2*x1 + 5*x2 + 2*x3 + 3*x4
S.A. 1*x1 + 2*x2 + 1*x3 + 3*x4 4
2*x1 + 3*x2 + 1*x3 + 1*x4 3
x 1, x2 , x 3 , x 4 0

*
y j - b j aij xi 0
i 1

*
xi aij y j c j 0 , i e j
j 1

Mtodo simplex (problema primal):


Max Z = 4,0*xmad + 6,0*xalu
S.A. 1,5*xmad + 4,0*xalu 24
3,0*xmad + 1,5*xalu 21
1,0*xmad + 1,0*xalu 8
xmad, xalu 0

Z
1
x3
x4
x5
1
x2
x4
x5
1
x2
x4
x1

x1
-4
1,5
3
1
-7/4
3/8
39/16
5/8
0
0
0
1

Min z = 24*ycorte + 21*ymont + 8*yacab


S.A. 1,5*ycorte + 3*ymont + 1*yacab 4

4*ycorte + 1,5*ymont + 1*yacab 6


ycorte, ymont, yacab 0

x2
-6
4
1,5
1
0
1
0
0
0
1
0
0

x3
0
1
0
0
3/2
1/4
-3/8
-1/4
4/5
2/5
3/5
-2/5

x4
0
0
1
0
0
0
1
0
0
0
1
0

x5
0
0
0
1
0
0
0
1
14/5
-3/5
-39/10
8/5

RHS
0
24
21
8
36
6
12
2
208/5
24/5
21/5
16/5

Mtodo simplex (problema dual):


Z

ycorte

ymont

yacabam

x4

x5

a1

a2

RHS

1
1
1
a1

-24

-21

-8

-M

-M

-24+(3/2)M

-21+3M

-8+M

-M

-M

4M

-24+(11/2)M

-21+(9/2)M

-8+2M

-M

-M

10M

3/2

-1

a2
1
a1

3/2

-1

-M

-6+(3/8)M

6-(11/8)M

36+(7/4)M

39/16

10/16

-1

6/16

-6/16

28/16

ycorte
1
ymont

3/8

1/4

-1/4

1/4

3/2

42/39

-192/39

-162/39

10/39

-16/39

6/39

16/39

-6/39

28/39

ycorte
1
yacabam

2/13

2/13

-4/13

-2/13

4/13

16/13

-21/5

3,2-M

4,8-M

8112/195 = 41,6

39/10

-16/10

6/10

16/10

-6/10

28/10 = 2,8

ycorte

-3/5

26/65

-26/65

-26/65

26/65

52/65 = 0,8

-12+(39/16)M -2+(5/8)M

-624/195 = -3,2 -936/195 = -4,8

(192/39)-M (162/39)-M

1740/39

Problemas Primal e Dual:


PRIMAL

DUAL

Interpretao Econmica do problema dual:


1. Interpretao econmica das variveis duais:
Min V = 24*ycorte + 21*ymont + 8*yacab
S.A. 1,5*ycorte + 3*ymont + 1*yacab 4 (Porta de madeira)

4*ycorte + 1,5*ymont + 1*yacab 6 (Porta de alumnio)


ycorte, ymont, yacab 0
ycorte : preo pago por 1 hora de corte
ymont : preo pago por 1 hora de montagem
yacab : preo pago por 1 hora de acabamento

V: preo total pago pelo


recursos (shadow price)

Funo objetivo: Minimizar o preo total pago pelos recursos.


Restries: Mnimo a ser pago pela combinao das variveis de deciso
(pois com essa combinao gera-se uma unidade do produto).

Interpretao Econmica do problema dual:


1. Interpretao econmica das variveis duais:
Z

RHS
x2 (alum n io ) x3 (co rt e) x4 (m o n t agem ) x5 (acabam en t o )
0
4/5 = 0,8
0
14/5 = 2,8 208/5 = 41,6
1
2/5
0
-6/5
24/5 = 4,8

x2 (alum n io )

x1 (m adeira)
0
0

x4 (m o n t agem )

3/5

-39/10

21/5 = 4,2

x1 (m adeira)

-2/5

8/5

16/5 = 3,2

ycorte

ymont

yacabam

-21/5

yacabam

39/10

-16/10

ycorte

-3/5

26/65

x4(madeira)

a1

a2

RHS

3,2-M

4,8-M

8112/195 = 41,6

6/10

16/10

-6/10

28/10 = 2,8

-26/65

-26/65

26/65

52/65 = 0,8

x5(alumnio)

-624/195 = -3,2 -936/195 = -4,8

Interpretao Econmica do problema dual:


2. Interpretao econmica do teorema das folgas complementares:

Sendo x* e y* as solues timas dos problemas primal e dual:


n

*
*
y j b j aij xi 0
i 1

*
*
xi aij y j c j 0 , i e j
j 1

NA SOLUO, SE H FOLGA DE ALGUM RECURSO SEU VALOR


(PREO DUAL) NECESSARIAMENTE ZERO
NA SOLUO, SE UM DETERMINADO RECURSO TEM VALOR (>0)
NECESSARIAMENTE A FOLGA ZERO

Interpretao Econmica do problema dual:


3. Interpretao econmica das restries duais:

Min (v)

b y

j j

j1

S.A. :
yj 0

Ganho proporcionado

ij y j

c i , i 1,...,n

j1

Valor dos recursos


Utilizao dos recursos

Todo produto fabricado


m

ij y j

ci

j1

Um novo produto s
ser fabricado se
m

a
j1

ij y j

ci

Interpretao Econmica do problema dual:


3. Interpretao econmica das restries duais:
Corte
1,5 h/porta
4,0 h/porta
3,0 h/porta
24 h

Madeira
Alumnio
P. com vidro
Disponibilidade

Montagem
3,0 h/porta
1,5 h/porta
1,0 h/porta
21 h

Acabamento
1,0 h/porta
1,0 h/porta
2,0 h/porta
8h

Lucro unitrio: porta com vidro: R$5,00


Tableau inicial:
Z
1
x4
x5
x6

x1
-4
1,5
3
1

x2
-6
4
1,5
1

x3
-5
3
1
2

Tableau final:
x4
0
1
0
0

x5
0
0
1
0

x6
0
0
0
1

RHS
0
24
21
8

Z
1
x2
x5
x1

3
12
28

4
14
0
1 5 0
5 3
5
5
5
5
2

x1
0
0
0
1

x2
0
1
0
0

x3
3
0
-5
2

x4
4/5
2/5
3/5
-2/5

x5
0
0
1
0

x6
14/5
-3/5
-39/10
8/5

RHS
208/5
24/5
21/5
16/5

3(1 r1)
4
0 14 1(1 r 2) 5
5
5
2(1 r 3)

Mtodo Simplex: problemas primal e dual


Max Z = 4,0*xmad + 6,0*xalu

Min z = 24*ycorte + 21*ymont + 8*yacab

S.A. 1,5*xmad + 4,0*xalu 24

S.A. 1,5*ycorte + 3*ymont + 1*yacab 4

3,0*xmad + 1,5*xalu 21
1,0*xmad + 1,0*xalu 8

4*ycorte + 1,5*ymont + 1*yacab 6


ycorte, ymont, yacab 0

xmad, xalu 0
Z
1
x3
x4
x5
1
x2
x4
x5
1
x2
x4
x1

x1
-4
1,5
3
1
-7/4
3/8
39/16
5/8
0
0
0
1

x2
-6
4
1,5
1
0
1
0
0
0
1
0
0

x3
0
1
0
0
3/2
1/4
-3/8
-1/4
4/5
2/5
3/5
-2/5

x4
0
0
1
0
0
0
1
0
0
0
1
0

x5
0
0
0
1
0
0
0
1
14/5
-3/5
-39/10
8/5

RHS
0
24
21
8
36
6
12
2
208/5
24/5
21/5
16/5

Dualidade:

A teoria da dualidade proporciona um suporte terico que


permite:

Calcular limites superiores (em problemas de


maximizao) e inferiores (em problemas de
minimizao) para o valor da funo objetivo.

Interpretao econmica dos resultados da


otimizao.

Desenvolvimento de mtodos mais eficientes para


resolver problemas reais.

MOQ 43
ALGORITMOS SIMPLEX
ADICIONAIS

Professor: Rodrigo A. Scarpel


rodrigo@ita.br
www.mec.ita.br/~rodrigo

Mtodo Simplex Formalizao (Problema de Maximizao):


Inicializao:

Encontrar uma soluo bsica vivel ( B).


Passo principal:
Seja zk - ck = Mnimo {zj - cj: j R}. Se zk - ck 0 pare - a soluo tima.

Caso contrrio examine yk.


Se yk 0 pare a soluo tima ilimitada.

bi

Se yk 0 determine o ndice r como: r Minimo


: y ik 0
1i m
y ik

Atualize o tableau pivotando em yik (atualize as variveis bsicas e as no


bsicas com xk que entra na base e xi que sai).
Repita o passo principal

Mtodo Simplex:
Condies de Viabilidade X Condies de Otimalidade
Opo A: O simplex pode ser visto como um mtodo que
busca atender as condies de otimalidade mantendo as
condies de viabilidade.
Opo B: O simplex pode ser visto como um mtodo que
busca a viabilidade do problema dual mantendo a

viabilidade do problema primal.

Mtodo Dual Simplex (PPL primal de Maximizao):


Inicializao:

Encontrar uma soluo bsica que atenda as condies de otimalidade,


mas que no atenda as condies de viabilidade.
Passo principal:
Seja xB a soluo corrente. Se o termo de xB 0 pare - a soluo tima.
Caso contrrio escolha o termo de xB mais negativo para sair da base.

zi ci

, yik 0
Determine a varivel que vai entrar na base por mnimo
1i m
yik

Se todos yik 0 pare o problema no tem soluo vivel

Atualize o tableau pivotando em yik (atualize as variveis bsicas e as no


bsicas com xk que entra na base e xi que sai).
Repita o passo principal

Mtodo Dual Simplex (PPL primal de Maximizao):


Max Z = 4,0*xmad + 6,0*xalu

Min V = 24*ycorte + 21*ymont + 8*yacab

S.A. 1,5*xmad + 4,0*xalu 24

S.A. 1,5*ycorte + 3*ymont + 1*yacab 4

3,0*xmad + 1,5*xalu 21
1,0*xmad + 1,0*xalu 8

4*ycorte + 1,5*ymont + 1*yacab 6


ycorte, ymont, yacab 0

xmad, xalu 0
Z
1
x3
x4
x5
1
x2
x4
x5
1
x2
x4
x1

x1
-4
1,5
3
1
-7/4
3/8
39/16
5/8
0
0
0
1

x2
-6
4
1,5
1
0
1
0
0
0
1
0
0

x3
0
1
0
0
3/2
1/4
-3/8
-1/4
4/5
2/5
3/5
-2/5

x4
0
0
1
0
0
0
1
0
0
0
1
0

x5
0
0
0
1
0
0
0
1
14/5
-3/5
-39/10
8/5

RHS
0
24
21
8
36
6
12
2
208/5
24/5
21/5
16/5

V
1
y4
y5
1
y4
y1
1
y3
y1

y1
-24
-1,5
-4
0
0
1
0
0
1

y2
-21
-3
-1,5
-12
-39/16
3/8
-21/5
39/10
3/5

y3
-8
-1
-1
-2
-5/8
1/4
0
1
0

y4
0
1
0
0
1
0
-16/5
-8/5
2/5

y5
0
0
1
-6
-3/8
-1/4
-24/5
3/5
-2/5

O dual simplex pode ser visto como um mtodo que busca atender as
condies de viabilidade mantendo as condies de otimalidade

RHS
0
-4
-6
36
-7/4
3/2
208/5
14/5
4/5

Generalizao do Mtodo Simplex:


Opo A: O simplex pode ser visto como um mtodo que
busca atender as condies de otimalidade mantendo as
condies de viabilidade.
Opo B: O simplex pode ser visto como um mtodo que
busca a viabilidade do problema dual mantendo a viabilidade
do problema primal.
Opo C: O simplex pode ser visto como um mtodo que
busca atender as condies de viabilidade mantendo as
condies de otimalidade.

Essas opes podem ser combinadas de acordo com


a necessidade para talhar novos mtodos
(exemplos: mtodo primal-dual, mtodo simtrico,
mtodo entrecruzado e mtodo multiplex).

MOQ 43
ANLISE PSOTIMIZAO

Professor: Rodrigo A. Scarpel


rodrigo@ita.br
www.mec.ita.br/~rodrigo

Princpios:
Em problemas reais as alteraes (disponibilidade dos
recursos, preo dos insumos,) demandam o reclculo

peridico da soluo tima.


A anlise de ps-otimizao auxilia na determinao da nova
soluo de modo eficiente.
ALTERNATIVAS POSSVEIS

MOTIVOS

AO RECOMENDADA

SOLUO ATUAL (BASE)


PERMANECE TIMA E VIVEL

NENHUMA

SOLUO ATUAL SE
TORNA INVIVEL

ALTERAES NO RHS (RECURSOS)

USAR O DUAL SIMPLEX PARA


RECUPERAR A VIABILIDADE

SOLUO ATUAL SE
TORNA NO-TIMA

ALTERAES NOS COEFIC. DA F.O.

SOLUO ATUAL SE TORNA


NO-TIMA E INVIVEL

ADIO DE NOVAS RESTRIES

ADIO DE UMA NOVA ATIVIDADE


COMBINAO DOS ITENS ANTERIORES

USAR O SIMPLEX (PRIMAL) PARA


RECUPERAR A OTIMALIDADE
USAR, SE POSSVEL, O SIMPLEX
GENERALIZADO PARA OBTER NOVA
SOLUO

Alteraes no RHS (recursos):


x2
0
1
0
0

x3
4/5
2/5
3/5
-2/5

x4
0
0
1
0

xalumnio

x1
0
0
0
1

x5
14/5
-3/5
-39/10
8/5

RHS
208
/5 + 4/5 A + 0 B + 14/5 C
24
/5 + 2/5 A + 0 B - 3/5 C
21
/5 + 3/5 A + 1 B - 39/10 C
16
/5 - 2 /5 A + 0 B + 8 /5 C

Recurso gargalo:
A base fica inalterada: -7 A 8
Funo objetivo:

208/

(B e C: ctes)

+ 4/5 A + 0 B + 14/5 C

A = +10 (h alterao na base)

Z
1
x2
x4
x1

xmadeira

Alteraes no RHS (recursos):


FO: Max Z = 4,0*x1 + 6,0*x2

S.A. 1,5x1+ 4,0x2+ 1x3


3,0x1+ 1,5x2
1,0x1+ 1,0x2

= 34 + A
+ 1x4
= 21
+ 1x5 = 8

+B

+C

xalumnio

x1, x2, x3 , x4 , x5 0

Z
1
x2
x4
x1
1
x2
x4
x3

x1
0
0
0
1
2
1
3/2
-5/2

x2
0
1
0
0
0
1
0
0

x3
4/5
2/5
3/5
-2/5
0
0
0
1

x4
0
0
1
0
0
0
1
0

x5
14/5
-3/5
-39/10
8/5
6
1
-1,5
-4

RHS
248
/5
44
/5
51
/5
-4
/5
48 + 6C
8+C
9 +B 1,5 C
2 + A 4C

Adio de novas restries:


Quando novas restries so adicionadas, h 2 possibilidades:
A restrio ser redundante
A soluo atual se tornar invivel
FO: Maximizar Z = 4,0*xmadeira + 6,0*xalumnio
S.A. 1,5*xmadeira + 4,0*xalumnio 24

Soluo tima:

3,0*xmadeira + 1,5*xalumnio 21

x1 (madeira) = 16/5 = 3,2

1,0*xmadeira + 1,0*xalumnio 8

x2 (alumnio) = 24/5 = 4,8

xmadeira, xalumnio 0

Lucro = 208/5 = 41,6

Nova restrio: Demanda xmadeira 4 (Restrio redundante)

xmadeira 3 (Soluo atual invivel)

Adio de novas restries:


FO: Max Z = 4,0*x1 + 6,0*x2
S.A. 1,5x1+ 4,0x2+ 1x3
3,0x1+ 1,5x2
1,0x1+ 1,0x2

= 34
+ 1x4
+ 1x5

1,0x1

= 21
= 8
+ 1x6 = 3

x1, x2, x3 , x4 , x5 , x6 0
Z
1
x2
x4
x1
x6
1
x2
x4
x1
x6

x1
0
0
0
1
1
0
0
0
1
0

x2
0
1
0
0
0
0
1
0
0
0

x3
4/5
2/5
3/5
-2/5
0
4/5
2/5
3/5
-2/5
2/5

x4
0
0
1
0
0
0
0
1
0
0

x5
14/5
-3/5
-39/10
8/5
0
14/5
-3/5
-39/10
8/5
-8/5

x6
0
1
0
0
1
0
1
0
0
1

RHS
208/5
24/5
21/5
16/5
3
208/5
24/5
21/5
16/5
-1/5

Adio de novas restries:


x2
0
1
0
0
0
0
1
0
0
0

x3
4/5
2/5
3/5
-2/5
2/5
3/2
1/4
-15/40
0
-1/4

x4
0
0
1
0
0
0
0
1
0
0

x5
14/5
-3/5
-39/10
8/5
-8/5
0
0
0
0
1

x6
0
1
0
0
1
7/4
-3/8
-195/80
1
-5/8

RHS
208/5
24/5
21/5
16/5
-1/5
825/20
195/40
375/80
3
1/8

Soluo tima:
x1 (madeira) = 3
x2 (alumnio) = 4,875
Lucro = 208/5 = 41,25

x1
0
0
0
1
0
0
0
0
1
0

xalumnio(x
2)

Z
1
x2
x4
x1
x6
1
x2
x4
x1
x5

xmadeira(x1)

Para casa:
Lista de Exerccios 6
Leitura Taha: 4.1 a 4.5
Winston: 6.5 a 6.10

OBSERVAO
Este material refere-se s notas de aula do curso

MOQ-43 (Pesquisa Operacional) do Instituto


Tecnolgico de Aeronutica (ITA). No substitui o
livro texto, as referncias recomendadas e nem as
aulas expositivas. Este material no pode ser
reproduzido sem autorizao prvia do autor.
Quando autorizado, seu uso exclusivo para
atividades de ensino e pesquisa em instituies
sem fins lucrativos.

Você também pode gostar