用递归计算大 O 符号

Question

我试图理解 Big O Notation 最坏情况运行时。但是我还是不太明白。

这是我最近写的一些代码：

def g(n):
    if n==0:
        return 1
    elif n==1:
        return 2
    else:
        n_div=n//2
        n_mod=n%2
        return g(n_div)*g(n_mod)

所以我希望我至少是对的：

def g(n):
    if n==0:
        return 1

和：

elif n==1:
    return 2

复杂度为 O(1)，所以恒定。

但是 else 部分呢。

是不是O(n)因为它取决于我选择的n？

谁能解释一下 else 部分的 Big O 复杂性是什么？

Answer 1

嗯，您已经注意到您可以将函数分成 3 个单独的情况，并且已经确定前 2 个是 O(1)。第三个稍微有点棘手，但您也可以将其分为两部分。

递归显然发生在：

g(n//2)*g(n%2)

我们可以立即看到 n%2 将评估为 0 或 1，这将再次解决前两种情况之一，因此我们可以忽略它。留给我们 g(n//2)。通过将其重写为打印循环并检查输出，您会注意到一些事情：

>>> n = 37
>>> while n > 1:
...     n //= 2
...     print(n)
...
18
9
4
2
1

正如你所看到的，项每次都减少一半，递归中也是如此。这是对数。

因此，此函数的最坏情况是 O(logn)。

您可以通过查看 this question.

了解更多关于 logn 在 Big-O 表示法中的实际含义

Answer 2

O 符号并不是真正用于程序的一部分。它真正测量了运行时间随着输入大小的增加而增加的方式。这样的话，耗时的部分就是最后的else部分。

您需要了解这对您的程序有何作用。这是一个简单的实证分析，应该对您有所帮助。如果我们稍微检测程序以打印出最终 else 部分针对给定输入运行了多少次，我们就会得到这个。

   n | times
-----+-----
   2 | 1
   4 | 2
   8 | 3
  16 | 4
  32 | 5
  64 | 6
 128 | 7
 256 | 8
 512 | 9
1024 | 10
2048 | 11
4096 | 12
8192 | 13

如果你绘制这个，你会看到类似这样的东西。

您可以看到，随着输入大小的增加，调用次数也会增加，但呈次线性增长。事实上，它是对数的，因为你的 n 每次循环迭代都会减少 50%。

用递归计算大 O 符号

Calculating Big O Notation with Recursion

python

big-o

notation

python-3.x