oneinstack. WordPressqq群排名优化
First Blood：什么是平衡二叉搜索树？
二叉搜索树（BST）的性质
左小右大：每个节点的左子树中所有节点的值都小于该节点的值，右子树中所有节点的值都大于该节点的值。
子树也是BST：左子树和右子树也必须是二叉搜索树。
中序遍历有序：对二叉搜索树进行中序遍历，可以得到一个按从小到大顺序排列的有序序列。
平衡二叉搜索树（Balanced BST）的性质
平衡性：平衡二叉搜索树在满足二叉搜索树所有性质的基础上，要求每个节点的左右子树的高度差的绝对值不超过1。
高效操作：由于树的高度平衡，插入、删除和查找等操作的时间复杂度稳定在 O(log n) 级别。
递归思路：
数组中间的点是根节点。数组左边到中间的左子区间可以构成平衡二叉树的左子树。数组中间到右边的右子区间可以构成平衡二叉树的右子树。
/*** Definition for a binary tree node.* struct TreeNode {* int val;* TreeNode *left;* TreeNode *right;* TreeNode() : val(0), left(nullptr), right(nullptr) {}* TreeNode(int x) : val(x), left(nullptr), right(nullptr) {}* TreeNode(int x, TreeNode *left, TreeNode *right) : val(x), left(left), right(right) {}* };*/
class Solution {public:TreeNode* dfs(vector<int>& nums,int left,int right){if(left==right){return nullptr;}int m=left+(right-left)/2;return new TreeNode(nums[m],dfs(nums,left,m),dfs(nums,m+1,right));}TreeNode* sortedArrayToBST(vector<int>& nums) {return dfs(nums,0,nums.size());}
};
为什么right是从nums.size()开始而不是nums.size()-1呢？
A：首先，right一开始可以是nums.size()-1，但也要：
class Solution {
public:TreeNode* dfs(vector<int>& nums, int left, int right) {if(left > right) { // 注意终止条件变了return nullptr;}int m = left + (right - left) / 2;return new TreeNode(nums[m], dfs(nums, left, m-1), // 注意这里变了dfs(nums, m+1, right));}TreeNode* sortedArrayToBST(vector<int>& nums) {return dfs(nums, 0, nums.size()-1); // 这里就用 size()-1}
};
举例说明：nums = [1, 2, 3]
dfs([1,2,3], 0, 3) // 处理 [0,3)，即索引 0,1,2
├─ m = 1，选择 nums[1] = 2
├─ 左子树：dfs([1,2,3], 0, 1) // 处理 [0,1)，即索引 0
│ ├─ m = 0，选择 nums[0] = 1
│ ├─ 左子树：dfs([1,2,3], 0, 0) // [0,0) 空区间，left==right
│ └─ 右子树：dfs([1,2,3], 1, 1) // [1,1) 空区间，left==right
└─ 右子树：dfs([1,2,3], 2, 3) // 处理 [2,3)，即索引 2├─ m = 2，选择 nums[2] = 3├─ 左子树：dfs([1,2,3], 2, 2) // [2,2) 空区间，left==right └─ 右子树：dfs([1,2,3], 3, 3) // [3,3) 空区间，left==right
dfs([1,2,3], 0, 2) // 处理 [0,2]，即索引 0,1,2
├─ m = 1，选择 nums[1] = 2
├─ 左子树：dfs([1,2,3], 0, 0) // 处理 [0,0]，即索引 0
│ ├─ m = 0，选择 nums[0] = 1
│ ├─ 左子树：dfs([1,2,3], 0, -1) // [0,-1] 空区间，left>right
│ └─ 右子树：dfs([1,2,3], 1, 0) // [1,0] 空区间，left>right
└─ 右子树：dfs([1,2,3], 2, 2) // 处理 [2,2]，即索引 2├─ m = 2，选择 nums[2] = 3├─ 左子树：dfs([1,2,3], 2, 1) // [2,1] 空区间，left>right└─ 右子树：dfs([1,2,3], 3, 2) // [3,2] 空区间，left>right
时间复杂度分析：
主要操作分析：
1.每个节点只被访问一次：每次递归调用都会创建一个新节点
2.每次递归的工作量：
计算中点：O(1)
创建节点：O(1)
递归调用：分解为两个子问题
递推关系：
T(n) = 2 * T(n/2) + O(1)
其中：
T(n) 表示处理n个元素的时间
2 * T(n/2) 表示处理左右两个子树
O(1) 表示当前层的操作时间
递推求解：
T(n) = 2 * T(n/2) + 1
T(n/2) = 2 * T(n/4) + 1
T(n/4) = 2 * T(n/8) + 1
...
展开：
T(n) = 2 * (2 * T(n/4) + 1) + 1 = 4 * T(n/4) + 2 + 1
T(n) = 4 * (2 * T(n/8) + 1) + 3 = 8 * T(n/8) + 4 + 3
...
T(n) = 2^k * T(n/2^k) + (2^k - 1)
当 n/2^k = 1 时，即 k = log₂(n)：
T(n) = n * T(1) + (n - 1) = n * 1 + n - 1 = 2n - 1 = O(n)
所以时间复杂度为O(n)
空间复杂度：O(log n)
递归深度：
每次递归将问题规模减半
递归深度 = log₂(n)
每层递归占用常数空间
调用栈空间：O(log n)