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 />
74 CAPÍTULO 4. DUALIDADE<br />
Exemplo 4.2. Determinaremos o dual do seguinte problema.<br />
max x 1 + 2x 2 + x 3<br />
s.a.: x 1 − 3x 2 = 5<br />
− x 1 + 2x 2 − x 3 ≤ 3<br />
x ≥ 0.<br />
A primeira restrição é uma igualda<strong>de</strong>, portanto a transformamos em duas<br />
<strong>de</strong>sigualda<strong>de</strong>s,<br />
{<br />
x 1 − 3x 2 ≤ 5<br />
x 1 − 3x 2 = 5 =⇒<br />
−x 1 + 3x 2 ≤ −5,<br />
obtendo<br />
max x 1 + 2x 2 + x 3<br />
s.a.: x 1 − 3x 2 ≤ 5<br />
− x 1 + 3x 2 ≤ −5<br />
− x 1 + 2x 2 − x 3 ≤ 3<br />
x ≥ 0.<br />
Agora po<strong>de</strong>mos obter o dual do problema:<br />
min 5y 1 − 5y 2 + 3y 3<br />
s.a.: y 1 − y 2 − y 3 ≥ 1<br />
− 3y 1 + 3y 2 + 2y 3 ≥ 2<br />
− y 3 ≥ 1<br />
y ≥ 0.<br />
No entanto, este programa <strong>linear</strong> tem tres variáveis, e o primal do qual<br />
partimos originalmente tem duas restrições apenas.<br />
◭<br />
O Exercício 38 pe<strong>de</strong> a <strong>de</strong>monstração do Teorema 4.3, que consiste na<br />
formalização do que foi visto no exemplo anterior.<br />
Teorema 4.3. Consi<strong>de</strong>re um programa <strong>linear</strong> <strong>de</strong> maximização. É possível<br />
obter um programa <strong>linear</strong> dual a este, mas com o número <strong>de</strong> variáveis do<br />
dual exatamente igual ao número <strong>de</strong> restrições do primal. Se a i-ésima<br />
restrição do primal é uma<br />
Versão Preliminar<br />
• igualda<strong>de</strong>: então a variável correspon<strong>de</strong>nte y i no dual será livre (ou<br />
seja, po<strong>de</strong>rá assumir valores negativos)<br />
• <strong>de</strong>sigualda<strong>de</strong> ≥: então a variável y i do dual assumirá valores ≤ 0.