AbstractThe Ackermann function is defined recursively by A(0,n)=n + 1; A(i,0) = A(i - 1, 1) for i>0; and A(i,n)=A(in −1, A(i-1))for i,n > 0. An iterative algorithm for computing A(i,n) is presented. It has O(i) space complexity and O(iA(i,n)) time complexity, both of which are much smaller than the corresponding quantities for an algorithm based directly on the recursive definition
Machines and Recursive Definitions 2.1 Abstract Machines The best-known model of mechanical comput...
Typically there are significant differences between the initial formulation of an algorithm and its ...
AbstractThe McCreight-Meyer algorithm is a priority-queue construction from abstract recursion theor...
AbstractThe Ackermann function is defined recursively by A(0,n)=n + 1; A(i,0) = A(i - 1, 1) for i>0;...
Ackermann's function can be expressed using an iterative algorithm, which essentially takes the form...
Mathematical LogicThe Ackermann function is a classic example of a function that is not "primitive r...
computable), but it grows too fast to be primitive recursive (i.e., computable without using dirty t...
The Ackermann function is a fascinating and well studied paradigm for a function which eventually do...
We are concerned with programs for computing functions, and the running times of these programs as m...
AbstractGrzegorczyk (1953) defines a recursive hierarchy fi(x). The diagonal function fx(x) majorize...
AbstractRabin and Blum proved the existence of 0, 1-valued recursive functions which are arbitrarily...
Typically there are significant differences between the initial formulation of an algorithm and its ...
The object of this paper is to study the mechanism of recursion in a simple, LISP-like programming l...
We propose a detailed proof of the fact that the inverse of Ackermannfunction is computable in linea...
By taking a closer look at the construction of an Ackermann function we see that between any primiti...
Machines and Recursive Definitions 2.1 Abstract Machines The best-known model of mechanical comput...
Typically there are significant differences between the initial formulation of an algorithm and its ...
AbstractThe McCreight-Meyer algorithm is a priority-queue construction from abstract recursion theor...
AbstractThe Ackermann function is defined recursively by A(0,n)=n + 1; A(i,0) = A(i - 1, 1) for i>0;...
Ackermann's function can be expressed using an iterative algorithm, which essentially takes the form...
Mathematical LogicThe Ackermann function is a classic example of a function that is not "primitive r...
computable), but it grows too fast to be primitive recursive (i.e., computable without using dirty t...
The Ackermann function is a fascinating and well studied paradigm for a function which eventually do...
We are concerned with programs for computing functions, and the running times of these programs as m...
AbstractGrzegorczyk (1953) defines a recursive hierarchy fi(x). The diagonal function fx(x) majorize...
AbstractRabin and Blum proved the existence of 0, 1-valued recursive functions which are arbitrarily...
Typically there are significant differences between the initial formulation of an algorithm and its ...
The object of this paper is to study the mechanism of recursion in a simple, LISP-like programming l...
We propose a detailed proof of the fact that the inverse of Ackermannfunction is computable in linea...
By taking a closer look at the construction of an Ackermann function we see that between any primiti...
Machines and Recursive Definitions 2.1 Abstract Machines The best-known model of mechanical comput...
Typically there are significant differences between the initial formulation of an algorithm and its ...
AbstractThe McCreight-Meyer algorithm is a priority-queue construction from abstract recursion theor...