https://atcoder.jp/contests/abc134/tasks/abc134_d
条件を満たすボールの入れ方は、一意に定まる。
n = 4 の場合、4 までに 3, 4 の倍数は一つしかないので、 | | |X|X| a_3, a_4 の情報から i = 3,4 のボールの個数が確定する。
次に、a_2 の情報から i = 2 のボールの個数が確定する。最後に i = 1 が確定する。
このように考えると、第 k ステップで i ≥ floor(n/2^k) の場所のボールの個数が確定することがわかる。