On Counting and Embedding a Subclass of Height-Balanced Trees

<table>Embedding of <svg height="15.1125" id="M286" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 67.537498 15.1125" width="67.537498" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M649 676l-22 -187l-33 -2q3 56 -12 94q-8 20 -31.5 26.5t-86.5 6.5h-74l-90 -491q-4 -23 -6 -36.5t1 -25t7 -16.5t18 -9t27 -5t41 -3l-6 -28h-286l4 28q68 5 84 18.5t28 76.5l94 491h-55q-74 0 -100.5 -6t-41.5 -23q-24 -29 -54 -98l-32 1q32 98 53 188h22q7 -18 15 -22
t37 -4h417q23 0 33.5 5t25.5 21h23z" id="x1D447"></path></g><g transform="matrix(.017,-0,0,-.017,16.092,12.162)"><path d="M448 1h-83q-118 0 -201.5 74.5t-83.5 179.5t83.5 179.5t201.5 74.5h83v-50h-84q-87 0 -150.5 -51.5t-73.5 -127.5h308v-50h-308q10 -76 73.5 -127.5t150.5 -51.5h84v-50z" id="x2208"></path></g><g transform="matrix(.017,-0,0,-.017,29.793,12.162)"><path d="M729 650v-28q-62 -5 -76 -19.5t-14 -75.5v-404q0 -62 13.5 -76t75.5 -19v-28h-268v28q65 5 79.5 19t14.5 76v199h-341v-199q0 -62 14 -76t76 -19v-28h-263v28q61 5 74.5 19t13.5 76v404q0 62 -14 76t-76 19v28h259v-28q-58 -5 -71 -19t-13 -76v-162h341v162
q0 61 -13.5 75.5t-72.5 19.5v28h261z" id="x48"></path></g><g transform="matrix(.017,-0,0,-.017,42.814,12.162)"><path d="M372 352v-2q176 -27 176 -159q0 -99 -95 -151q-73 -40 -196 -40h-221v28q65 5 78.5 19t13.5 76v404q0 63 -12 77t-72 18v28h257q102 0 150 -34q26 -18 41 -48.5t15 -65.5q0 -111 -135 -150zM213 362h47q80 0 117.5 32t37.5 96q0 56 -33 92t-100 36q-41 0 -56 -10
q-13 -8 -13 -50v-196zM213 328v-203q0 -54 17 -72.5t66 -18.5q67 1 110.5 37t43.5 110q0 147 -192 147h-45z" id="x42"></path></g><g transform="matrix(.017,-0,0,-.017,52.81,12.162)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,58.691,12.162)"><path d="M499 88q-41 -46 -83.5 -73t-68.5 -27q-41 0 -19 98l52 225q10 43 8 59.5t-16 16.5q-37 0 -112 -65t-117 -135q-14 -42 -38 -179q-36 -7 -75 -20l-7 8l127 594q8 40 2.5 49t-35.5 9h-35l5 25q36 3 71.5 13t56.5 18t25 8q11 0 3 -38l-88 -417h2q77 102 195 167q44 24 79 24
q61 0 30 -130l-52 -220q-8 -33 4 -33q8 0 31 14.5t43 33.5z" id="x210E"></path></g>
</svg>, <svg height="15.0875" id="M287" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 11.8 15.0875" width="11.8" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M324 430l-26 -36l-112 -4l-55 -265q-13 -66 7 -66q13 0 44.5 20t50.5 40l17 -24q-38 -40 -85.5 -73.5t-87.5 -33.5q-50 0 -21 138l55 262h-80l-2 8l25 34h66l25 99l78 63l10 -9l-37 -153h128z" id="x1D461"></path></g><g transform="matrix(.017,-0,0,-.017,5.859,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg> in <svg height="28.2875" id="M288" style="vertical-align:-6.50204pt" version="1.1" viewbox="0 0 70.787498 28.2875" width="70.787498" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,19.088)"><path d="M697 -46l-42 -182h-602v25l325 457l-308 460v25h585l12 -154l-28 -5q-17 63 -39 88q-12 15 -36.5 20.5t-80.5 5.5h-277l268 -396l-311 -440h382q51 0 75.5 19.5t47.5 83.5z" id="x2211"></path></g>
<g transform="matrix(.012,-0,0,-.012,12.812,10.8)"><path d="M412 140l28 -9q0 -2 -35 -131h-373v23q112 112 161 170q59 70 92 127t33 115q0 63 -31 98t-86 35q-75 0 -137 -93l-22 20l57 81q55 59 135 59q69 0 118.5 -46.5t49.5 -122.5q0 -62 -29.5 -114t-102.5 -130l-141 -149h186q42 0 58.5 10.5t38.5 56.5z" id="x32"></path></g>
<g transform="matrix(.008,-0,0,-.008,18.525,5.1)"><path d="M324 430l-26 -36l-112 -4l-55 -265q-13 -66 7 -66q13 0 44.5 20t50.5 40l17 -24q-38 -40 -85.5 -73.5t-87.5 -33.5q-50 0 -21 138l55 262h-80l-2 8l25 34h66l25 99l78 63l10 -9l-37 -153h128z" id="x1D461"></path></g>
<g transform="matrix(.012,-0,0,-.012,12.812,23.55)"><path d="M394 607q0 -25 -15.5 -43t-39.5 -18q-19 0 -32 13t-13 35t16 41.5t40 19.5q20 0 32 -13.5t12 -34.5zM360 349l-57 -283q-38 -188 -122 -263q-72 -64 -114 -64q-16 0 -30 10.5t-14 22.5q0 24 21 45q15 13 26 6q30 -20 54 -20q41 0 65 95q37 147 86 415q6 34 6.5 42.5
t-5.5 11.5q-18 0 -79 -54l-14 25q48 48 96.5 79t71.5 31q29 0 9 -99z" id="x1D457"></path></g><g transform="matrix(.012,-0,0,-.012,17.846,23.55)"><path d="M535 323h-483v50h483v-50zM535 138h-483v50h483v-50z" id="x3D"></path></g><g transform="matrix(.012,-0,0,-.012,24.83,23.55)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g>
<g transform="matrix(.017,-0,0,-.017,34,19.075)"><path d="M745 361q0 -134 -83.5 -233t-214.5 -130l16 -11q97 -67 250 -132l-8 -23q-76 3 -131 16q-81 19 -242 125l-20 13q-129 8 -209 91t-80 208q0 160 116 271t289 111q136 0 226.5 -83t90.5 -223zM645 356q0 127 -57.5 201.5t-169.5 74.5q-126 0 -210.5 -104.5t-84.5 -248.5
q0 -97 46 -166.5t129 -87.5l84 15l29 -19q104 21 169 121.5t65 213.5z" id="x1D444"></path></g>
<g transform="matrix(.012,-0,0,-.012,47.05,23.15)"><path d="M499 88q-41 -46 -83.5 -73t-68.5 -27q-41 0 -19 98l52 225q10 43 8 59.5t-16 16.5q-37 0 -112 -65t-117 -135q-14 -42 -38 -179q-36 -7 -75 -20l-7 8l127 594q8 40 2.5 49t-35.5 9h-35l5 25q36 3 71.5 13t56.5 18t25 8q11 0 3 -38l-88 -417h2q77 102 195 167q44 24 79 24
q61 0 30 -130l-52 -220q-8 -33 4 -33q8 0 31 14.5t43 33.5z" id="x210E"></path></g>
<g transform="matrix(.008,-0,0,-.008,53.188,26.013)"><path d="M394 607q0 -25 -15.5 -43t-39.5 -18q-19 0 -32 13t-13 35t16 41.5t40 19.5q20 0 32 -13.5t12 -34.5zM360 349l-57 -283q-38 -188 -122 -263q-72 -64 -114 -64q-16 0 -30 10.5t-14 22.5q0 24 21 45q15 13 26 6q30 -20 54 -20q41 0 65 95q37 147 86 415q6 34 6.5 42.5
t-5.5 11.5q-18 0 -79 -54l-14 25q48 48 96.5 79t71.5 31q29 0 9 -99z" id="x1D457"></path></g>
<g transform="matrix(.012,-0,0,-.012,57.412,23.15)"><path d="M535 230h-212v-233h-58v233h-213v50h213v210h58v-210h212v-50z" id="x2B"></path></g><g transform="matrix(.012,-0,0,-.012,64.397,23.15)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g>
</svg>. The intermediate edges between every pair of vertices are not shown for clarity purpose.</table>

Modelling and Simulation in Engineering

On Counting and Embedding a Subclass of Height-Balanced Trees

Figure 5