29 Apr
2013
29 Apr
'13
12:52 p.m.
"AL" == Andy Latto <andy.latto@pobox.com> writes:
AL> Does anyone know how long the computation that proves the 4-color AL> theorem, that took 1200 hours on an IBM 370, would take on a modern AL> laptop? The obit said 10 billion calculations. Another post quoted a comment that the algorithm is "embarrassingly parallel". The answer, then, is highly dependent on how many cores you throw at it. And whether it can be written to use sse/avx/neon vector ops. Even noting that 10000000000 has only one significant digit, it should take one to a few seconds. -JimC -- James Cloos <cloos@jhcloos.com> OpenPGP: 1024D/ED7DAEA6