build

chapter_dynamic_programming/edit_distance_problem.md

@@ -307,7 +307,31 @@ $$
 === "Dart"
 
     ```dart title="edit_distance.dart"
-    [class]{}-[func]{editDistanceDP}
+    /* 编辑距离：动态规划 */
+    int editDistanceDP(String s, String t) {
+      int n = s.length, m = t.length;
+      List<List<int>> dp = List.generate(n + 1, (_) => List.filled(m + 1, 0));
+      // 状态转移：首行首列
+      for (int i = 1; i <= n; i++) {
+        dp[i][0] = i;
+      }
+      for (int j = 1; j <= m; j++) {
+        dp[0][j] = j;
+      }
+      // 状态转移：其余行列
+      for (int i = 1; i <= n; i++) {
+        for (int j = 1; j <= m; j++) {
+          if (s[i - 1] == t[j - 1]) {
+            // 若两字符相等，则直接跳过此两字符
+            dp[i][j] = dp[i - 1][j - 1];
+          } else {
+            // 最少编辑步数 = 插入、删除、替换这三种操作的最少编辑步数 + 1
+            dp[i][j] = min(min(dp[i][j - 1], dp[i - 1][j]), dp[i - 1][j - 1]) + 1;
+          }
+        }
+      }
+      return dp[n][m];
+    }
     ```
 
 === "Rust"
@@ -643,7 +667,34 @@ $$
 === "Dart"
 
     ```dart title="edit_distance.dart"
-    [class]{}-[func]{editDistanceDPComp}
+    /* 编辑距离：状态压缩后的动态规划 */
+    int editDistanceDPComp(String s, String t) {
+      int n = s.length, m = t.length;
+      List<int> dp = List.filled(m + 1, 0);
+      // 状态转移：首行
+      for (int j = 1; j <= m; j++) {
+        dp[j] = j;
+      }
+      // 状态转移：其余行
+      for (int i = 1; i <= n; i++) {
+        // 状态转移：首列
+        int leftup = dp[0]; // 暂存 dp[i-1, j-1]
+        dp[0] = i;
+        // 状态转移：其余列
+        for (int j = 1; j <= m; j++) {
+          int temp = dp[j];
+          if (s[i - 1] == t[j - 1]) {
+            // 若两字符相等，则直接跳过此两字符
+            dp[j] = leftup;
+          } else {
+            // 最少编辑步数 = 插入、删除、替换这三种操作的最少编辑步数 + 1
+            dp[j] = min(min(dp[j - 1], dp[j]), leftup) + 1;
+          }
+          leftup = temp; // 更新为下一轮的 dp[i-1, j-1]
+        }
+      }
+      return dp[m];
+    }
     ```
 
 === "Rust"