HF RL Explorer

construct/rlve prefix product permutation

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

The task

Find a permutation p_1, ..., p_6373 of the integers 1, 2, ..., 6373 such that the 6373 prefix products p_1, p_1*p_2, ..., p_1*p_2*...*p_6373 are pairwise distinct modulo 6373.

Part of amphora/MathConstructOptimize-Envs-harbor.