算法与数据结构实践解析

1、在 find_min 中，walk 的终止度量是什么？将其定义为一个函数 f : ‘a list -> int -> int，并修改 walk 的实现，添加输出以检查该度量是否确实在减小。

以下是将给定文本内容转换为 Markdown 格式的结果：

---

walk 的终止度量是其列表参数的大小。可以定义函数 f 如下：

let f xs _ = List.length xs

在 walk 函数中使用 Printf.printf 输出每次递归调用时列表的长度，以检查该度量是否减小。示例代码如下：

let rec walk xs min =
  let measure = f xs min in
  Printf.printf "当前终止度量: %d\n" measure;
  match xs with
  | [] -> min
  | h :: t ->
      let min' = if h < min then h else min in
      walk t min'

2、实现一个过程，该过程接受一个矩阵及其维度，并对矩阵进行遍历，将其中所有元素相加。使用大O符号表示该过程的复杂度，并证明你的答案。

以下是一个Python示例代码来实现该过程：

def sum_matrix(matrix, rows, cols):
    total = 0
    for i in range(rows):
        for j in range(cols):
            total = total + matrix[i][j]
    return total

<