optimize/fs admissible set
optimize/fs admissible set: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A constant-weight admissible set A(12, 7) is a set of vectors in {0,1,2}^12 such that (1) every vector has exactly 7 nonzero entries; (2) no two vectors have the same support (set of nonzero coordinates); (3)…
The task
A constant-weight admissible set A(12, 7) is a set of vectors in {0,1,2}^12 such that (1) every vector has exactly 7 nonzero entries; (2) no two vectors have the same support (set of nonzero coordinates); (3) for every three distinct vectors u, v, x there is a coordinate i such that the multiset {u_i, v_i, x_i} is…