diff --git a/docs/notes/算法 - 符号表.md b/docs/notes/算法 - 符号表.md index 3f38a69d..eeccaa3d 100644 --- a/docs/notes/算法 - 符号表.md +++ b/docs/notes/算法 - 符号表.md @@ -245,15 +245,13 @@ public class BinarySearchOrderedST, Value> implement **二叉树** 是一个空链接，或者是一个有左右两个链接的节点，每个链接都指向一颗子二叉树。 -

+

**二叉查找树** （BST）是一颗二叉树，并且每个节点的值都大于等于其左子树中的所有节点的值而小于等于右子树的所有节点的值。 -

- BST 有一个重要性质，就是它的中序遍历结果递增排序。 -

+

基本数据结构： @@ -327,7 +325,7 @@ private Value get(Node x, Key key) { 当插入的键不存在于树中，需要创建一个新节点，并且更新上层节点的链接指向该节点，使得该节点正确地链接到树中。 -

+

```java @Override @@ -356,11 +354,11 @@ private Node put(Node x, Key key, Value value) { 最好的情况下树是完全平衡的，每条空链接和根节点的距离都为 logN。 -

+

在最坏的情况下，树的高度为 N。 -

+

## 4. floor() @@ -438,7 +436,7 @@ private Node min(Node x) { 令指向最小节点的链接指向最小节点的右子树。 -

+

```java public void deleteMin() { @@ -459,7 +457,7 @@ public Node deleteMin(Node x) { - 如果待删除的节点只有一个子树， 那么只需要让指向待删除节点的链接指向唯一的子树即可； - 否则，让右子树的最小节点替换该节点。 -

+

```java public void delete(Key key) { @@ -522,7 +520,7 @@ private List keys(Node x, Key l, Key h) { 2-3 查找树引入了 2- 节点和 3- 节点，目的是为了让树平衡。一颗完美平衡的 2-3 查找树的所有空链接到根节点的距离应该是相同的。 -

+

## 1. 插入操作 @@ -532,11 +530,11 @@ private List keys(Node x, Key l, Key h) { - 如果插入到 2- 节点上，那么直接将新节点和原来的节点组成 3- 节点即可。 -

+

- 如果是插入到 3- 节点上，就会产生一个临时 4- 节点时，需要将 4- 节点分裂成 3 个 2- 节点，并将中间的 2- 节点移到上层节点中。如果上移操作继续产生临时 4- 节点则一直进行分裂上移，直到不存在临时 4- 节点。 -

+

## 2. 性质 @@ -548,7 +546,7 @@ private List keys(Node x, Key l, Key h) { 红黑树是 2-3 查找树，但它不需要分别定义 2- 节点和 3- 节点，而是在普通的二叉查找树之上，为节点添加颜色。指向一个节点的链接颜色如果为红色，那么这个节点和上层节点表示的是一个 3- 节点，而黑色则是普通链接。 -

+

红黑树具有以下性质： @@ -557,7 +555,7 @@ private List keys(Node x, Key l, Key h) { 画红黑树时可以将红链接画平。 -

+

```java public class RedBlackBST, Value> extends BST { @@ -577,7 +575,7 @@ public class RedBlackBST, Value> extends BST
+

```java public Node rotateLeft(Node h) { @@ -596,7 +594,7 @@ public Node rotateLeft(Node h) { 进行右旋转是为了转换两个连续的左红链接，这会在之后的插入过程中探讨。 -

+

```java public Node rotateRight(Node h) { @@ -615,7 +613,7 @@ public Node rotateRight(Node h) { 一个 4- 节点在红黑树中表现为一个节点的左右子节点都是红色的。分裂 4- 节点除了需要将子节点的颜色由红变黑之外，同时需要将父节点的颜色由黑变红，从 2-3 树的角度看就是将中间节点移到上层节点。 -

+

```java void flipColors(Node h) { @@ -633,7 +631,7 @@ void flipColors(Node h) { - 如果左子节点是红色的，而且左子节点的左子节点也是红色的，进行右旋转； - 如果左右子节点均为红色的，进行颜色转换。 -

+

```java @Override @@ -758,7 +756,7 @@ public class Transaction { 对于 N 个键，M 条链表 (N>M)，如果哈希函数能够满足均匀性的条件，每条链表的大小趋向于 N/M，因此未命中的查找和插入操作所需要的比较次数为 \~N/M。 -

+

## 3. 线性探测法 @@ -767,7 +765,7 @@ public class Transaction { 使用线性探测法，数组的大小 M 应当大于键的个数 N（M>N)。 -

+

```java public class LinearProbingHashST implements UnorderedST { @@ -869,8 +867,7 @@ public void delete(Key key) { 线性探测法的成本取决于连续条目的长度，连续条目也叫聚簇。当聚簇很长时，在查找和插入时也需要进行很多次探测。例如下图中 2\~4 位置就是一个聚簇。 -

- +

α = N/M，把 α 称为使用率。理论证明，当 α 小于 1/2 时探测的预计次数只在 1.5 到 2.5 之间。为了保证散列表的性能，应当调整数组的大小，使得 α 在 [1/4, 1/2] 之间。 diff --git a/docs/pics/094b279a-b2db-4be7-87a3-b2a039c7448e.jpg b/docs/pics/094b279a-b2db-4be7-87a3-b2a039c7448e.jpg new file mode 100644 index 00000000..be6f11b1 Binary files /dev/null and b/docs/pics/094b279a-b2db-4be7-87a3-b2a039c7448e.jpg differ diff --git a/docs/pics/0c6f9930-8704-4a54-af23-19f9ca3e48b0.jpg b/docs/pics/0c6f9930-8704-4a54-af23-19f9ca3e48b0.jpg new file mode 100644 index 00000000..ad2feba4 Binary files /dev/null and b/docs/pics/0c6f9930-8704-4a54-af23-19f9ca3e48b0.jpg differ diff --git a/docs/pics/0dbc4f7d-05c9-4aae-8065-7b7ea7e9709e.gif b/docs/pics/0dbc4f7d-05c9-4aae-8065-7b7ea7e9709e.gif new file mode 100644 index 00000000..d5b731d0 Binary files /dev/null and b/docs/pics/0dbc4f7d-05c9-4aae-8065-7b7ea7e9709e.gif differ diff --git a/docs/pics/1097658b-c0e6-4821-be9b-25304726a11c.jpg b/docs/pics/1097658b-c0e6-4821-be9b-25304726a11c.jpg new file mode 100644 index 00000000..28d35ad2 Binary files /dev/null and b/docs/pics/1097658b-c0e6-4821-be9b-25304726a11c.jpg differ diff --git a/docs/pics/23b9d625-ef28-42b5-bb22-d7aedd007e16.jpg b/docs/pics/23b9d625-ef28-42b5-bb22-d7aedd007e16.jpg new file mode 100644 index 00000000..859d4c8e Binary files /dev/null and b/docs/pics/23b9d625-ef28-42b5-bb22-d7aedd007e16.jpg differ diff --git a/docs/pics/31b7e8de-ed11-4f69-b5fd-ba454120ac31.jpg b/docs/pics/31b7e8de-ed11-4f69-b5fd-ba454120ac31.jpg new file mode 100644 index 00000000..86770747 Binary files /dev/null and b/docs/pics/31b7e8de-ed11-4f69-b5fd-ba454120ac31.jpg differ diff --git a/docs/pics/4c457532-550b-4eca-b881-037b84b4934b.jpg b/docs/pics/4c457532-550b-4eca-b881-037b84b4934b.jpg new file mode 100644 index 00000000..a213ff5e Binary files /dev/null and b/docs/pics/4c457532-550b-4eca-b881-037b84b4934b.jpg differ diff --git a/docs/pics/58b70113-3876-49af-85a9-68eb00a72d59.jpg b/docs/pics/58b70113-3876-49af-85a9-68eb00a72d59.jpg new file mode 100644 index 00000000..a897f11d Binary files /dev/null and b/docs/pics/58b70113-3876-49af-85a9-68eb00a72d59.jpg differ diff --git a/docs/pics/5ea609cb-8ad4-4c4c-aee6-45a40a81794a.jpg b/docs/pics/5ea609cb-8ad4-4c4c-aee6-45a40a81794a.jpg new file mode 100644 index 00000000..600f3afe Binary files /dev/null and b/docs/pics/5ea609cb-8ad4-4c4c-aee6-45a40a81794a.jpg differ diff --git a/docs/pics/63c8ffea-a9f2-4ebe-97d1-d71be71246f9.jpg b/docs/pics/63c8ffea-a9f2-4ebe-97d1-d71be71246f9.jpg new file mode 100644 index 00000000..2c660de4 Binary files /dev/null and b/docs/pics/63c8ffea-a9f2-4ebe-97d1-d71be71246f9.jpg differ diff --git a/docs/pics/7002c01b-1ed5-475a-9e5f-5fc8a4cdbcc0.jpg b/docs/pics/7002c01b-1ed5-475a-9e5f-5fc8a4cdbcc0.jpg new file mode 100644 index 00000000..01f0bb93 Binary files /dev/null and b/docs/pics/7002c01b-1ed5-475a-9e5f-5fc8a4cdbcc0.jpg differ diff --git a/docs/pics/ace20410-f053-4c4a-aca4-2c603ff11bbe.png b/docs/pics/ace20410-f053-4c4a-aca4-2c603ff11bbe.png new file mode 100644 index 00000000..fceeb668 Binary files /dev/null and b/docs/pics/ace20410-f053-4c4a-aca4-2c603ff11bbe.png differ diff --git a/docs/pics/c11528f6-fc71-4a2b-8d2f-51b8954c38f1.jpg b/docs/pics/c11528f6-fc71-4a2b-8d2f-51b8954c38f1.jpg new file mode 100644 index 00000000..69a589ef Binary files /dev/null and b/docs/pics/c11528f6-fc71-4a2b-8d2f-51b8954c38f1.jpg differ diff --git a/docs/pics/c395a428-827c-405b-abd7-8a069316f583.jpg b/docs/pics/c395a428-827c-405b-abd7-8a069316f583.jpg new file mode 100644 index 00000000..705181ff Binary files /dev/null and b/docs/pics/c395a428-827c-405b-abd7-8a069316f583.jpg differ diff --git a/docs/pics/cbbfe06c-f0cb-47c4-bf7b-2780aebd98b2.png b/docs/pics/cbbfe06c-f0cb-47c4-bf7b-2780aebd98b2.png new file mode 100644 index 00000000..b7f87cad Binary files /dev/null and b/docs/pics/cbbfe06c-f0cb-47c4-bf7b-2780aebd98b2.png differ diff --git a/docs/pics/ef552ae3-ae0d-4217-88e6-99cbe8163f0c.jpg b/docs/pics/ef552ae3-ae0d-4217-88e6-99cbe8163f0c.jpg new file mode 100644 index 00000000..f665de7e Binary files /dev/null and b/docs/pics/ef552ae3-ae0d-4217-88e6-99cbe8163f0c.jpg differ diff --git a/docs/pics/f1912ba6-6402-4321-9aa8-13d32fd121d1.jpg b/docs/pics/f1912ba6-6402-4321-9aa8-13d32fd121d1.jpg new file mode 100644 index 00000000..800b473d Binary files /dev/null and b/docs/pics/f1912ba6-6402-4321-9aa8-13d32fd121d1.jpg differ diff --git a/docs/pics/f4d534ab-0092-4a81-9e5b-ae889b9a72be.jpg b/docs/pics/f4d534ab-0092-4a81-9e5b-ae889b9a72be.jpg new file mode 100644 index 00000000..70df2f72 Binary files /dev/null and b/docs/pics/f4d534ab-0092-4a81-9e5b-ae889b9a72be.jpg differ diff --git a/docs/pics/f5cb6028-425d-4939-91eb-cca9dd6b6c6c.jpg b/docs/pics/f5cb6028-425d-4939-91eb-cca9dd6b6c6c.jpg new file mode 100644 index 00000000..e0720bbc Binary files /dev/null and b/docs/pics/f5cb6028-425d-4939-91eb-cca9dd6b6c6c.jpg differ