几个主要探讨的问题 高阶求导时的链式法则（形式不变性的细节） 偏微分的一些公式 $\frac{dy}{dx}$还是$\frac{d}{dx}y$? 线性主部的视角。 偏微分的一些公式回顾偏微分的链式法则，对于$z=z(u(x,y),v(x...

let name = expression in定义一个命名的局部表达式 直到;;结束本代码块 局部表达式和变量不同 更类似于常量表达式 局部绑定 只能被隐藏 不能被改写 1234567let f a b = (a +. b) +. (a +. b...

interactive toplevel Read-Eval-Print Loop–REPL ocaml命令是一个基础的顶层环境 utop则具有历史导航、自动完成等特性 ;;表示结束 ocamlbuild *.native 123456(* 这是一个...

当你写一个程序使用两个文件amodule.ml和bmodule.ml，它们中的每一个都自动定义一个模块，名字叫Amodule和Bmodule，模块的内容就是你写到文件中的东西。 编译方法: 123ocamlopt -c amodule.mlocaml...

本篇文章目前仅是对知乎博主ohanlon的专栏文章和wiki的阅读记录，若是以后有缘再尝试补一些内容吧。 Moore-Penrose generalized inverse matrix穆尔-彭罗斯广义逆矩阵，简记为M-P逆。 在复数域上，定义四个条...

22.1图的表示邻接链表 adjacency-list 权重图 权重函数 邻接矩阵表示 directed gragh Exercise22.1-1邻接链表 出度out-degree $d_-$：$O(|E|+|V|)$ 入度$d_+$：遍历 $O...

仍然暂时没有什么内容。 强连通分量（Strongly Connected Components，SCC）的定义是：极大的强连通子图。 kosaraju算法 深搜遍历 选择最晚访问的节点，对G的反向图进行遍历，能遍历到的所有点就构成一个SCC，删去。 ...

非常没有内容的一节。 数据结构的堆和内存管理的堆没有什么联系。据考证可能是由于早期Lisp采用堆结构来管理堆内存而引申出来的。 堆的基本操作正比于堆的高度$\Theta(logn)$ 二叉堆的构造不唯一，二叉堆含序的信息实际上很少。 对于同一个数列的...

基本知识的简单回顾$ \mathbb{L}(\mathbb{V},\mathbb{W}) $表示从$\mathbb{V}$到$\mathbb{W}$的所有线性映射的集合。 当表示一个$\mathbb{V}$->$\mathbb{V}$的线性映射...