主题
Search

TAK 函数


一个由 I. Takeuchi 于 1978 年提出的递归函数(Knuth 1998)。对于整数 x, y, 和 z,它被定义为

 t(x,y,z)={y   for x<=y; t(t(x-1,y,z),t(y-1,z,x),t(z-1,x,y))   otherwise
(1)

这可以更简单地描述为

 t(x,y,z)={y   if x<=y; {z   if y<=z; x   otherwise   otherwise
(2)

T(x,y,z) 为上述函数中 "otherwise" 被调用的次数。那么对于 a>b>0T(a,b,0) 由下式给出

T(a,b,0)=4sum_(k=0)^(b)(a-b)/(a+b-2k)(a+b-2k; b-k)-3
(3)
=1+4sum_(k=0)^(b-1)(a-b)/(a+b-2k)(a+b-2k; b-k)
(4)

(Vardi 1991)。

Takeuchi 数定义为 T_n=T(n,0,n+1)

TAK 函数也与投票问题有关 (Vardi 1991)。


另请参阅

阿克曼函数, 投票问题, 递归函数, Takeuchi 数, Takeuchi-Prellberg 常数

使用 探索

参考资料

Finch, S. R. Mathematical Constants. Cambridge, England: Cambridge University Press, p. 321, 2003.Gabriel, R. P. Performance and Implementation of Lisp Systems. Cambridge, MA: MIT Press, 1985.Knuth, D. E. "Textbook Examples of Recursion." Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy (Ed. V. Lifschitz). Boston, MA: Academic Press, pp. 207-229, 1990.Knuth, D. E. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, 3rd ed. Reading, MA: Addison-Wesley, 1998.Knuth, D. E. The Art of Computer Programming, Vol. 3: Sorting and Searching, 2nd ed. Reading, MA: Addison-Wesley, 1998.Vardi, I. "The Running Time of TAK." Ch. 9 in Computational Recreations in Mathematica. Redwood City, CA: Addison-Wesley, pp. 179-199, 1991.

在 上被引用

TAK 函数

引用为

Weisstein, Eric W. “TAK 函数。” 来自 Web 资源。 https://mathworld.net.cn/TAKFunction.html

主题分类