题目链接：https://codeforces.com/contest/1329/problem/C
或者：https://codeforces.com/contest/1330/problem/E
（我来装b了，给各位看看我的压行技术，雾）
贪心，如果根节点能删则删，否则把左右儿子当作根分别dfs一下（说明一下，如果删除了某个节点导致深度g以内出现了0就说明不能删，因为这样导致最终无法得到高为g的满二叉堆了）
这里提供一下伪代码，可以和真·代码对照着看
void dfs(int x){
if(a[x]==0)return;
while( 可以删除a[x] ) 删除a[x], 记录x; //记录x因为最后要输出这个
dfs(x*2); dfs(x*2+1);
}
至于为什么这个贪心是对的呢，感性理解一下就是，每次操作，如果删除大儿子节点的收益一定不如删除它的父亲，因此首先要不断删除根节点。如果发现某节点不能删除，其大儿子也必定不能删除，这样可以发现整条链（由大儿子大孙子组成）都无法被删除。这时候考虑这条链上某个节点的小儿子，它一旦被删除也只会变更小，无法翻身成为大儿子，这样保证了整条链的稳定性，所以不能删除的节点终究还是不能删除（怎么好像有点悲伤），因此确实不用考虑不能删除的节点了
#include <bits/stdc++.h>
using namespace std;
#define repeat(i,a,b) for(int i=(a),_=(b);i<_;i++)
#define repeat_back(i,a,b) for(int i=(b)-1,_=(a);i>=_;i--)
int cansel_sync=(ios::sync_with_stdio(0),cin.tie(0),0);
const int N=2100010; typedef long long ll; ll read(){ll x; if(scanf("%lld",&x)==-1)exit(0); return x;}
//#define int ll
int a[N],h,g;
#define lc (x*2) //左儿子编号
#define rc (x*2+1) //右儿子编号
#define bigch (a[lc]>a[rc]?lc:rc) //左右儿子中较大的儿子编号
int height(int x){ //x的高度，即删除x会让多少个数变化
if(a[x]==0)return 0;
return height(bigch)+1;
}
void del(int x){ //删除x，和题目里代码的功能一模一样
if(a[x]==0)return;
a[x]=a[bigch];
del(bigch);
}
vector<int> ans;
void dfs(int x,int dep){ //递归求解，这个函数就是上文伪代码抽象出来的
if(a[x]==0)return;
while(height(x)+dep>g)del(x),ans.push_back(x);
dfs(lc,dep+1); dfs(rc,dep+1);
}
signed main(){
int T=read();
while(T--){
h=read(),g=read();
fill(a,a+(1<<h)*2+2,0); ans.clear();
repeat(i,1,(1<<h))a[i]=read();
dfs(1,0);
ll s=0; repeat(i,1,(1<<g))s+=a[i];
cout<<s<<endl;
for(auto i:ans)cout<<i<<' '; cout<<endl;
}
return 0;
}