2011Ackermann函数的非递归求值(栈实现 能跑大数字)

描述

        无

输入

多组数据，每组数据有一行，为两个整数m和n。当m和n都等于0时，输入结束。

输出

每组数据输出一行，为Ack(m,n)。

输入样例 1 

2 1
3 5
3 10
0 0

输出样例 1

5
253
8189

//Ackermann函数的非递归求值
#include <iostream>
using namespace std;
typedef struct{
	int *V;
	int top;
	int bottom;
}SqStack;
void InitStack(SqStack &stack){
	stack.V=new int[1000];
	stack.top=stack.bottom=0;
}
void Push(SqStack &stack,int e){
	stack.V[stack.top]=e;
	stack.top++;
}
int Pop(SqStack &stack){
	stack.top--;
	return stack.V[stack.top];
}
int Gettop(SqStack &stack){
	return stack.V[stack.top-1]; 
}
int empty(SqStack &stack){return stack.top==stack.bottom;}
int Ackermann(int m,int n){
	SqStack Sm,Sn;
	InitStack(Sm);
	InitStack(Sn);
	Push(Sm,m);
	Push(Sn,n);
	while(!empty(Sm)){
		while(m!=0){
			if(n==0){
				m=m-1;
				n=1;
				Push(Sm,m);
				Push(Sn,n);
			}
			else{
				n=n-1;
				Push(Sm,m-1);
				Push(Sn,-1);
			}
		}
		n=n+1;
		while((!empty(Sm))&&Gettop(Sn)!=-1){
			Pop(Sm);
			Pop(Sn);
		}
		if(!empty(Sm))
		{
			m=Gettop(Sm);
			Pop(Sn);
			Push(Sn,n);
		}
	}
	return n;
}
/*
	建立两个栈 用于存放m和n 
	终极状态为m所在的栈为空 执行的整个过程其实就是阿卡曼(m,n) 计算结果并存储在n中（阿卡曼函数中需要调用本身的情况仅发生在m身上） 
	针对一个可结束的过程，最终的状态是m为0
	当m不为零的时候 如果n不为0 就会调用自身 那么在m中存储m-1 在n中存储一个待定的值 用-1占个位置 
	(*)当m不为零的时候 如果n为0 那么就要在m栈入栈m-1 n栈入栈1
	如果m为零 则此值为“n+1”且所有在此之前的(*)步的阿卡曼函数都为n+1 则将他们全部出栈
	当一个调用自身的过程算完后 我们可以令m拿回主动权 变成m的栈顶 并把n栈的栈顶改成我们刚算出来的“n+1” 
	但如果我们发现m栈这个时候是空的 那么就不需要管了 n就是我们的答案了 
*/ 
int main(){ 
	int m,n;
	cin>>m>>n;
	while(m!=0&&n!=0){
		cout<<Ackermann(m,n)<<endl; 
		cin>>m>>n;
	}
	return 0;
}

我看到有人用数组做的 数组做是不行的 只能跑非递归的值 很难跑递归的值 比如Ackermann(3,10)已经达到了8000+的数字 运算的过程中也会有我们无法预先知道的大数 而使用的参数却是3和10这样的小数 我们根本无法通过预知数字大小来创建数组 用栈相当于使用了递归的思维 是可以用的