bin2[n_]=二项式[n,2];
bin3[n_]=二项式[n,3];
p[0]=q[0]=0;
p[1]=q[1]=1;
q[h1_]:=q[h1]=使用[{h=h1-1},q[h]+p[h]];
p[h1_]:=p[h1]=带有[{h=h1-1},bin2[1+p[h]]+p[h]q[h]];
a[h]:=a[h]=bin3[2+p[h]]+bin2[1+p[h]]q[h];
b[h]:=b[h]=bin2[1+p[h]];
e[h,i_]:=e[h、i]=1+和[d[j,i],{j,h-1}];
d[h,h]:=0;d[h,i_]:=p[h]/;i>h;
d[h1_,i1_]:=d[h1,i1]=带有[{h=h1-1,i=i1-1},bin2[1+d[h,i]]+d[h,i]e[h,i]];d(h,1):=d(h)=p(h)-p(h-1);
e[h,1]:=e[h、1]=p[h-1];
t1[h]:=总和[a[h-i]-bin3[2+d[h-i,i]]-bin2[1+d[h-i,i]e[h-i、i],{i,商[h,2]}];
t2[h]:=和[b[h-i+1]-bin2[1+d[h-i+1,i]],{i,商[h+1,2]}];
t[h]:=箱2[1+p[h]]+t1[h]+t2[h];
|