construct/mc golomb
construct/mc golomb: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A Golomb ruler with 15 marks is a list of integers 0 = a 0 < a 1 < ... < a 14 such that all 105 differences a j - a i (i < j) are distinct; its length is a 14.
The task
A Golomb ruler with 15 marks is a list of integers 0 = a_0 < a_1 < ... < a_14 such that all 105 differences a_j - a_i (i < j) are distinct; its length is a_14.