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