HF RL Explorer

construct/rlve prefix sum permutation

construct/rlve prefix sum permutation: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find a permutation p 1, ..., p 4 of the integers 1, 2, ..., 4 such that the 4 prefix sums p 1, p 1+p 2, ..., p 1+p 2+...+p 4 are pairwise distinct modulo 4.

The task

Find a permutation p_1, ..., p_4 of the integers 1, 2, ..., 4 such that the 4 prefix sums p_1, p_1+p_2, ..., p_1+p_2+...+p_4 are pairwise distinct modulo 4.

Part of amphora/MathConstructOptimize-Envs-harbor.