Join Nostr
2024-09-08 06:36:55 UTC
in reply to

benni on Nostr: Great! Thank you! Looks very good. Now we need to proof just the remaining cases 7 < ...

Great! Thank you! Looks very good. Now we need to proof just the remaining cases 7 < n < 64 and 64 < n < 192 (I did n=7 by hand in the meantime, too). should be easy to automate. But maybe it is more interesting to think about what other interesting facts we can find? How many places are at least blocked for k >= n points? is there a number k < n which also does not work without blocking something?