29 Apr
2013
29 Apr
'13
10:07 a.m.
Sad news indeed ... but his work lives on, and fascinating it was. To work out what 1,200 hours of 1976 computing is today, maybe one can just divide by four for every three years, so that's *0.25^12 ... or less than one second. However, the algorithm admitted of 'embarrassing parallelism' whereby many independent parts of the proof (one for each subsetted subgraph) could be carried out in parallel. So, one need not wait even one second if there's a hurry on! Guy