Editing Golomb ruler (section)

===Golomb rulers as functions===
An [[injective function]] <math>f:\left\{1,2,...,m\right\} \to \left\{0,1,...,n\right\}</math> with <math>f(1) = 0</math> and <math>f(m) = n</math> is a Golomb ruler if and only if

:<math>\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.</math><ref name="Drakakis">{{Cite journal
  | last = Drakakis
  | first = Konstantinos
  | title = A Review Of The Available Construction Methods For Golomb Rulers
  | journal = Advances in Mathematics of Communications
  | volume = 3
  | issue = 3
  | pages = 235–250
  | year = 2009
  | doi = 10.3934/amc.2009.3.235| doi-access = 
  }}</ref>{{rp|236}}

The ''order'' of such a Golomb ruler is <math>m</math> and its ''length'' is <math>n</math>. The canonical form has
:<math>f(2)<f(m)-f(m-1)</math> if <math>m>2</math>.