设$f[i]$表示深度不超过i的严格n元树的数量。
有$f[i]=f[i-1]^n+1$。
$Ans=f[d]-f[d-1]$
递推式很显然。

代码:

n,d=map(int,raw_input().split())
f=[0]*17
f[0]=1
for i in range(1,d+1):
	f[i]=f[i-1]**n+1
print f[d]-f[d-1]

这个题目答案可能很大很大.. 所以最坏情况下是跑不出来的…