luogu P6232 [eJOI2019]挂架

题面传送门
显然是个结论题。
可以发现，对于每个点，两棵子树肯定差值不大于\(1\)，而且如果差值为一，那么最晚更新点在左子树，反之在右子树。
然后预处理幂递归即可。
代码实现:

#include<cstdio>
#define mod 1000000007
using namespace std;
int n,m,p[1000039],ans,tot,pus;
long long k;
inline void dfs(int d,long long x){
	if(d==n) {ans=(ans+x%mod)%mod;return;}
	if(x%2==1) dfs(d+1,x/2ll+1ll);
	else ans=(ans+p[n-d])%mod,dfs(d+1,x/2ll);
}
int main(){
	register int i;
	scanf("%d%lld",&n,&k);
	p[1]=2;
	for(i=2;i<=n;i++) p[i]=p[i-1]*2%mod;
	dfs(1,k);
	printf("%d\n",ans);
}