On Counting and Embedding a Subclass of Height-Balanced Trees

Figure 2

𝑇∈HB(ℎ, 𝑡). The circles represent the vertices of the induced CBT from level 0 to 𝑡. The text inside the circle 𝑣(𝑖, 𝑗) for 0≤𝑖≤𝑡,1≤𝑗≤2^𝑖 denotes the 𝑗th vertex from left at 𝐿_𝑖. The vertex 𝑣(𝑡, 𝑗) is also denoted by 𝑙_𝑗.