arXiv++ Combinatorics

Browse math.CO papers from arXiv

Constraint Satisfaction Programming for the No-three-in-line Problem

Published: 2026-02-08
Comments: 16 pages, 6 figures, supplementary material on https://github.com/ThomasPrellberg/no-three-in-line---CP-SAT

Abstract

Using a constraint satisfaction approach, we exhibit configurations of $2n$ points on the $n\times n$ grid for all $n\le60$ with no three collinear. Consequently, the smallest $n$ for which it is unknown whether $D(n)=2n$ increases from $47$ to $61$.

BibTeX

Loading...