, , node node, , ,
O
/|\
/ | \
/ | \
O O O
O
/
/
/
O
( " " ===). node 2 : , . ( , .) , OP,
O
/ \
/ \
/ \
O O
/ \
/ \
/ \
O O
"sibling-edge"
O
/
/
/
O
/
/
/
O
, node . , , , . :
0 O
/
/
/
1 O
/ \\
/ \\
/ \\
2 O O
\\
\\
\\
3 O
, t, , (t th) . m(t). t > 1 , t-1 2 (= 1 1 ) node. m(t) :
t Total Rightmost
nodes nodes
0 1 1
1 1+1*1=2 1 (only multiply by 1 because the root can't have siblings)
2 2+1*2=4 2
3 4+2*2=8 4
4 8+4*2=16 8
, m(t) = 2^(t-1), , - "" node.
, n 2, n = 2^t t+1, , 1 , 2. , , n, roundup(log2(n)) + 1.
, "sibling-of" node node. , -2 node , , , (roundup(log2(n)) + 1). , 1- node, , , , .