MathDB
Partition into sets with equal sum of powers in F_p

Source: IMOC 2021 N7

August 11, 2021
modular arithmeticnumber theory

Problem Statement

Let pp be a given odd prime. Find the largest integer kk' such that it is possible to partition {1,2,,p1}\{1,2,\cdots,p-1\} into two sets X,YX,Y such that for any kk with 0kk0 \le k \le k',
aXakbYbk(modp)\sum_{a \in X}a^k \equiv \sum_{b \in Y}b^k \pmod p
houkai