(mathematics) The problem of finding two disjoint sets A and B of n integers each, such that ∑_(a∈A)aⁱ=∑_(b∈B)bⁱ for each integer i from 1 to a given k.