math.CO — Combinatorics
Partitioning into parts of size at most three whose sums are powers of three
We prove unconditionally the conjecture of Gurvich and Naumova that for every the set can be partitioned into parts of at most three elements whose sums are powers of . The partition is given by an explicit recursion.
A mix of human-written and AI-generated textHuman understanding: some partsformal verificationpowers of threeset partitionzero-sum triples