[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Help-glpk] glpsol, arbitrary precision and large numbers

From: Andrew Makhorin
Subject: Re: [Help-glpk] glpsol, arbitrary precision and large numbers
Date: Sun, 01 Jul 2012 00:13:16 +0400

> I see. One further question; am I likely to run into similar problems
> using other solvers?

Undoubtely, until the solver uses exact arithmetic. (It does not
necessarily mean using rational numbers; for example, the minisat solver
available with the --minisat option converts 0-1 mip to a satisfiability
problem which is then solved with a specialized search algorithm where
the lp relaxation is not used and therefore round-off errors do not

> For example PPL has been used to verify C and C++ code.  Thus, 32 and
> 64 bit numbers mist be analysed. 

AFAIK, ppl uses bignums (arbitrary precision arithmetic), not
floating-point arithmetic.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]