construct/mc all interval
construct/mc all interval: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). An all-interval series of size 16 is a permutation x 0..15 of 0..15 such that the absolute differences d i = x i+1 - x i (i = 0..14) form a permutation of 1..15.
The task
An all-interval series of size 16 is a permutation x[0..15] of 0..15 such that the absolute differences d[i] = |x[i+1] - x[i]| (i = 0..14) form a permutation of 1..15.