いいえ、この 2 つは同等ではありません。
3
/ \
2 7
/ / \
1 5 8
/ \ \
4 6 9
はプロパティ 2 を満たしますが、プロパティ 1 を満たさないツリーです。
ただし、プロパティ 1 はプロパティ 2 を意味します。
命題:内部ノードを持つプロパティ 1 に従ってバランスが取れている二分木ではn
、すべての葉は深さ
k
もしもn = 2^k - 1
k
またはk+1
if 2^k <= n < 2^(k+1)-1
、および深さに葉がありますk+1
。
証明: (内部ノード数の帰納法による)
の場合n = 1 = 2^1-1
、深さ 1 に 1 つまたは 2 つのリーフがあります (ルートは深さ 0 にあります)。
の場合n = 2
、1 つのサブツリーには 1 つの内部ノードがあり、そのサブツリーのすべての葉は深さ 2 にあり、もう 1 つのサブツリーは空であるか深さ 1 の葉です。
内部ノードn >= 2
を持つプロパティ 1 に従ってバランスが取れているバイナリ ツリーを考えてみましょう。n+1
n
が偶数の場合、n = 2*m
両方のサブツリーにm
内部ノードが必要であり、深さのプロパティは帰納法の仮説によって保持されます。
n = 2*m+1
が奇数の場合、一方のサブツリーにはm
内部ノードがあり、もう一方にはm+1
.
の場合2^k <= m < 2^(k+1)-1
、m
内部ノードを持つサブツリーには深さ の葉があり、帰納仮説によるk+1
深さの葉がある可能性があります。内側のノードを持つk
ツリーには、さらに葉があり、場合によっては(場合) depth にも葉があります。m+1
k+1
m+1 < 2^(k+1)-1
k
の場合m = 2^k - 1
、m
内部ノードを持つサブツリーには深さのみに葉がk
あり、内部ノードを持つサブツリーには深さおよび場合によっては深m+1
さに葉があります。k+1
k