O procedimento matricial usado para resolver problemas de otimização de modelos de programação linear colocados na forma normal denomina-se