Optimal Golomb ruler $G(26)$

Optimal Golomb ruler with 26 marks

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

Value: $492$ 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