Os modelos de Pesquisa Operacional são elaborados para "otimizar" um critério objetivo específico sujeito a um conjunto de restrições, como: a qualidade da solução resultante depende de quanto o modelo representa o sistema real; uma solução é viável se satisfazer todas as restrições do modelo e uma solução é ótima se, além de ser viável, resultar no melhor valor (máximo ou mínimo) para o modelo especificado.