Processo de criação de programas que produzem soluções ótimas para sistemas de equações (compostas de funções lineares) nos quais não há termos suficientes para uma solução direta.