Golomb rulers as sets A set of integers A = \{a_1,a_2,...,a_m\} where a_1 is a Golomb ruler if and only if :\text{for all } i,j,k,l \in \left\{1,2,...,m\right\} \text{such that } i \neq j \text{ and } k \neq l,\ a_i - a_j = a_k - a_l \iff i=k \text{ and } j=l. The
order of such a Golomb ruler is m and its
length is a_m - a_1. The
canonical form has a_1 = 0 and, if m>2, a_2 - a_1 . Such a form can be achieved through translation and reflection.
Golomb rulers as functions An
injective function f:\left\{1,2,...,m\right\} \to \left\{0,1,...,n\right\} with f(1) = 0 and f(m) = n is a Golomb ruler if and only if :\text{for all } i,j,k,l \in \left\{1,2,...,m\right\} \text{such that } i \neq j \text{ and } k \neq l, f(i)-f(j) = f(k)-f(l) \iff i=k \text{ and } j=l. The
order of such a Golomb ruler is m and its
length is n. The canonical form has :f(2) if m>2.
Optimality A Golomb ruler of order m with length n may be
optimal in either of two respects: • It may be
optimally dense, exhibiting maximal m for the specific value of n, • It may be
optimally short, exhibiting minimal n for the specific value of m. The general term
optimal Golomb ruler is used to refer to the second type of optimality. == Mathematical formulation ==