One convention for the Ackermann function on nonnegative integers isIts two-argument recursion defines a computable function; fixing the convention matters when defining an inverse Ackermann function.
For the displayed Ackermann function convention, one possible inverse-growth scale is for positive integers . It gives through , from through , and from through . Several inverse Ackermann function conventions occur in algorithm analysis; changing convention can shift these small values without changing the very slow growth relevant to the disjoint-set data structure. This inverse-growth definition does not invert a two-variable function as an ordinary one-variable inverse function.
Articles by others on the same topic
The Ackermann function is a well-known example of a recursive function that is not primitive recursive. It serves as a benchmark for computing and illustrates the concept of deep recursion.
To get an intuition for it, see the sample computation at: en.wikipedia.org/w/index.php?title=Ackermann_function&oldid=1170238965#TRS,_based_on_2-ary_function where in this context. From this, we immediately get the intuition that these functions are recursive somehow.