08.02.2015 Views

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)

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!