Numerical and Symbolic Studies of the Peaceable Queens Problem
Yukun Yao, Doron Zeilberger · Experimental Mathematics · 2019
We discuss, and make partial progress on, the peaceable queens problem, the protagonist of OEIS sequence A250000. Symbolically, we prove that Jubin’s construction of two pentagons is at least a local optimum. Numerically, we find the exact numerical optimums for some specific configurations. Our method can be easily applied to more complicated configurations with more parameters.