Desafio da Minimização
Problemas de minimização com restrições de \(\ge\) ou \(=\) não fornecem uma Solução Básica Viável (SBV) inicial trivial (como as variáveis de folga em restrições \(\le\)).
Para resolver isso, usamos o Método das Duas Fases [6]:
- Fase 1: Encontrar uma SBV para o problema original.
- Fase 2: Otimizar a Função Objetivo (FO) original a partir da SBV encontrada.
Etapa 2: Introduzir Variáveis de Folga, Excesso e Artificiais
Para colocar o problema na forma padrão (todas as restrições como igualdades e RHS não-negativos):
- Restrições \(\le\): Adicione variáveis de folga (\(s_i \ge 0\)). Elas representam recursos não utilizados e servem como variáveis básicas iniciais.
- Restrições \(\ge\):
- Subtraia variáveis de excesso (\(e_i \ge 0\)). Elas representam o quanto o lado esquerdo excede o direito.
- Adicione variáveis artificiais (\(a_i \ge 0\)). Elas são auxiliares para criar uma base inicial, pois as variáveis de excesso têm coeficiente -1 e não podem ser básicas iniciais.
- Restrições \(=\): Adicione variáveis artificiais (\(a_i \ge 0\)).
Exemplo de Minimização
Uma empresa deseja minimizar o custo de produção de dois produtos, P1 e P2.
- P1: Custo de R$ 4 por unidade, requer 1 unidade de matéria-prima A e 2 unidades de matéria-prima B.
- P2: Custo de R$ 3 por unidade, requer 1 unidade de matéria-prima A e 1 unidade de matéria-prima B.
- Requisitos Mínimos: 8 unidades de matéria-prima A e 10 unidades de matéria-prima B.
Objetivo: Minimizar o custo total.
Fase 1: Encontrar uma SBV (Minimizar a Soma das Artificiais)
Objetivo da Fase 1: Eliminar as variáveis artificiais da base, buscando uma SBV para o problema original.
- Crie uma Função Objetivo Auxiliar (\(W\)):
- Minimizar \(W = a_1 + a_2\) (soma das variáveis artificiais).
- Isso equivale a Maximizar \(-W = -a_1 - a_2\).
- Expresse \(W\) em termos das variáveis não-artificiais:
- Das restrições: \(a_1 = 8 - x_1 - x_2 + e_1\) e \(a_2 = 10 - 2x_1 - x_2 + e_2\).
- Substituindo em \(-W\): \(-W = -(8 - x_1 - x_2 + e_1) - (10 - 2x_1 - x_2 + e_2)\) \(-W = x_1 + x_2 - e_1 - 8 + 2x_1 + x_2 - e_2 - 10\) \(-W = 3x_1 + 2x_2 - e_1 - e_2 - 18\)
- Reorganizando para a linha do tableau: \(-W - 3x_1 - 2x_2 + e_1 + e_2 = -18\).
Tableau Inicial (Fase 1)
| \(-W\) |
-3 |
-2 |
1 |
1 |
0 |
0 |
-18 |
| \(a_1\) |
1 |
1 |
-1 |
0 |
1 |
0 |
8 |
| \(a_2\) |
2 |
1 |
0 |
-1 |
0 |
1 |
10 |
- Variáveis Básicas Iniciais: \(a_1, a_2\).
- Objetivo: Maximizar \(-W\) (ou minimizar \(W\)) até que \(W=0\) e todas as variáveis artificiais saiam da base.
Fase 1 - Passo 1: Pivotamento
Tableau Atual:
| \(-W\) |
-3 |
-2 |
1 |
1 |
0 |
0 |
-18 |
| \(a_1\) |
1 |
1 |
-1 |
0 |
1 |
0 |
8 |
| \(a_2\) |
2 |
1 |
0 |
-1 |
0 |
1 |
10 |
- Variável de Entrada: \(x_1\) (coeficiente mais negativo na linha \(-W\): -3).
- Razões:
- Linha \(a_1\): \(8 / 1 = 8\)
- Linha \(a_2\): \(10 / 2 = 5\)
- Variável de Saída: \(a_2\) (menor razão: 5).
- Elemento Pivô: 2 (na linha \(a_2\), coluna \(x_1\)).
Fase 1 - Tableau 1 (Após Pivotamento)
- Operações de Linha:
- \(L_{nova\_x_1} = L_{a_2} / 2\)
- \(L_{nova\_{-W}} = L_{-W} + 3 \cdot L_{nova\_x_1}\)
- \(L_{nova\_a_1} = L_{a_1} - 1 \cdot L_{nova\_x_1}\)
| \(-W\) |
0 |
-1/2 |
1 |
-1/2 |
0 |
3/2 |
-3 |
| \(a_1\) |
0 |
1/2 |
-1 |
1/2 |
1 |
-1/2 |
3 |
| \(x_1\) |
1 |
1/2 |
0 |
-1/2 |
0 |
1/2 |
5 |
Fase 1 - Passo 2: Pivotamento
Tableau Atual:
| \(-W\) |
0 |
-1/2 |
1 |
-1/2 |
0 |
3/2 |
-3 |
| \(a_1\) |
0 |
1/2 |
-1 |
1/2 |
1 |
-1/2 |
3 |
| \(x_1\) |
1 |
1/2 |
0 |
-1/2 |
0 |
1/2 |
5 |
- Variável de Entrada: \(x_2\) (coeficiente mais negativo na linha \(-W\): -1/2).
- Razões:
- Linha \(a_1\): \(3 / (1/2) = 6\)
- Linha \(x_1\): \(5 / (1/2) = 10\)
- Variável de Saída: \(a_1\) (menor razão: 6).
- Elemento Pivô: \(1/2\) (na linha \(a_1\), coluna \(x_2\)).
Fase 1 - Tableau 2 (Após Pivotamento)
- Operações de Linha:
- \(L_{nova\_x_2} = L_{a_1} / (1/2)\)
- \(L_{nova\_{-W}} = L_{-W} + (1/2) \cdot L_{nova\_x_2}\)
- \(L_{nova\_x_1} = L_{x_1} - (1/2) \cdot L_{nova\_x_2}\)
| \(-W\) |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
| \(x_2\) |
0 |
1 |
-2 |
1 |
2 |
-1 |
6 |
| \(x_1\) |
1 |
0 |
1 |
-1 |
-1 |
1 |
2 |
- Fim da Fase 1: Todos os coeficientes na linha \(-W\) são não-negativos e o valor de \(-W\) é 0.
- As variáveis artificiais \(a_1\) e \(a_2\) saíram da base.
- Temos uma Solução Básica Viável para o problema original: \(x_1=2, x_2=6\).
Fase 2: Otimizar a FO Original
- Remova as colunas das variáveis artificiais (\(a_1, a_2\)) e a linha da FO auxiliar (\(-W\)).
- Reintroduza a FO original convertida (\(Z' = -4x_1 - 3x_2\)) na primeira linha do tableau.
- Ajuste a linha \(Z'\): Garanta que os coeficientes das variáveis básicas (\(x_1, x_2\)) na linha \(Z'\) sejam zero.
Tableau da Fase 1 (final, sem artificiais): | Base | \(x_1\) | \(x_2\) | \(e_1\) | \(e_2\) | RHS | |:—-:|:—–:|:—–:|:—–:|:—–:|:—:| | \(x_2\)| 0 | 1 | -2 | 1 | 6 | | \(x_1\)| 1 | 0 | 1 | -1 | 2 |
FO Original: Max \(Z' = -4x_1 - 3x_2\).
Para ajustar a linha \(Z'\):
- \(Z' + 4x_1 + 3x_2 = 0\)
- Substitua \(x_1\) e \(x_2\) pelas suas expressões em termos das variáveis não-básicas (ou use operações de linha para zerar os coeficientes de \(x_1\) e \(x_2\) na linha \(Z'\)).
- \(Z' + 4(1x_1 + 0e_1 - 1e_2) + 3(1x_2 - 2e_1 + 1e_2) = 4(2) + 3(6)\)
- \(Z' + 4x_1 + 3x_2 + (4-6)e_1 + (-4+3)e_2 = 8 + 18\)
- \(Z' + 4x_1 + 3x_2 - 2e_1 - e_2 = 26\)
- A linha \(Z'\) no tableau será: \(Z'\) | 0 | 0 | 2 | 1 | -26
Tableau Inicial (Fase 2)
| \(Z'\) |
0 |
0 |
2 |
1 |
-26 |
| \(x_2\) |
0 |
1 |
-2 |
1 |
6 |
| \(x_1\) |
1 |
0 |
1 |
-1 |
2 |
- Verificação de Otimidade: Todos os coeficientes na linha \(Z'\) são não-negativos (2 e 1).
- A solução é ótima. Não há necessidade de mais pivotamentos.
Solução Ótima do Exemplo de Minimização
- Variáveis de Decisão:
- \(x_1 = 2\) unidades de P1
- \(x_2 = 6\) unidades de P2
- Variáveis de Excesso:
- \(e_1 = 0\) (não-básica)
- \(e_2 = 0\) (não-básica)
- Valor Ótimo da FO Convertida: \(Z' = -26\)
- Valor Ótimo da FO Original (Custo Mínimo): \(Z = -Z' = -(-26) = 26\)
Interpretação da Solução Final
- A empresa deve produzir 2 unidades de P1 e 6 unidades de P2.
- O custo mínimo total será de R$ 26.
- As variáveis de excesso \(e_1\) e \(e_2\) serem zero indicam que os requisitos mínimos de matéria-prima A e B são atendidos exatamente, sem excesso.