Optimal Golomb ruler $G(22)$

Optimal Golomb ruler with 22 marks

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

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