diff --git a/docs/chapter_computational_complexity/time_complexity.md b/docs/chapter_computational_complexity/time_complexity.md index a6a749fa1..92f5a5193 100644 --- a/docs/chapter_computational_complexity/time_complexity.md +++ b/docs/chapter_computational_complexity/time_complexity.md @@ -153,21 +153,6 @@ $$ } ``` -=== "Rust" - - ```rust title="" - // 在某运行平台下 - fn algorithm(n: i32) { - let mut a = 2; // 1 ns - a = a + 1; // 1 ns - a = a * 2; // 10 ns - // 循环 n 次 - for _ in 0..n { // 1 ns - println!("{}", 0); // 5 ns - } - } - ``` - 但实际上, **统计算法的运行时间既不合理也不现实**。首先,我们不希望预估时间和运行平台绑定,毕竟算法需要跑在各式各样的平台之上。其次,我们很难获知每一种操作的运行时间,这为预估过程带来了极大的难度。 ## 统计时间增长趋势 @@ -372,29 +357,6 @@ $$ } ``` -=== "Rust" - - ```rust title="" - // 算法 A 时间复杂度:常数阶 - fn algorithm_A(n: i32) { - println!("{}", 0); - } - - // 算法 B 时间复杂度:线性阶 - fn algorithm_B(n: i32) { - for i in 0..n { - println!("{}", 0); - } - } - - // 算法 C 时间复杂度:常数阶 - fn algorithm_C(n: i32) { - for i in 0..1000000 { - println!("{}", 0); - } - } - ``` - ![time_complexity_first_example](time_complexity.assets/time_complexity_first_example.png)
Fig. 算法 A, B, C 的时间增长趋势
@@ -541,20 +503,6 @@ $$ } ``` -=== "Rust" - - ```rust title="" - fn algorithm(n: i32) { - let mut a = 2; // +1 - a = a + 1; // +1 - a = a * 2; // +1 - // 循环 n 次 - for _ in 0..n { // +1 - println!("0"); // +1 - } - } - ``` - $T(n)$ 是个一次函数,说明时间增长趋势是线性的,因此易得时间复杂度是线性阶。 我们将线性阶的时间复杂度记为 $O(n)$ ,这个数学符号被称为「大 $O$ 记号 Big-$O$ Notation」,代表函数 $T(n)$ 的「渐近上界 asymptotic upper bound」。 @@ -777,25 +725,6 @@ $$ } ``` -=== "Rust" - - ```rust title="" - fn algorithm(n: i32) { - let mut a = 1; // +0(技巧 1) - a = a + n; // +0(技巧 1) - // +n(技巧 2) - for _ in 0..(5 * n + 1) { - println!("{}", 0); - } - // +n*n(技巧 3) - for _ in 0..(2 * n) { - for _ in 0..(n + 1) { - println!("{}", 0); - } - } - } - ``` - ### 2. 判断渐近上界 @@ -959,20 +888,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 常数阶 */ - fn constant(n: i32) -> i32 { - let mut count = 0; - let size = 100000; - for _ in 0..size { - count += 1 - } - count - } - ``` - ### 线性阶 $O(n)$ 线性阶的操作数量相对输入数据大小成线性级别增长。线性阶常出现于单层循环。 @@ -1086,19 +1001,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 线性阶 */ - fn linear(n: i32) -> i32 { - let mut count = 0; - for _ in 0..n { - count += 1; - } - count - } - ``` - 「遍历数组」和「遍历链表」等操作,时间复杂度都为 $O(n)$ ,其中 $n$ 为数组或链表的长度。 !!! tip @@ -1231,20 +1133,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 线性阶(遍历数组) */ - fn array_traversal(nums: &[i32]) -> i32 { - let mut count = 0; - // 循环次数与数组长度成正比 - for _ in nums { - count += 1; - } - count - } - ``` - ### 平方阶 $O(n^2)$ 平方阶的操作数量相对输入数据大小成平方级别增长。平方阶常出现于嵌套循环,外层循环和内层循环都为 $O(n)$ ,总体为 $O(n^2)$ 。 @@ -1393,22 +1281,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 平方阶 */ - fn quadratic(n: i32) -> i32 { - let mut count = 0 - // 循环次数与数组长度成平方关系 - for _ in 0..n { - for _ in 0..n { - count += 1; - } - } - count - } - ``` - ![time_complexity_constant_linear_quadratic](time_complexity.assets/time_complexity_constant_linear_quadratic.png)Fig. 常数阶、线性阶、平方阶的时间复杂度
@@ -1626,29 +1498,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.swift" - /* 平方阶(冒泡排序) */ - fn bubble_sort(nums: &mut [i32]) -> i32 { - let mut count = 0; // 计数器 - // 外循环:待排序元素数量为 n-1, n-2, ..., 1 - for i in (1..nums.len()).rev() { - // 内循环:冒泡操作 - for j in 0..i { - if nums[j] > nums[j + 1] { - // 交换 nums[j] 与 nums[j + 1] - let tmp = nums[j]; - nums[j] = nums[j + 1]; - nums[j + 1] = tmp; - count += 3; // 元素交换包含 3 个单元操作 - } - } - } - count - } - ``` - ### 指数阶 $O(2^n)$ !!! note @@ -1824,25 +1673,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 指数阶(循环实现) */ - fn exponential(n: i32) -> i32 { - let mut count = 0; - let mut base = 1; - // cell 每轮一分为二,形成数列 1, 2, 4, 8, ..., 2^(n-1) - for _ in 0..n { - for _ in 0..base { - count += 1 - } - base *= 2; - } - // count = 1 + 2 + 4 + 8 + .. + 2^(n-1) = 2^n - 1 - count - } - ``` - ![time_complexity_exponential](time_complexity.assets/time_complexity_exponential.png)Fig. 指数阶的时间复杂度
@@ -1944,18 +1774,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 指数阶(递归实现) */ - fn exp_recur(n: i32) -> i32 { - if n == 1 { - return 1; - } - exp_recur(n - 1) + exp_recur(n - 1) + 1 - } - ``` - ### 对数阶 $O(\log n)$ 对数阶与指数阶正好相反,后者反映“每轮增加到两倍的情况”,而前者反映“每轮缩减到一半的情况”。对数阶仅次于常数阶,时间增长得很慢,是理想的时间复杂度。 @@ -2091,21 +1909,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 对数阶(循环实现) */ - fn logarithmic(mut n: i32) -> i32 { - let mut count = 0; - - while n > 1 { - n = n / 2; - count += 1; - } - count - } - ``` - ![time_complexity_logarithmic](time_complexity.assets/time_complexity_logarithmic.png)Fig. 对数阶的时间复杂度
@@ -2206,18 +2009,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 对数阶(递归实现) */ - fn log_recur(n: i32) -> i32 { - if n <= 1 { - return 0; - } - log_recur(n / 2) + 1 - } - ``` - ### 线性对数阶 $O(n \log n)$ 线性对数阶常出现于嵌套循环中,两层循环的时间复杂度分别为 $O(\log n)$ 和 $O(n)$ 。 @@ -2360,22 +2151,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 线性对数阶 */ - fn linear_log_recur(n: f64) -> i32 { - if n <= 1.0 { - return 1; - } - let mut count = linear_log_recur(n / 2.0) + linear_log_recur(n / 2.0); - for _ in 0 ..n as i32 { - count += 1; - } - return count - } - ``` - ![time_complexity_logarithmic_linear](time_complexity.assets/time_complexity_logarithmic_linear.png)Fig. 线性对数阶的时间复杂度
@@ -2528,23 +2303,6 @@ $$ } ``` -=== "Rust" - - ```rust title="time_complexity.rust" - /* 阶乘阶(递归实现) */ - fn factorial_recur(n: i32) -> i32 { - if n == 0 { - return 1; - } - let mut count = 0; - // 从 1 个分裂出 n 个 - for _ in 0..n { - count += factorial_recur(n - 1); - } - count - } - ``` - ![time_complexity_factorial](time_complexity.assets/time_complexity_factorial.png)Fig. 阶乘阶的时间复杂度
@@ -2932,40 +2690,6 @@ $$ } ``` -=== "Rust" - - ```rust title="worst_best_time_complexity.rust" - /* 生成一个数组,元素为 { 1, 2, ..., n },顺序被打乱 */ - fn random_numbers(n: i32) -> Vec