描述时间复杂度的渐进记号
Θ
定义：
\[f(n)=\Theta(g(n))\\ \exist c_1,c_2,n_0,使得：\forall n\geq n_0,有 0\leq c_1g(n)\leq f(n)\leq c_2g(n) \]即存在常数c1,c2，使得在n足够大（n>n0）的时候，f(n)能被夹在c1g(n),c2g(n)中间，称g(n)是f(n)的渐进紧确界。Θ符号确定了一个函数的渐进上界和下界，即时间复杂度定为g(n)的常数倍。
O
定义：
\[f(n)=O(g(n))\\ \exist c,n_0,使得：\forall n\geq n_0,有 0\leq f(n)\leq cg(n) \]即存在常数c，使得在n足够大（n>n0）的时候，f(n)的上界是cg(n)。O符号确定了一个函数的渐进上界，这个上界可能是渐进紧确的，也可能不是，即最坏情况下复杂度为c*g(n)，但是不一定取到最坏情况。通常都采用O符号表示算法的时间复杂度。
o
定义：
\[f(n)=o(g(n))\\ \forall c,\quad \exist n_0,使得：\forall n\geq n_0,有 0\leq f(n)< cg(n) \]即存对于任意常数c，均有在n足够大（n>n0）的时候，f(n)会小于cg(n)。o符号确定了一个函数的渐进上界，这个上界不是渐进紧确的，即复杂度一定不超过g(n)，即使在最坏情况下也达不到g(n)的程度。
Ω，ω
与O,o类似，Ω,ω分别定义了f(n)的渐进下界和渐进非紧确下界，不过使用比较少，不多论述。
时间复杂度的计算
循环为主的算法，一般直接计算循环次数即可。
而对于递归算法，要写出递归式，然后求解，令T(n)表示规模为n的数据的运行时间。大致可以分成两种情况
- T(n)=T(n-a)+f(n)。即每次递归将问题规模缩小一个常数。这种情况一般直接将公式整体展开求级数和即可，即使不能求精确解也能利用放缩估计上界。不过并不是所有类似的递归式都能如此求解（如暴力递归计算斐波那契数列的算法的时间复杂度）。
- T(n)=aT(n/b)+f(n)。即每次递归将问题规模缩小常数倍，并分解成若干个缩小规模的子问题，每次需要f(n)的时间求解，合并，分解。这种情况一般用主定理求解
主定理（简化版本）：
\[令f(n)=\Theta(n^d)\\ if \quad d>log_b(a),\quad T(n)=O(n^d)\\ if \quad d=log_b(a),\quad T(n)=O(n^d*log(n))\\ if \quad d<log_b(a),\quad T(n)=O(n^{log_b(a)}) \]