在具有N节点且高度为的二叉堆中h:
1 + 2^1 + 2^2 + … + 2^(h-1) + 1 <= N <= 1 + 2^1 + 2^2 + … + 2^(h-1) + 2^h
2^h <= N < 2^(h+1)
h <= log2(N) < h+1
在最后一行:
第一个不等式意味着h是O(log N)。但是为什么第二个不等式意味着h是Ω(log N)?如果是“ log2(N) < h”,我会理解,但我的问题在于“ 1”中的“ h+1”。