construct/mc debruijn
construct/mc debruijn: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A De Bruijn sequence B(4, 5) is a cyclic sequence x 0..1023 of length 4^5 = 1024 over the alphabet {0, ..., 3} in which every word of length 5 over that alphabet appears exactly once as a window x i , x i+1 , …
The task
A De Bruijn sequence B(4, 5) is a cyclic sequence x[0..1023] of length 4^5 = 1024 over the alphabet {0, ..., 3} in which every word of length 5 over that alphabet appears exactly once as a window x[i], x[i+1], ..., x[i+4] (indices taken modulo 1024).