随机的输入
将不同算法规模以规范的形式表示
使用 O ( f ( n ) ) O(f(n)) O(f(n)) 表示算法 T ( n ) T(n) T(n) 的时间复杂度,存在 c c c 使得 T ( n ) ≤ c f ( n ) T(n) \leq cf(n) T(n)≤cf(n)
例如 T ( n ) = ∑ i = 0 k a i n i ≤ ∑ i = 0 k ∣ a i ∣ n i ≤ ∑ i = 0 k ∣ a i ∣ n k ≤ c n k T(n) = \sum\limits_{i = 0}^k a_in^i \leq \sum\limits_{i = 0}^k |a_i|n^i \leq \sum\limits_{i = 0}^k |a_i|n^k \leq cn^k T(n)=i=0∑kaini≤i=0∑k∣ai∣ni≤i=0∑k∣ai∣nk≤cnk,即 T ( n ) T(n) T(n) 具有 O ( n k ) O(n^k) O(nk) 的时间复杂度
下界
Θ ( f ( n ) ) \Theta(f(n)) Θ(f(n)) 表示上下界相同
例
对于 f ( n ) , g ( n ) f(n),g(n) f(n),g(n),有 m a x { f , g } = Θ ( f ( n ) + g ( n ) ) max\{f,g\} = \Theta(f(n) + g(n)) max{f,g}=Θ(f(n)+g(n))
证
m a x { f , g } ≤ f ( n ) + g ( n ) , 2 m a x { f , g } ≥ f ( n ) + g ( n ) max\{f,g\} \leq f(n) + g(n), 2max\{f,g\} \geq f(n) + g(n) max{f,g}≤f(n)+g(n),2max{f,g}≥f(n)+g(n),故 ( f ( n ) + g ( n ) ) ≥ m a x { f , g } ≥ 1 2 ( f ( n ) + g ( n ) ) (f(n) + g(n)) \geq max\{f,g\} \geq \frac 12 (f(n) + g(n)) (f(n)+g(n))≥max{f,g}≥21(f(n)+g(n)),分别满足上下确界定义