一個 刻度的 Golomb 尺規是一組
個不同的非負整數
,稱為“刻度”,使得所有可能的不同整數對
, ...,
且
的正差值
都是不同的。
對於五個或更多刻度的 Golomb 尺規,不存在 完美 Golomb 尺規,即能夠唯一測量直至其長度的所有距離的 Golomb 尺規(Golomb 1972;Gardner 1983, p. 154)。
設 為
刻度的 Golomb 尺規中的最大整數。那麼一個
刻度的 Golomb 尺規
是最優的,如果
1. 不存在其他 刻度的 Golomb 尺規具有更小的最大刻度
,並且
2. 該尺規以規範形式書寫,作為等價尺規 和
中的“較小”者,其中“較小”意味著第一個不同的條目小於另一個尺規中的相應條目。
在這種情況下, 被稱為最優
刻度尺規的“長度”。
因此,(0, 1, 3) 是唯一的模反轉最優 3 刻度 Golomb 尺規(即,(0, 2, 3) 被認為是相同的尺規)。
例如,集合 (0, 1, 3, 7) 是 4 刻度 Golomb 尺規,因為它的差值是 (,
,
,
,
,
),所有這些都是不同的。然而,唯一的最優 Golomb 4 刻度尺規是 (0, 1, 4, 6),它可以測量距離 (1, 2, 3, 4, 5, 6)。再舉一個例子,事實證明最優 6 刻度 Golomb 尺規的長度是 17。實際上,總共有四個不同的長度為 17 的 6 刻度 Golomb 尺規,其中一個由 (0, 1, 4, 10, 12, 17) 給出。
尺規可以透過給出刻度出現的位置(例如,上面示例中的 (0, 1, 3, 7))或連續刻度之間的差異來表示,在本例中,差異將是 。
對於 刻度的 Golomb 尺規,當
, 3, 4, ... 時,最優長度分別為 1, 3, 6, 11, 17, 25, 34, ... (OEIS A003022, Vanderschel 和 Garry)。雖然對於
刻度的 Golomb 尺規,當
時,最優長度尚不清楚,但在 1998 年至 2023 年間,Golomb 尺規搜尋專案證明了已知的 21 至 28 刻度尺規是最優的。
證明 Golomb 尺規的最優性是出了名的困難。例如,在 1967 年,J. P. Robinson 和 A. J. Bernstein 發現了 24 刻度尺規 (0, 9, 33, 37, 38, 97, 122, 129, 140, 142, 152, 191, 205, 208, 252, 278, 286, 326, 332, 353, 368, 384, 403, 425),該尺規在 2004 年 11 月 1 日透過在distributed.net上進行為期 4 年的計算而被驗證為最優,該計算對 個尺規進行了窮舉搜尋 (distributed.net 2004)。1984 年,M. D. Atkinson 和 A. Hassenklover 發現了 25 刻度尺規 (0, 12, 29, 39, 72, 91, 146, 157, 160, 161, 166, 191, 207, 214, 258, 290, 316, 354, 372, 394, 396, 431, 459, 467, 480)。隨後的八年distributed.net針對 25 刻度尺規的專案,在
人的協助下,於 2008 年 10 月 25 日宣佈 25 刻度尺規是最優的。
Dimitromanolakis (2002)、Drakakis (2009) 以及 Rokicki 和 Dogon 對 Golomb 尺規的構造方法進行了綜述。正如 Rokicki 和 Dogon 所指出的,Singer (1938) 開發的技術,以及 Bose (1942) 和 Bose 和 Chowla (1962-63) 的一些後續研究,產生的尺規保證接近最優,看起來是最優的,並且除了六個小尺寸外,已經產生了所有已知的最優尺規(參見 Pegg 2016)。
對於 刻度的 Golomb 尺規,不等價最優尺規的數量
,當
, 3, ... 時,分別為 1, 1, 1, 2, 4, 5, 1, 1, 1, ... (OEIS A036501),最優
刻度尺規中的距離數量由三角形數
給出,因此對於
, 2, ..., 前幾個是 0, 1, 3, 6, 10, 15, ... (OEIS A000217)。
下表給出了小 的最優 Golomb 尺規的完整列表。J. B. Shearer 維護著一個更完整的表格。
| 最優尺規 | ||
| 2 | 1 | (0, 1) |
| 3 | 1 | (0, 1, 3) |
| 4 | 1 | (0, 1, 4, 6) |
| 5 | 2 | (0, 1, 4, 9, 11), (0, 2, 7, 8, 11) |
| 6 | 4 | (0, 1, 4, 10, 12, 17), (0, 1, 4, 10, 15, 17), (0, 1, 8, 12, 14, 17), |
| (0, 1, 8, 11, 13, 17) | ||
| 7 | 5 | (0, 1, 4, 10, 18, 23, 25), (0, 2, 3, 10, 16, 21, 25), (0, 1, 11, 16, 19, 23, 25), |
| (0, 1, 7, 11, 20, 23, 25), (0, 2, 7, 13, 21, 22, 25) | ||
| 8 | 1 | (0, 1, 4, 9, 15, 22, 32, 34) |