实现一个函数，判断给定二叉树是否为平衡二叉树，并说明其时间复杂度。

回答思路

1. 正确表述平衡二叉树定义（左右子树高度差不超过 1 且子树均平衡）
2. 使用自底向上递归同时返回高度与平衡状态
3. 正确处理空树与单节点边界
4. 给出 O(n) 时间复杂度和 O(height) 空间复杂度
5. 避免自顶向下重复计算导致 O(n^2)