Formato de arquivo SAV: arquivos binários numericamente precisos

O CPLEX suporta o formato de arquivo binário SAV para precisão numérica em leitura e gravação de problemas.

SAV é um formato de arquivo binário específico para o CPLEX. Este formato é eficiente para leitura e gravação de modelos e informações com base associada de forma mais rápida. Por exemplo, ele pode reduzir efetivamente o tempo de leitura e gravação para problemas que são resolvidos repetidamente.

Dica: O CPLEX inclui a base em um arquivo SAV apenas se o problema atualmente na memória foi otimizado e existir uma base.

Esse formato também oferece a vantagem de ser numericamente preciso (no mesmo grau de sua plataforma) em contraste com formatos de arquivos de texto que podem perder a precisão numérica. Em outras palavras, ele fornece um grau de precisão maior em dados. Entretanto, como um arquivo SAV é binário, não é possível ler nem editá-lo com seu editor de texto favorito.

Esses outros formatos de arquivos mais especializados são baseados no formato de arquivo SAV:

• DPE é o formato que o CPLEX usa para gravar um problema em um arquivo binário SAV após a função objetiva do problema ter sido perturbada.
• PPE é o formato que o CPLEX usa para gravar um problema em um arquivo binário SAV após o righthand side (RHS) ter sido perturbado.
• PRE é o formato que o CPLEX usa para gravar uma formulação de problema pré-solucionado, reduzido, como um arquivo binário SAV. Como um problema pré-solucionado foi reduzido, ele não corresponde ao problema original.

O tópico Salvando problemas no Interactive Optimizer explica como usar o formato de arquivo SAV no Interactive Optimizer.