HF RL Explorer

optimize/fs cap set

optimize/fs cap set: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A cap set in F 3^5 is a set of vectors in {0,1,2}^5 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(5,3))…

The task

A cap set in F_3^5 is a set of vectors in {0,1,2}^5 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(5,3)). Find a cap set in F_3^5 that is as large as possible. The score is the number of vectors.

Part of amphora/MathConstructOptimize-Envs-harbor.