是否有任何算法如此缓慢以至于大O符号无法限制它们？

Question

是否有一个算法（保证停止）具有如此大的时间复杂度，以至于它不能通过可计算函数渐近地限制？我理解繁忙的海狸函数BB（x）比任何可计算函数增长得快，但我也认为没有算法可以设计为在Θ（BB（x））中运行，因为这可以解决暂停问题。

我认为答案是否定的，但我不确定如何证明这一点。

Answer 1

总是暂停的算法有一个可以按定义计算的运行时间：想象一下在模拟器中运行程序并计算程序花费的周期。