아니, 두 사람은 해당되지 않습니다.
3
/\
2 7
//\
1 5 8
/\ \
4 6 9
그러나, 1
재산권 (1) 부동산 (2)를 의미 속성 (2)를 만족 트리가 아닌 속성입니다.
제안 :n
내부 노드 부동산 1 항에있어서 균형 이진 트리에서 모든 잎의 깊이에있다
k
k
또는 k+1
2^k <= n < 2^(k+1)-1
경우, 및 n = 2^k - 1
경우 깊이가 k+1
인 나뭇잎이 있습니다.
증명 :n = 1 = 2^1-1
들어
(내부 노드의 수에 의해 유도), 깊이 1 하나 또는 두 잎 (루트 깊이가 0이다)이있다.
n = 2
를 들어, 하나 개의 하위 트리가 하나 개의 내부 노드를 가지고, 그 하위 트리에있는 모든 잎이 깊이 2에있는 다른 하위 트리가 비어 있거나 깊이에서 나뭇잎 1.
n >= 2
을하자 균형 이진 트리를 고려 내부 노드가 n+1
인 특성 1에 따라.
n = 2*m
이면 두 하위 트리 모두 내부 노드가 m
이어야하며 깊이 속성은 유도 가설에 따라 유지됩니다.
n = 2*m+1
이 홀수 인 경우 하나의 하위 트리에 m
개의 내부 노드가 있고 다른 하나의 노드에는 m+1
이 있습니다.
2^k <= m < 2^(k+1)-1
경우, m
내부 노드와 하위 트리 깊이 k+1
에서 잎이, 그리고 아마도 유도 가설에 의해 깊이 k
출발합니다. m+1
내부 노드가있는 트리의 깊이는 k+1
이고 가능한 경우 (m+1 < 2^(k+1)-1
인 경우) 깊이는 k
입니다.
m = 2^k - 1
경우, m
내부 노드와 하위 트리 만 깊이 k
에서 잎을 가지고 있으며, m+1
내부 노드와 하위 트리 깊이 k+1
에서 가능성이 깊이 k
에서 잎이있다.
'속성 1 => 속성 2'라는 증거가 추가되었습니다. –