且构网

分享程序员开发的那些事...
且构网 - 分享程序员编程开发的那些事

查找线性程序的确切解决方案

更新时间:2023-02-13 20:36:26

SoPlex 可以使用有理算法来求解LP.确切地.像这样使用它:

SoPlex can use rational arithmetic to solve LPs exactly. Use it like this:

soplex -X -Y -o0 -f0 problem.lp

选项XY将以有理数打印原始解和对偶解,而o0f0将最优性和可行性公差设置为0,从而精确地求解LP.

Options X and Y will print the primal and dual solution in rational numbers, while o0 and f0 set the optimality and feasibility tolerance to 0, hence solving the LP exactly.

您需要安装GMP(或Windows上的MPIR)才能使用合理的功能.与QSopt_exact相比,一个优点是SoPlex使用了一种混合技术,将双精度计算的速度与有理算术的精确精度结合在一起(

You need GMP installed (or MPIR on Windows) to use the rational functionalities. One advantage over QSopt_exact is that SoPlex uses a hybrid technique combining the speed of double precision computation with the exact precision of rational arithmetic (iterative refinement).