HF RL Explorer

construct/mc hadamard

construct/mc hadamard: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find two sequences x 0..28 and y 0..28 with entries in {-1, +1} (a Legendre pair of length 29) such that (a) sum(x) = 1 and sum(y) = 1, and (b) for every k = 1..14: sum {i=0}^{28} x i x (i+k) mod 29 + sum…

The task

Find two sequences x[0..28] and y[0..28] with entries in {-1, +1} (a Legendre pair of length 29) such that (a) sum(x) = 1 and sum(y) = 1, and (b) for every k = 1..14: sum_{i=0}^{28} x[i]*x[(i+k) mod 29] + sum_{i=0}^{28} y[i]*y[(i+k) mod 29] = -2.

Part of amphora/MathConstructOptimize-Envs-harbor.