[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
appear.)
>
> 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.
- [Help-glpk] glpsol, arbitrary precision and large numbers, Edd Barrett, 2012/06/25
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, Andrew Makhorin, 2012/06/25
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, Edd Barrett, 2012/06/27
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, Edd Barrett, 2012/06/29
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, glpk xypron, 2012/06/29
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, Andrew Makhorin, 2012/06/29
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, Edd Barrett, 2012/06/29
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers,
Andrew Makhorin <=
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, Michael Hennebry, 2012/06/30
- Re: [Help-glpk] glpsol, arbitrary precision and large numbers, Andrew Makhorin, 2012/06/30