Python内置方法的时间复杂度

本是古典何须时尚 2022-03-01 12:52 140阅读 0赞

转载自：http://www.orangecube.net/python-time-complexity

本文翻译自[Python Wiki][]  
本文基于[GPL v2][]协议，转载请保留此协议。

本页面涵盖了Python中若干方法的时间复杂度（或者叫“大欧”，“Big O”）。该时间复杂度的计算基于当前（译注：至少是2011年之前）的CPython实现。其他Python的实现（包括老版本或者尚在开发的CPython实现）可能会在性能表现上有些许小小的差异，但一般不超过一个O(log n)项。

本文中，’n’代表容器中元素的数量，’k’代表参数的值，或者参数的数量。

### 列表（`list`） ###

以完全随机的列表考虑平均情况。

列表是以数组（Array）实现的。最大的开销发生在超过当前分配大小的增长，这种情况下所有元素都需要移动；或者是在起始位置附近插入或者删除元素，这种情况下所有在该位置后面的元素都需要移动。如果你需要在一个队列的两端进行增删的操作，应当使用`collections.deque`（双向队列）

<table> 
 <tbody> 
  <tr> 
   <td>操作</td> 
   <td>平均情况</td> 
   <td><a href="http://en.wikipedia.org/wiki/Amortized_analysis" rel="nofollow">最坏情况</a></td> 
  </tr> 
  <tr> 
   <td>复制</td> 
   <td>O(n)</td> 
   <td>O(n)</td> 
  </tr> 
  <tr> 
   <td>append[注1]</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
  <tr> 
   <td>插入</td> 
   <td>O(n)</td> 
   <td>O(n)</td> 
  </tr> 
  <tr> 
   <td>取元素</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
  <tr> 
   <td>更改元素</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
  <tr> 
   <td>删除元素</td> 
   <td>O(n)</td> 
   <td>O(n)</td> 
  </tr> 
  <tr> 
   <td>遍历</td> 
   <td>O(n)</td> 
   <td>O(n)</td> 
  </tr> 
  <tr> 
   <td>取切片</td> 
   <td>O(k)</td> 
   <td>O(k)</td> 
  </tr> 
  <tr> 
   <td>删除切片</td> 
   <td>O(n)</td> 
   <td>O(n)</td> 
  </tr> 
  <tr> 
   <td>更改切片</td> 
   <td>O(k+n)</td> 
   <td>O(k+n)</td> 
  </tr> 
  <tr> 
   <td>extend[注1]</td> 
   <td>O(k)</td> 
   <td>O(k)</td> 
  </tr> 
  <tr> 
   <td><a href="http://svn.python.org/projects/python/trunk/Objects/listsort.txt" rel="nofollow">排序</a></td> 
   <td>O(n log n)</td> 
   <td>O(n log n)</td> 
  </tr> 
  <tr> 
   <td>列表乘法</td> 
   <td>O(nk)</td> 
   <td>O(nk)</td> 
  </tr> 
  <tr> 
   <td>x in s</td> 
   <td>O(n)</td> 
   <td>&nbsp;</td> 
  </tr> 
  <tr> 
   <td>min(s), max(s)</td> 
   <td>O(n)</td> 
   <td>&nbsp;</td> 
  </tr> 
  <tr> 
   <td>计算长度</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
 </tbody> 
</table>

### 双向队列（`collections.deque`） ###

deque （double-ended queue，双向队列）是以双向链表的形式实现的 (Well, a list of arrays rather than objects, for greater efficiency)。双向队列的两端都是[可达][Link 1]的，但从查找队列中间的元素较为缓慢，增删元素就更慢了。

