Optimal Golomb ruler $G(29)$

Shortest known Golomb ruler with 29 marks

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

Lower bound: Unknown
Upper bound: $623$ Verified

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