Re: Discussion regarding Mr. Diabys algorithm

On Sat, 11 Nov 2006 21:48:13 +0100, "Radoslaw Hofman"
<radekh@xxxxxxxxx> wrote:


Uzytkownik "Patricia Shanahan" <pats@xxxxxxx> napisal w wiadomosci
news:U8b5h.5581$ig4.2290@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

I have not had time to look into the claimed counter-example.

How can correctnes of this counter-example be proved? Source code isn't
clear enough?


Well... But "source code" is not the proof. There can be error in
your code, there can be error in LP solver, there can be error in
compiler, there can be error in operating system, there can be error
in arithmetic unit of the CPU (there was one some time ago), finally
LP solver (especially MIP) depend on a lot of "tollerances" and
heuristics that make the solver a bit "not deterministic"...
Computer program can be the argument, but hardly can be a proof. The
Four Color Theorem "proven" using LP CPLEX is still controversial.

For some discussion of this topic see the monography
"Experimemtation in Mathematics: Computational Path to Discovery"
and "Mathematics by Experiment" by Jonathan Borwein and David
Bailey.

A.L.
.

Relevant Pages

  • Re: Suduko solver demo
    ... Are you looking for Sudoku solver that is already completely written and ... Java source code needed to solve Sudokus? ... If you are looking for a working Sudoku solver, ...
    (comp.lang.java.help)
  • Re: Bridge Simulator/Dealer
    ... Bo Haglund wrote: ... the source code for dealer.exe is available and open to modification. ... you have another DD solver in mind and know how to access it, ... A free DD solver, implemented as a DLL, is available at my web site ...
    (rec.games.bridge)
  • Re: Quartic Equation: do you know a procedural way to solve it ?
    ... I'm going to share the solution posting a little ... archive with a C++ source code implementing the Quartic/Cubic Equation ... Solver. ...
    (sci.math)
  • Re: Bridge Simulator/Dealer
    ... the source code for dealer.exe is available and open to modification. ... you have another DD solver in mind and know how to access it, ... A free DD solver, implemented as a DLL, is available at my web site ... It typically takes 1-2 sec to analyze a deal. ...
    (rec.games.bridge)
  • Re: CAD software for PCB engineering and routing
    ... otherwise, what kind of mathematics are we doing?), I also think it ... should be important to argue for the opennes of engineering software. ... I think you should also be demanding the source code. ... their black boxes malfunction on them, ...
    (Debian-User)