Here I'll report some findings of François Glineur on several questions about figures of constant width. François Glineur formulated the problem of finding a figure of constant width as a linear programming feasibility problem with binary variables. Then he used a commercial software to get the solutions. For chessboards of size up to 20 the solver was capable in a few seconds of finding a solution or deciding that none exists. Here's a summary of the results.
The figure of type (20,20,6) answers a question made in my note "Stuff left out of the paper". The fact that there are no figures of type (23,23,7) invalidates the conjecture made in that same note saying that there is a figure of type (3w+2,3w+2,w) for all w. The figure of type (12,12,4) disproves the conjecture that there is no figure of type (n,n,w) for n<3w+2. Imposing the restriction that the figures have central symmetry the solver was able to give the following results. |