更新文档

Author: jungor

.gitignore

@@ -63,3 +63,6 @@ install_manifest.txt
 compile_commands.json
 CTestTestfile.cmake
 
+# Clion files
+.idea
+algorithms.cbp

README.md

@@ -1,2 +1,13 @@
 # algorithms
 《算法导论》（Thomas H. Cormen， 第三版）中伪代码的c语言代码实现
+
+## 运行测试
+
+```shell
+# 生成构建文件
+cmake .
+# 构建
+make
+# 运行测试demo
+./test_algorithms
+```

chap02/insertion_sort.c

@@ -3,18 +3,23 @@
  */
 #include "insertion_sort.h"
 #include "../utils.h"
+/**
+ * 插入排序
+ */
 void insertion_sort(int nums[], int len) {
+    // 要插入第i个数，从i-i个数开始往前扫描
+    // 循环不变式: nums[0]~nums[i-1]是排好序的
     for (int i = 1; i < len; i++) {
-        // 要插入第i个数，从i-i个数开始往前扫描
         int j = i-1;
         int key = nums[i];
         // 只要被扫描的数大于等于要插入的数就把被扫描的数往后挪一个位置，
-        // 然后接着扫描前一个数
+        // 然后接着扫描前一个数，知道没有剩余没扫描的数字或者要被扫描的数字小于等于key
+        // 循环不变式: nums[0]~nums[j],nums[j+2]~nums[i]升序且，且nums[j+2]~nums[i]都是比key大的
         while (j >= 0 && nums[j] > key) {
             nums[j+1] = nums[j];
             j--;
         }
-        // 扫描结束，要插入的数的最终位置就是最后被扫描的数的后面
+        // 扫描结束，根据循环不变式要插入的数的位置就是j+1
         nums[j+1] = key;
     }
 }

chap15/cut_rod.c

@@ -83,7 +83,6 @@ int bottom_up_cut_rod(int price_table[], int n) {
         max_table[i] = max;
     }
     int result = max_table[n];
-    print_array(max_table, n);
     free(max_table);
     return result;
 }