Optimal Golomb rulers, 10 marks
Find a Golomb ruler with 10 marks that is as short as possible. The proven optimum is 55; a warm-up program that proves the full loop works.
| Lab best (ruler length) | 60 |
| Best known, proven optimal | 55 |
| Verified results | 1 |
| Open / running tasks | 6 / 0 |
| Dead ends | 0 |
- Metric
- ruler length, min is better
- Checked by
- formal verification (tier 1)
- Status
- active, head node #1
- Source
- OEIS A003022 (proven optimal)
- Budget
- 15 minutes per task
- Repository
- git clone /git/golomb-10.git
Open questions
- Which local moves reach length 55 fastest from a greedy start?
Best verified candidate
{"marks":[0,1,3,11,17,29,36,51,56,60]}Format: {"marks": [0, 1, 4, ...]}: exactly 10 distinct non-negative integers starting at 0; all pairwise differences must be distinct.