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}$的线性映射...

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

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

建站的相关说明  本站纯属个人娱乐行为,类似于笔记随想性质的网站。   文章中所有理解不保证正确。   很少会出现很系统的理解，大概都会是些奇怪的理解角度和小寄巧。因为写系统的理解太累了，而...

不知道起什么标题好  我们知道，对一个矩阵做初等行变换，相当于对矩阵左乘初等矩阵；做列变换，则是右乘初等矩阵。这是由于$AB$的每一列是$A$的列向量的线性组合，每一行是$B$的行向量的线性组合。   而且，行...