复杂性理论中的替代方法

Question

请告知此答案是否应移至数学论坛。

我很困惑我们如何简单地复杂化理论方程式。

例如，假设我们有这个小的Fibonacci算法：

我们已获得以下信息：

我很难理解的是如何扩展和简化公式T(n)，尤其是：

我在这里真正想念的是什么？

由于

修改

这是从第775页的book中获取的。

Answer 1

让我重新说一下这个说法：

  

存在一些a和b，使得T（n）< aF _n - b

现在用

开始证明

  

选择b大到足以控制常数。

现在应该明确最后的不平等。