<table> 
 <tbody> 
  <tr> 
   <td>操作</td> 
   <td>平均情况</td> 
   <td>最坏情况</td> 
  </tr> 
  <tr> 
   <td>复制</td> 
   <td>O(n)</td> 
   <td>O(n)</td> 
  </tr> 
  <tr> 
   <td>append</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
  <tr> 
   <td>appendleft</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
  <tr> 
   <td>pop</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
  <tr> 
   <td>popleft</td> 
   <td>O(1)</td> 
   <td>O(1)</td> 
  </tr> 
  <tr> 
   <td>extend</td> 
   <td>O(k)</td> 
   <td>O(k)</td> 
  </tr> 
  <tr> 
   <td>extendleft</td> 
   <td>O(k)</td> 
   <td>O(k)</td> 
  </tr> 
  <tr> 
   <td>rotate</td> 
   <td>O(k)</td> 
   <td>O(k)</td> 
  </tr> 
  <tr> 
   <td>remove</td> 
   <td>O(n)</td> 
   <td>O(n)</td> 
  </tr> 
 </tbody> 
</table>

### 集合（set） ###

未列出的操作可参考 dict —— 二者的实现非常相似。

<table> 
 <tbody> 
  <tr> 
   <td>操作</td> 
   <td>平均情况</td> 
   <td>最坏情况</td> 
  </tr> 
  <tr> 
   <td>x in s</td> 
   <td>O(1)</td> 
   <td>O(n)</td> 
  </tr> 
  <tr> 
   <td>并集 s|t</td> 
   <td>O(len(s)+len(t))</td> 
   <td>&nbsp;</td> 
  </tr> 
  <tr> 
   <td>交集 s&amp;t</td> 
   <td>O(min(len(s), len(t))</td> 
   <td>O(len(s) * len(t))</td> 
  </tr> 
  <tr> 
   <td>差集 s-t</td> 
   <td>O(len(s))</td> 
   <td>&nbsp;</td> 
  </tr> 
  <tr> 
   <td>s.difference_update(t)</td> 
   <td>O(len(t))</td> 
   <td>&nbsp;</td> 
  </tr> 
  <tr> 
   <td>对称差集 s^t</td> 
   <td>O(len(s))</td> 
   <td>O(len(s) * len(t))</td> 
  </tr> 
  <tr> 
   <td>s.symmetric_difference_update(t)</td> 
   <td>O(len(t))</td> 
   <td>O(len(t) * len(s))</td> 
  </tr> 
 </tbody> 
</table>

由源码得知，求差集（`s-t`，或`s.difference(t)`）运算与更新为差集（`s.difference_uptate(t)`）运算的时间复杂度并不相同！前者是将在s中，但不在t中的元素添加到新的集合中，因此时间复杂度为O(len(s))；后者是将在t中的元素从s中移除，因此时间复杂度为O(len(t))。因此，使用时请留心，根据两个集合的大小以及是否需要新集合来选择合适的方法。

集合的s-t运算中，并不要求t也一定是集合。只要t是可遍历的对象即可。

### 字典（dict） ###

下列字典的平均情况基于以下假设：  
1. 对象的散列函数足够撸棒（robust），不会发生冲突。  
2. 字典的键是从所有可能的键的集合中随机选择的。

小窍门：只使用字符串作为字典的键。这么做虽然不会影响算法的时间复杂度，但会对常数项产生显著的影响，这决定了你的一段程序能多快跑完。

注：  
\[1\] = These operations rely on the “Amortized” part of “Amortized Worst Case”. Individual actions may take surprisingly long, depending on the history of the container.

\[2\] = For these operations, the worst case n is the maximum size the container ever achieved, rather than just the current size. For example, if N objects are added to a dictionary, then N-1 are deleted, the dictionary will still be sized for N objects (at least) until another insertion is made.

[Python Wiki]: https://wiki.python.org/moin/TimeComplexity
[GPL v2]: http://moinmo.in/GPL
[Link 1]: https://www.baidu.com/s?wd=%E5%8F%AF%E8%BE%BE&tn=24004469_oem_dg&rsv_dl=gh_pl_sl_csd