完全二叉树可以是O(log n)