A[n_/;n>=0,k_/;k>=0]:=A[n,k]=模[{x},其中[k个 == 0, 如果[n个 == 1, 三,
k个 == 0, 如果[n个 == 1, 三, 2*楼层[n/4]+Mod[n,4]], k个 == 1, x个 = n个 - k个 + 1; 哪个[x个 == 1, 三, x个 == 2, 4,
k==1,x=n-k+1;
其中[x==1,3,x==2,4,
正确,2*层[(n+1)*(1/4)]-1+模型[n+1,4]],n<2*k,A[n,n-k], 真的,
真的, 1+最小值[A[n-3,k-2],A[n-3,k-1]]];
表[T[n-k,k],{n,0,13},{k,0,n}]//扁平 (* _牛仔-弗朗索瓦 阿尔科弗_, 五月 20 2022, 之后 _于-盛 张_ *)