optimize/fs cap set
optimize/fs cap set: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A cap set in F 3^4 is a set of vectors in {0,1,2}^4 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(4,3))…
The task
A cap set in F_3^4 is a set of vectors in {0,1,2}^4 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(4,3)). Find a cap set in F_3^4 that is as large as possible. The score is the number of vectors.