Programação Linear (e rudimentos de otimização não-linear)
Programação Linear (e rudimentos de otimização não-linear)
Programação Linear (e rudimentos de otimização não-linear)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
notas <strong>de</strong> aula – versão 64 - Jerônimo C. Pellegrini<br />
26 CAPÍTULO 2. CONJUNTOS CONVEXOS E SOLUÇÕES VIÁVEIS<br />
A seguir damos uma <strong>de</strong>monstração formal <strong>de</strong>sse Teorema.<br />
Demonstração. (do Teorema 2.36).<br />
S tem um número finito <strong>de</strong> pontos extremos, que <strong>de</strong>notamos 1 x ∗ 1 , x∗ 2 , . . . , x∗ p.<br />
Seja x 0 um ponto viável maximizando c T x em S:<br />
∀x ∈ S, c T x 0 ≥ c T x.<br />
Suponha que x 0 não é ponto extremo. Então x 0 po<strong>de</strong> ser <strong>de</strong>scrito como<br />
combinação convexa dos pontos extremos <strong>de</strong> S.<br />
x 0 =<br />
p∑<br />
λ i x ∗ i , λ i ≥ 0, ∑ λ i = 1<br />
i=1<br />
Seja então x ∗ r o ponto extremo com maior valor objetivo. Então,<br />
)<br />
( p∑<br />
c T x 0 = c T λ i x ∗ i<br />
i=1<br />
p∑ )<br />
= λ i<br />
(c T x ∗ i<br />
≤<br />
i=1<br />
p∑ )<br />
λ i<br />
(c T x ∗ r<br />
i=1<br />
= c T x ∗ r<br />
= c T x ∗ r.<br />
Temos então c T x 0 ≤ c T x ∗ r. Como x 0 é ótimo, c T x 0 = c T x ∗ r, e existe o ponto<br />
extremo x ∗ r on<strong>de</strong> o valor do objetivo é ótimo.<br />
<br />
Representamos as restrições <strong>de</strong> um problema na forma matricial como<br />
Ax = b. A matriz A normalmente terá m linhas e n colunas, com n > m.<br />
Presumiremos que o posto da matriz é m – caso não seja, sempre po<strong>de</strong>mos<br />
eliminar uma das restrições.<br />
Cada coluna <strong>de</strong> A representa uma variável. Como a matriz tem posto<br />
m, po<strong>de</strong>mos tomar m colunas LI (ou m variáveis), formando uma matriz<br />
quadrada B, <strong>de</strong> or<strong>de</strong>m m, e resolver o sistema<br />
Versão Preliminar<br />
p∑<br />
i=1<br />
Bx B = b,<br />
1 Insistimos em mostrar os pontos como vetores!<br />
λ i