Still some modifications to latex formulas.

thu_dsa/chp7/BST.md

@@ -40,7 +40,7 @@ BST的定义是，对于树中的每一个结点，都满足顺序性，即任
 这个性质可以证明如下：
 
 + 先考虑平凡的情况。例如一棵BST只包含三个结点，分别是根节点r以及左右子树l和r。显然，通过根节点的局部有序性可以直接退出整棵树中序遍历序列的单调性
-+ 对于任意一棵树T，可以将其划分为根节点r，左子树$T_left$，以及右子树$T_right$，假定左子树以及右子树都满足单调性。考虑整棵树的中序遍历序列，必然是`[left-nodes, root, right-nodes]`这样一个序列，其中子序列`[left-nodes]`以及`[right-nodes]`都是单调非降的。由于左子树的所有顶点不大于`root`，右子树的所有顶点不小于`root`，因此整个`[left-nodes, root, right-nodes]`序列仍然是单调非降的。因此树T也满足单调性
++ 对于任意一棵树T，可以将其划分为根节点r，左子树${T_{left}$，以及右子树$T_{right}$，假定左子树以及右子树都满足单调性。考虑整棵树的中序遍历序列，必然是`[left-nodes, root, right-nodes]`这样一个序列，其中子序列`[left-nodes]`以及`[right-nodes]`都是单调非降的。由于左子树的所有顶点不大于`root`，右子树的所有顶点不小于`root`，因此整个`[left-nodes, root, right-nodes]`序列仍然是单调非降的。因此树T也满足单调性
 
 这样，就证明了BST的局部有序性可以推导出整体的单调性。