3 ms·
How long did it take to compute s(12)? How much harder would it be to compute s(13)?
by thethirdone 5y ago
How long did it take to compute s(12)? How much harder would it be to compute s(13)?
- jix 5y agoComputing s(11) and s(12) together took just below 5 hours on a 24 core server, but it also required almost 200 GB of RAM. Verifying the computation took about 3 days in total on the same server. Computing s(9) and s(10) with the same approach takes under a second and a few megabytes, so while this is much faster than the previous approach (the one I described in the blog post) it still grows very quickly. I don't know exactly how much s(13) would take, but extrapolating from the number I have for smaller n, my estimate is that it would take over 20000 TB of RAM and take proportionally longer. Distributing the computation would also slow it down a lot as all cores are doing frequent random accesses to all the used memory. So s(12) seems to be the end of what's possible with this exact approach, but I think some of the theory I developed might be usable beyond.