Optimal Golomb ruler $G(21)$

Optimal Golomb ruler with 21 marks

The shortest length of a Golomb ruler with $21$ marks: a set of $21$ integers such that no two pairs of them are the same distance apart.

Value: $333$ Verified upper bound

Verified bounds

Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.

Updates from the literature