Optimal Golomb ruler $G(30)$

Shortest known Golomb ruler with 30 marks

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

Lower bound: Unknown
Upper bound: $680$ 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