EA 954U – Otimização de Sistemas

Aula 6 –Formulação PL II, Variáveis Irrestritas, Introdução à

resolução de PL

Agosto/2007

1
1
Conceitos

Definições:

Função linear:
 Uma função f(x1,x2,...,xn) de x1,x2,...,xn é função linear se e somente se
para um conjunto de constantes c1,c2,...,cn,
f(x1,x2,...,xn)= c1x1 + c2x2 + ... + cnxn

Desigualdades lineares
 Para qualquer função linear f(x1,x2,...,xn) e um número b, as desigualdades
f(x1,x2,...,xn) ≤ b e f(x1,x2,...,xn) ≥ b são desigualdades lineares

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 2

Conceitos

Definições:

Problema de Programação Linear é um problema de otimização para o qual:

1. Quer-se maximizar (ou minimizar) uma função linear de variáveis de
decisão. Esta função é chamada função objetivo
2. Os valores das variáveis de decisão devem satisfazer um conjunto de
restrições. Cada restrição é uma equação linear ou desigualdade linear

Restrição ativada (binding)

 Quando o lado direito e o lado esquerdo de uma restrição são iguais, dizemos
que a restrição está ativada em relação a uma solução

Restrição não ativada (non-binding)

 Quando o lado direito e o lado esquerdo de uma restrição não iguais e a
restrição é respeitada, dizemos que a restrição não está ativada em relação a
uma solução

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 3

Conceitos

Hipóteses para PLs:

Proporcionalidade
 A contribuição de cada variável de decisão para função objetivo ou em uma
restrição é proporcional ao valor da variável de decisão

Aditividade
 A contribuição de cada variável de decisão independe da contribuição das
demais variáveis de decisão

Divisibilidade
 A variável de decisão pode assumir valores fracionários

Certeza
 Cada parâmetro (coeficientes da função objetivo e das restrições, bem como
termos independentes) são conhecidos com certeza

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 4

Conceitos

Definições

 Conjunto convexo

Um conjunto de pontos S é um conjunto convexo
Conjunto não convexo
se um segmento formado por dois pontos
quaisquer do conjunto S estiver completamente
contido em S

 Ponto extremo

Para um conjunto convexo S, P é um ponto Conjunto convexo
extremo de S se cada segmento que está
contido em S e contém P possui P como ponto
extremo do segmento.

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini Ponto Extremo 5

Propriedades

Região factível de um PL é chamado poliedro

Um ponto extremo ou vértice corresponde à interseção de n hiperplanos no

espaço Rn; m hiperplanos derivados das restrições e n - m hiperplanos das
restrições x1 ≥ 0, ...., xn ≥ 0(*)

Número de pontos extremos é finito

Se existe uma solução ótima, então existe pelo menos um vértice ótimo

(*) Caso alguma variável xi seja irrestrita (-∞ ≤ xi ≤ ∞), é possível substituí-la por
duas outras variáveis não-negativas (xi+ ≥ 0 e xi- ≥ 0) da seguinte forma:
xi = xi+ - xi-
EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 6
Introdução à Programação Linear (PL)

Programação linear envolve a maximização ou minimização de uma função

objetivo linear sujeito a restrições (desigualdades ou igualdades) também
lineares.

A estrutura genérica de um problema de programação linear é :

max(min) z= c1 x 1 + c2 x 2 + ¢¢¢
... + cn x n Função objetivo

sujeit o a
a11 x 1 + a12 x 2 ...
+ ¢¢¢ + a1n x n ≤ ,· ≥¸ , == b1
Restrições
(m linhas/restrições,
..
.
n colunas/variáveis)

am 1 x 1 + am 2 x 2 ... + am n x n ≤ ,· ≥¸ , == bm
+ ¢¢¢

x 1 ¸≥ 0 x2 ≥
¸ 0 :...
:: x n ¸≥ 0
EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 7
Introdução à Programação Linear (PL)

Região Factível
Conjunto dos pontos que satisfazem as restrições de um problema de programação
linear

Solução Ótima

Solução factível que maximiza ou minimiza a função objetivo

Curvas de nível ou isoquantas

{x ∈ R n : c1 x1 + c2 x2 + ...... + cn xn = constante}

Gradiente da função objetivo (c1 , c2 ,....., cn ) é ortogonal às curvas de nível

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 8

Resolução Gráfica

Exemplo dos Brinquedos

x1 = número de B1 produzido por semana

x2 = número de B2 produzido por semana

Maximizar z = 3x1 + 2x2

Sujeito a
x1 + x2 ≤ 80 (restrição de carpintaria)
2x1 + x2 ≤ 100 (restrição de acabamento)
x1 ≤ 40 (restrição do mercado)
x1, x2 ≥ 0 (restrição de não-negatividade)

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 9

Resolução Gráfica – Problema dos brinquedos

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 10

Resolução Gráfica

Exemplo dos Filmes

x1 = número de vezes que o padrão 1 é utilizado

x2 = número de vezes que o padrão 2 é utilizado

Minimizar z = x1 + x2

Sujeito a 5x1 + 3x2 ≥ 15

2x1 + 5x2 ≥ 10
x1 ≤ 4
x2 ≤ 4
x1, x2 ≥ 0 e inteiros

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 11

Resolução Gráfica – Problema dos filmes

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 12

Resolução Gráfica

Fabricante de carros de luxo

Propagandas na TV: comerciais de um minuto em novelas e/ou futebol

Alvo: homens e mulheres com alta renda

Audiência por minuto:

Novela: 7M de mulheres e 2M de homens

Futebol: 2M de mulheres e 12M de homens

Objetivo: atingir pelo menos 28M de mulheres e 24M de homens

Custo:

1min novela: $50k

1min futebol: $100k

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 13

Resolução Gráfica

Variáveis de decisão:

 x1 = número de minutos de
propaganda durante a novela x2
 x2 = número de minutos de
propaganda durante o futebol

Formulação: (0,14)

minimizar z = 50x1 + 100x2

sujeito a
7x1 + 2x2 ≥ 28
2x1 + 12x2 ≥ 24
x1 ≥ 0, x2 ≥ 0

(0,2)

Poliedro ilimitado!
x1

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 14

Casos especiais

Múltiplas soluções ótimas

Gradiente ortogonal a uma restrição x2

max 2x1 + x2
(0,4)
sujeito a
4x1 + 2x2 ≤ 8
x2 ≤ 2
x1 , x2 ≥ 0
(0,2)

x1
(0,0)
(2,0) z = 4
EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 15
Casos especiais

Infactibilidade

A região factível é vazia x2

max c1 x1 + c2 x2
(0,4)
sujeito a
4x1 + 2x2 ≤ 4 (0,3)
4x1 + 4x2 ≥ 12
x1, x2 ≥ 0 (0,2)

x1
(0,0)

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 16

Casos especiais

Solução ótima ilimitada

x2
A região factível (poliedro) é ilimitada

max 2x1 + x2 (0,4

sujeito a
4x1 + 4x2 ≥ 12
x1 , x2 ≥ 0

(3,0) x1

EA954-FEEC–UNICAMP-2007-Rodrigo Moretti Branchini 17