题解

思路很简单，从27开始往下遍历，如果$pow(2,i)$小于$n$的话，就把n减去$pow(2,i)$，最后如果存在优秀的拆分，$n$一定等于$0$，否则不存在优秀的拆分。
为什么是27开始遍历？
因为输入数据的数据范围是$10^{7}$ ，只要求出$ceil(log2(10^{7}))$就可以求出上限，而Python刚好可以高效的解决这个问题：

import math
print(math.ceil(math.log2(1e7)))

AC代码如下：

#include <bits/stdc++.h>
using namespace std;

vector<int> ans; // 暂存答案 
int main()
{
	int n;
	cin>>n;
	for(int i=27;i>0;i--) // 为什么是27？ 
	{
		if(pow(2,i)<=n)
		{
			ans.push_back(pow(2,i));
			n-=pow(2, i);
		}
	}
	if(n>0) cout<<-1;
	else for(int i=0;i<ans.size();i++) cout<<ans[i]<<' ';
}