Problem

Source: 2017 ELMO Shortlist C3

Tags: combinatorics



Consider a finite binary string $b$ with at least $2017$ ones. Show that one can insert some plus signs in between pairs of digits such that the resulting sum, when performed in base $2$, is equal to a power of two. Proposed by David Stoner