We propose a detailed proof of the fact that the inverse of Ackermann function is computable in linear time.
翻译:我们提议详细证明 阿克曼函数的反向 可以用线性时间计算