高德纳的向上箭头符号是否有任何实际用途，比如某些算法？

Question

最近，我读了一些关于阿克曼函数和高德纳向上箭头符号的东西。我知道符号用于表示变化大的数字。但是，我找不到这种表示法的任何实际用途 - 该符号应用于某些算法或程序。那么有谁知道这个符号在现实世界中是否有任何用途？

Answer 1

格雷厄姆数是严肃数学证明中使用的最大的数之一，是拉姆齐理论相关问题的上限。不过，这种用法与编程没有直接关系。

Answer 2

一个例子是不相交的集合数据结构，它在算法中用于计算图的连接分量。

使用此数据结构时，每个操作的摊销时间的复杂性基于阿克曼函数的逆函数。

参见R.Tarjan的论文"Efficiency of a Good But Not Linear Set Union Algorithm"进行证明。