代码之家  ›  专栏  ›  技术社区  ›  user2303325

通过证明递归是Omega(nlogn)来归纳证明递归不是O(n)

  •  1
  • user2303325  · 技术社区  · 9 年前

    注意:这与家庭作业有关。

    我正试图证明这一点 T(n/3) + T(2n/3) + n >= cn , for all c > 0 .

    当我尝试这样做时,基本案例失败了 (T(1) = 1 >= cn, for all c > 0 ,不是真的)。为了解决这个问题,我想证明这个问题有一个比 O(n) 。这是否构成正确的证明?

    1 回复  |  直到 9 年前
        1
  •  1
  •   templatetypedef    9 年前

    作为提示,尝试添加更多术语。假设函数满足

    T(n)≥ k 1. n对数n+k 2. n+k 3.

    现在,当你插入n=1时,可以通过设置k使右手边为非零 2. 和k 3. 适当地。这类技术通常用于对上限和下限函数进行归纳,因为这些低阶项与big-O表示法无关,并且可以优雅地处理较小的情况。