Alternativa A - Excesso
No Método Simplex, o objetivo principal da forma canônica é transformar todas as restrições de desigualdade em igualdades para permitir a resolução algébrica através de sistemas lineares. Isso é feito adicionando ou subtraindo variáveis específicas nas equações originais.
Quando a restrição é do tipo menor ou igual (\leq), adicionamos uma variável de folga para compensar a diferença entre o lado esquerdo e o direito da equação.
Por outro lado, quando a restrição é do tipo maior ou igual (\geq), o valor do lado esquerdo já excede o limite permitido à direita. Para equilibrar a equação, precisamos subtrair uma quantidade que represente esse ultrapassamento. Essa variável é chamada de variável de excesso (ou surplus em inglês).
Análise das Alternativas
- Variável de Folga: Utilizada em restrições do tipo \leq. Exemplo: x_1 + x_2 \leq 10 \Rightarrow x_1 + x_2 + s = 10.
- Variável de Excesso: Utilizada em restrições do tipo \geq. Exemplo: x_1 + x_2 \geq 10 \Rightarrow x_1 + x_2 - e = 10.
- Variável de Decisão: São as variáveis originais do problema (x_1, x_2...), não auxiliares de conversão.
- Variáveis Artificiais: Também usadas no caso \geq, mas apenas para iniciar o algoritmo (Método das Grandes M), enquanto a de excesso representa a diferença real da restrição.
Portanto, para converter uma restrição do tipo "maior ou igual" em igualdade, introduz-se uma variável de excesso.
Alternativa A.