optimize/fs cap set
optimize/fs cap set: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A cap set in F 3^7 is a set of vectors in {0,1,2}^7 that contains no three distinct vectors x, y, z with x + y + z = 0 (mod 3) coordinate-wise (equivalently, no three points on a line of the affine space AG(7,3))…
The task
A cap set in F_3^7 is a set of vectors in {0,1,2}^7 that contains no three distinct vectors x, y, z with x + y + z = 0 (mod 3) coordinate-wise (equivalently, no three points on a line of the affine space AG(7,3)). Find a cap set in F_3^7 that is as large as possible. The score is the number of vectors.