邻接表 稀疏图或结点数超过一定数量（如100K） List<Integer>[] map = new List[n]; // 顶点 0 ~ n-1, map[i] 表示顶点 i 的所有邻接点

插入排序 将第i个元素插入前i-1个已排好序的子序列中，使得前i个元素都是有序的，直到所有元素都是有序的。 {代码...} 改进：二分插入排序 —— 在插入第 i 个元素时使用二分法在前 i-1 个元素中查找插入位置。 {代码...}

二分查找扩展 1) 在一个有重复元素的数组中查找元素的最左位置。 需要判断返回值 low: 若该位置元素等于目标元素则 low 是最左位置，否则 low 是目标元素的插入位置。 {代码...} 2) 在一个有重复元素的数组中查找元素的最右位置 需要判断返回值 low: 若该位置元素等...

二叉树的性质 (1) 在二叉树的第 i 层最多有 2^i-1 个结点 (i>=1). (2) 深度为 k 的二叉树最多有 2^k - 1 个结点 (k>=1). (3) 对任何一棵二叉树，如果其叶子结点数为 n0, 度为 2 的结点数为 n2, 则 n0 = n2 + 1. 原因：设度为 1 的结点数为 n1, 则结点总数 n = ...

安装 OpenJDK-7 下载并安装 Major mutation framework，安装目录记为 MAJOR_PATH，即/....../major/ 在可修改 Java 环境的情况下，配置环境变量 {代码...} 在不能修改 Java 环境的情况下 (如使用 Microsoft Z3), 使用 MAJOR 进行编译的方法 {代码...} 编译 Mml 脚本 ...

安装 Z3 使用 Git 下载 Z3： {代码...} 进入 Z3 文件夹并生成 Z3 Makefile： {代码...} 进入 build 文件夹并编译 Z3 {代码...} 将 make 生成的文件安装到系统目录中, 如/usr/bin, 这一步需要 root 权限 {代码...}

网络连接 在 VMvare 中，选中待配置网络的虚拟机：编辑虚拟机设置 -> 网络适配器 -> “网络连接”选中“NAT 模式(N)”. 若进入 Ubuntu 系统 -> System Settings -> Network -> Wired 显示以下信息： {代码...} 解决办法：在 VMvare 中，打开编辑 -> 虚...

OpenJDK-7 package's description: Copied from debian experimental in Primary Archive for Debian GNU/Linux.

{代码...} 1、创建链表 （1）从头到尾建立 {代码...} {代码...} （2）从尾到头建立 {代码...} {代码...} 2、链表逆序 （1）无头结点的链表 {代码...} {代码...} （2）带头结点的链表 {代码...} {代码...} （3）将无头结点的链表中第 m ~ n 个结点逆序 {代码...} {代...