阿克曼函数

2656 阿克曼函数

阿克曼（Arkmann）函数 A(m,n)A(m,n) 中，m与n的定义域是非负整数且本题中m<=3，n<=16。

函数的定义为：

输入

两个整数 m n

输出

一个整数，akm(m,n)的结果

输入样例

1 1

输出样例

3

由题目知道

m=0的时候  akm(m,n)=n+1;

假设n>0:

m=1时，akm(1,n)=akm(0,akm(1,n-1))=akm(1,n-1)+1;

假设b[n]=akm(1,n)，b[n-1]=akm(1,n-1);则b是一个等差数列。

可知：b[n]=b[1]+n-1;

我们可以很简单计算出，b[1]=akm(1,1)=3;

则有：akm(1,n)=akm(1,1)+n-1=n+2;

所以m=1时，akm(m,n)=n+2;

m=2时，akm(2,n)=akm(1,akm(2,n-1))=akm(2,n-1)+2;

假设b[n]=akm(2,n)，b[n-1]=akm(2,n-1);则b是一个等差数列。

可知：b[n]=b[1]+2(n-1);

我们可以很简单计算出，b[1]=akm(2,1)=5;

则有：akm(2,n)=akm(2,1)+2(n-1)=2*n+3

所以m=2时，akm(m,n)=2*n+3;

m=3时，akm(3,n)=akm(2,akm(3,n-1))=2*akm(3,n-1)+3;

假设b[n]=akm(3,n)+3,则b[n]=2*b[n-1]

可以知道b[n]=b[1]*2^(n-1);

可以计算出b[1]=16;

则有b[n]=2^(n+3);

所以m=3时，akm(m,n)=2^(n+3)-3;

当n=0的时候，akm(m,n)=akm(m-1,1);其实这个递归通过上面的结论，只会往下递归一次，事实上，以上的结论对于n=0是完全符合的，因此，这种情况可以和上面的推论合为一起。

#include<cstdio>
#include<cmath>
using namespace std;
int akm(int m,int n){
    if(m==0)    return n+1;
    if(m==1)    return n+2;
    if(m==2)    return 2*n+3;
    if(m==3)    return (1<<(n+3))-3;
}

int main(){
    //freopen("in.text","r",stdin);
    int m,n;
    scanf("%d%d",&m,&n);
    printf("%d\n",akm(m,n));
    return 0;
}

其实，按道理来讲，是可以记忆化递归的，只不过我写的总是过不了，如果有哪位朋友写过了，希望可以分享一下……