Changes between Initial Version and Version 3 of Ticket #18735


Ignore:
Timestamp:
06/20/15 06:42:15 (6 years ago)
Author:
dimpase
Comment:

On the other hand, a solver-independent way to get an optimal dual solution is very much welcome, as this is lacking currently, and often needed.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #18735

    • Property Cc dimpase added

  • Ticket #18735 – Description

    initial v3  
    11Sometimes one can use a fast numerical LP solver to solve a problem to "optimality",
    22then reconstruct the primal and dual solution in rational arithmetic (or over whatever base_ring was used...) and in this way prove that this basis is indeed optimal.
    3 MixedIntegerLinearProgram should support this mode of operation.
     3`MixedIntegerLinearProgram` should support this mode of operation.
    44
    55#18685 provides the necessary basis-status functions (for the GLPK backend).