22
PREPRINT. Acta Informatica, 28:165-178, 1990.

Binary Search Trees of Almost Optimal Height Arne Andersson

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Binary Search Trees of Almost Optimal Height Arne Andersson

PREPRINT. Acta Informatica, 28:165-178, 1990.

������������ ������������� � �������� �"!#�$�&%('()*%��"!+�,�.-� /��01�1%

243658792458:87;3=<6<=>?5A@B 7DCAEF36GIHJ7D5&G*>K�LM>?HJC8N�G=7D3PORQDST7D58Q;7

U N858:WVP58SYX?7D36<=SYG�Z[ >]\_^?^]`

O&acb?bR^�d?d U N858:Ofeg7D:�7D5

LMh83=ST<6G=SiE5kj�Qml�Sn58o pq>?rYK,s9rT7DST5VP58SYX?7;3=<=SYGutEFGcaMv97;<IEHwGIh8>fQmh8<=Qmh�N8rT7yx$<6<=7D5

z�[|{J}�~ 3=El&GIST<=Qmh879<=>FK�G�e�E367D>?36Sn7;5�G=Sn7;36GI79j�5�K�>3=H�EFGISTlORQmh�tN�GI�;7D5��AEh�5_�d�?� d?d�x$<=<67D5�^

z 7D:87;3IEr�p*7DC8N��8rnSTQ�>K$v�7D36H�EF5�Z� h8>?H�E<P�4G=G=H�E5�5A�

j�58<6G=STGINRG�K�tN�3�j�5�K�>?36H�EFG=SnlVP5�STX?7;3=<6STGutE�G z 367DST�8N83=op*h87DST58<6GD�q^]d�am^ubB ac�`d?d z 3=7DST�8N836o

z 7D:87;3IEr�p*7DC8N��8rnSTQ�>K$v�7D36H�EF5�Z

���8�D�����8�c���*�8�6���]�"�� ��¡�6¢�¢¤£4��¥;�D�¦�6�� �§�¨q©m£q�gªc�«�6¬m ®­¯���6°� ��D§,±��c ����6¬]�6¢�²���§�¨;�����4³��I�"�«¨q­´�c��F§�µ¶�;¬D��µ��c¢·�§�¸=§�¢��=�D°$§¹¬� �º» �8�D�������6���M�8�6���D�c�� ��¡�6¢�¢¤£���¥D�;�¦�6�� �§�¨�©m£��¼ªc�«�6¬m ½­¾���=°_ ��D§¿·�§�¥À ���µ¶�;§,Á;�6����µ«�À¥;¬Dª6��ª=§�°$§���¬ÀÂ��µ«�]�"­¯ �ÃDª6�«�6¬m /¬D�ÀºRÄ� /Å6ÆIÇ=È"ÂnÉmº

Ê

Page 2: Binary Search Trees of Almost Optimal Height Arne Andersson

Ë*Ì8Í6ÎcÏmÐuÑ�ÎÒ�Ó¯Ô¹Õ«Ö�×½Ø�ÙuÔ¹Ø6Õ¶ØcÚDÖ8Û�Ü;ØcÚuØ6Ô¹ÛÀݾӯÞ6Û�Ö¶Ó¯ßÀÚ¼ßÀàÕ¶áDâ�â�Ø"Ö¹Ô¶Ó´ã½äuÓ¯Ú�Û�Ô¹á¼å�æTÖ¹Ô¶Ø6Ø6Õ6çÀè¦å�å�énêuëiæÖ¹Ô¶Ø6Ø6Õ6ì�í�îuØ¿ßÀä¦Ö�Û�Ó¯ÚuØ6ï�Õ«Ö¶Ô¹ð�ã�Ö¹ðuԶخîFÛÀÕ/Û�î�ØcÓ¯ÜÀîDÖ/ß�à?ßÀÚ�ݾá�ñ�é�ò�óõôö ë]ݯßÀÜéø÷qó�òIëiùô ç;×®îuØ6Ô¶Ø�êMâ�ÛIáMäØ¿ã�îuß;Õ¶ØcÚ�ֹ߼äØ,Û�Ú]ágÙFßDÕ«Ó¾Ö¶Ó¯úÀØ�Ó¯ÚDÖ¶Ø6ÜÀØcÔ=ì8í�îuØ¿â�Û�Ó¯ÚDÖ¶Ø6Ú�Û�Ú�ãcØÛÀݾÜ;ßÀÔ¹Ó¡Ö¹îuâ�Õ¿Ô¹Ø6ûDðuÓ¯Ô¶ØMßÀÚ�ݾá9Ûüã"ß;Ú�Õ«Ö¹Û�ÚDÖ�Ú]ðuâ1äØcÔ$ßÀà/Ô¶ßÀÖ¹Û�Ö¶Ó¯ßÀÚ�Õ�ÙØcÔ$ðuÙ?ïuÛmÖ¹Ó¾Ú�Üß;ÙFØ6Ô¹Û�Ö¶Ó¯ßÀÚ�Ó¯ÚýÖ¶î�Ø�×�ß;Ô¹Õ«Ö¼ãcÛÀÕ¶ØÀì�í�îuØ=Õ«Ø�Ù�Ô¶ß;ÙFØ6Ô«Ö¹Ó¾Ø=Õ�Ö¶ßÀÜ;Ø"Ö¹îuØcÔ$×®Ó¾Ö¶îyÖ¶î�Ø�àYÛÀã"ÖÖ¹î�ÛmÖ,Ö¶îuØ�Õ�Ö¹Ô¶ðFã�Ö¶ð�ԶؼӴÕ�Ô¶Ø6ݯÛ�Ö¶Ó¯úÀØ6ݾáüÕ«Ó¯â�ÙuݯؼֶßPÓ¾â�ÙuݯØcâ�Ø6Ú;Ö�â�Û�þ;Ø6Õ�Ó¾Ö$Û*ð�Õ¶Ø"àøðuÝÛÀÝ¡Ö¹ØcÔ¹Ú�ÛmÖ¹Ó¾ú;Ø¿Ö¹ßMßÀÖ¶îuØ6Ô�Õ«Ø=Û�Ô�ã�î*Ö¹Ô¶Ø6Ø6Õ®Ó¯ÚPÙ�Ô¹Û;ã�Ö¶Ó´ãcÛÀÝ�Û�ÙuÙ�ݾӴãcÛ�Ö¶Ó¯ßÀÚ�Õ6ìí�îuØ6Ú�çÀä]á¼ð�Õ¶Ó¯ÚuÜ$Û�Ú�è¦å�å�énêuëiænÖ¶Ô¹ØcØ�×®Ó¾Ö¶î�Û�úmÛ�Ô¹áDÓ¯ÚuÜ$ê¼×½Ø�ÛÀã�î�Ó¾Ø6úÀØ�Û�Õ«Ö¶Ô¹ð�ã"æ

Ö¹ðuÔ¶Ø�×®Ó¡Ö¹îÿÛ�ݯßÀÜ;ÛÀÔ¶Ó¾Ö¶î�âMÓ´ã�Û�â�ß;Ô«Ö¹Ó¾Þ6Ø6ï.ã"ßDÕ�ÖqÙØcÔ4ðuÙ?ïuÛmÖ¹ØwÛÀÚ�ï�Û�îuØ6Ó¾Ü;î;ÖPß�àݯßÀÜ ÷�ó � éøݯßÀÜ�÷fë�ì�í�îuÓ´ÕMÔ¶Ø=Õ«ðuݾÖ�Ó¯Õ�Û�Ú�Ó¾â�ÙuÔ¹ßmúÀØ6â�ØcÚDÖgßÀà�Ö¶îuØ4ðuÙuÙØcÔ�äßÀð�Ú�ïß;ÚýÖ¶îuØ4îuØcÓ¯ÜÀîDÖMß�à¿Û9ï¦á]Ú�ÛÀâ�Ó¯ãqäuÓ¾ÚFÛ�Ô¹áyÕ¶Ø6ÛÀÔ¹ã�îýÖ¹Ô¶Ø6ØÀìwå½áyâ�Û�Ó¯Ú;Ö�Û�Ó¯ÚuÓ¯ÚuÜ9Ö�×½ßÖ¹Ô¶Ø6Ø6Õ¼Õ¶Ó¾âgðuݾֹÛ�Ú�ØcßÀðFիݯá�Ö¹îuØqÛÀâMß;Ô«Ö¹Ó¾Þ6Ø6ï�ãcß;Õ«Ö¼Ó¯Õ¼Ö¶Ô�Û�Ú�Õ«àøßÀÔ¹â�Ø6ïýÓ¯Ú;Ö¹ß�Ûü×½ßÀÔ�Õ�Ö¶æã6ÛÀÕ¶Ø�ãcß;Õ«Ö6ì4í�îDðFÕcçR×�Ø�î�ÛIú;Ø�Ó¾â�ÙuÔ¹ßmúÀØ=ï9Ö¹îuØ�×½ßÀÔ�Õ�Ö¶æiã6ÛÀÕ¶ØMãcßÀâ�ÙuݯØ��¦Ó¡Ö�áwß�à�Ö¶î�Øï¦Ó´ã�Ö¹Ó¾ß;Ú�Û�Ô¹á�ÙuÔ¹ßÀäuݯØcâüì

� ����� ���������������������� �"!$#&%('*),+�#&%.- /102%�+�+4365785�369;:=<6�?>�7&@�[email protected]�B�C @�B�A��EDF�,<6<G5�B�3H@.�,>[email protected]�3PO�Q*7MOKMA�>��RA��,>S5.�R@TKMIU�,<H�,9;�,OV@�5RWT�����?KMA�3HQX36O�7M<GY=36O�7&A�Z85.�,7&A[C��[email protected]��R�E7M<P<HK\DT536O�5��RA�@�3HKXO]KMA5.�,7&A�C��^KMI7MO_�,<H�,9;�,OV@`36O_a;b2<HKMQdcfeg7,hM�RA�7&QM� ijCR7M5.�k@�369��mlonqpdr\stW_uTKvDd�RhM�RA\pw�,7MC��KM:x�RA[7&@�3HKXOy9��,Oz@�3HKXO��,>yA��,{VB�36A��,5?<63PO��,7&A?@�369��*36Om@����*DFKMA�5.@�CR7M5.�MW1����3P5NY=7M>yYx� i��7,hq3HKXB�A|365U>=B��[email protected]@����I"7MC @F@���7&@F@��������,36QX�z@FKMI @����@.A��R�3P5UO�KM@|C [email protected]�KX<6<H�,>*YVZ;@����B�: >�7&@�36O�Q;7M<HQMKMA�36@���9�5w7MO�>]@����RA��RILKMA��?7;5.}M�[email protected]��R�?9�7,Z�KqCRCRB�A,W�GK�369;:=A�K\hM�E@����EDFKMA�5.@�ijCR7M5��gY��,��7\h�36KXB�A�KMI�@����EY=36O�7&A�Z�5��,7&A�C��[email protected]��R��>�3����RA��,OV@@jZ�:x�,5KMI���#&��#M!$-[+��]),+�#&%.- /k02%.+[+()T��7\hM�gY��R�,OJ:�A��,5.�,OV@.�,>�l´ÊMpx�qp½Ê¦ÊMp�Ê,�qp�Ê,��stW����KX5.�@.A��R�,5N��7,hM�;7����,3HQX�V@KMIFa;b2<HKMQdcfe�7MO�>J� �*CR3H�,OV@N9�7M36OV@.�,O�7MO�C ��7M<HQMKMA�3H@��=9�5TD���36C��7M<6<HK\D�36O�5��RA�@�3HKXO p�>��,<6�R@�3HKXO�7MO�>S5.�,7&A�C[��@.K8Y���:��RA�I"KMA�9;�,>�36Oka;b2<HKMQdcfeFDdKMA[5.@�ijCR7M5.�@�369;�MW� O��4D|7,[email protected];KMY�@�7M36O�7gY=7M<67MO�C �,>�Y=3PO�7&A�Z�5.�,7&A�C[��@.A��R��365FY�Z*B�5�3PO�Q?Y=3PO�7&A�Z;A��R:�iA��,5.�,OV@�7&@�3HKXO�5�KMI��[email protected]��R�,5,W|�T�����[email protected]��R�[email protected]�Kq>�B�C �,>]Y�Z]�|7,ZM�RA47MO�>��SC\�FA��,3HQX�V@El �Ms365gKMIL@.�,O�A��RI"�RA�A��,>�@.K17M5;7MO��zi���[email protected]��R�]DT���RA����m7MO�>��*7&A���@jDFK�36OV@.�RQM�RA�5RpU�^���\W�����?>�7&@�7`[email protected]�B�C @�B�A��?365w7`9gB�<H@�36DF7\Z*@.A��R�EDT���RA��N�,7MC[�JO�K�>��N� ��C �R:�@�@�����A�K�KM@T��7M57�>��RQMA��R�EYx�R@�Dd�R�,OJ��7MO�>��vWd�<6<�<H�,7\hM�,5�3PO]7��[email protected]��R�E��7\hM�?@����E5�7M9;�?>��R:=@�� Wd�����)['&����+,02%[� -��R�L!$#M%[']¡�¢�02%�+�+ pfKMA�£q¡|¡T¢�02%.+[+ [email protected]�Kq>�B�C �,>kY�Z1�|7,ZM�RA]lo��sU365�7]Y$36O�7&A�ZA��R:�A��,5.�,OV@�7&@�3HKXO�KMI=7Nnvit�&[email protected]��R�wD����RA��F�,7MC���O�Kq>��F36Og@����F�[email protected]��R��3P5GA��R:=A��,5.�,OV@.�,>EY�ZE75�9�7M<6<�Y$36O�7&A�[email protected]��R�MW�������5�@.A�B�C @�B�A�����7M5U5.�RhM�RA[7M<=:�A�KM:x�RA�@�3H�,5¤@���7&@F9�7&}M�,5d36@U7NQMK�K�>

¥ ¢¡�6ª$¨;§¹¬D�6 �§¹�8 ��D§�¢��=ª=�c���¤ ��D°  ��¿ ��D§�©]�6��§®É,�6¬D¨�¦q¨;§¹¬D�6 �§¹�8 ��D§½¬�¥;°�©¦§¹���6­&§�¢�§�°$§¹¬� ����i ��6��§�¨��¬M ��;§½ ���§�§=º

n

Page 3: Binary Search Trees of Almost Optimal Height Arne Andersson

7M<H@.�RA�O�7&@�3HhM�]@.KmKM@����RA�Y=36O=7&A�Zm5.�,7&A�C[��@.A��R�,5RW�§¨@�CR7MO�Y���A��R:�A��,5��,Oz@.�,>�DT36@���KXO�<HZKXO��`� �[email protected]�7JY=3H@�:��[email protected]��,>m�,<H�,9��,Oz@gILKMAEY=7M<67MO�C �836O�I"KMA�9�7&@�3HKXO�pf3H@?�=7M5?A��,<P7&@�3HhM�,<HZ5�369;:=<6��B�: >�7&@�36O�Q`7M<6QMKMA�3H@���9�5�7MO�>�36@�CR7MOJYx�g9�7M36OV@�7M36O��,>�DT3H@���KXO=<HZ]7*C KXO�5�@�7MOz@OVB�9EY��RA4KMIdA��,5�@.A�B�C @�B�A�3PO�QX5:x�RANB�: >�7&@.�MWg�����;<67M5.@4:�A�KM:x�RA�@jZJ3P5C A[B�CR367M<¤36Ok5.KX9;�7&:�:=<636CR7&@�36KXO�5�DT���RA���A��,[email protected][B�C @�B�A�36O�Q�365�� �q:��,O�5�3HhM�Mp�5�B�C[�y7M5EDT���,Oy369;:=<6�,9;�,Oz@�3PO�Q:�A�3HKMA�36@jZk5.�,7&A�C��[email protected]��R�,5]l´Ê,n�stW]u�K\DF�RhM�RA,p¤@����*9`7��q369`7M<U���,3HQX�V@�KMI�7MO�©q�|�[email protected]��R�8365n�<HKMQdc¤W�����B�5RpM36O�7&:�:=<P36CR7&@�3HKXO�5fDT���RA��|I27M5.@¤5.�,7&A�C[��365��,5�5.�,OV@�367M<�@�����5.Zq9�9;�[email protected]�3PCUY=3HiO�7&A�Z;�[email protected]��R��365UKXB�@.:��RA�I"KMA�9;�,>�Y�Zg@������fª«�[email protected]��R�TDT�=36C����=7M5�7?9�7���369�7M<=���,3HQX�V@�KMIÊ&¬o�M��<HKMQ|ckl´Ê stpX7MO=>E@����F}VijO��,3HQX�VY�KXB�A�@.A��R�|DT3H@���749�7��q3P9�7M<V���,3HQX�z@�KMIfb�Êq­`®(e�<HKMQUc¤pDT���RA��?®T365�7MO�7&A�[email protected]�7&A�Z85�9�7M<6< C KXO�5�@�7MOz@�l´Ê¦Ê stW�¯{�B��,5.@�3HKXOyDT��36C[�m7&A�3P5.�,5?I"A�KX9°5.@�B�>�Zq36O�QS©��F�[email protected]��R�,5;3P5�DT���R@����RAE@����RA��87&A��7MOzZ�B�5��RI"B�<qY$36O�7&A�ZEA��R:�A��,5.�,OV@�7&@�3HKXO�5UKMI �[email protected]��R�,5U@���7&@F7&A��TO�KM@Fnvit�&[email protected]��R�,5RWU�|7,ZM�RA�lo��s>�� ±$O��,>87gQM�,O��RA�7M<63H²R�,>�5.Zq9�9;�[email protected][36CTY$36O�7&A�Z;�[email protected]��R�NY=B�@F5.K�I"7&A|@���3P5UQM�,O��RA[7M<63H²,7&@�3HKXO��7M5�O�KM@�5���K\DTO�7MOVZ8:=7&A�@�36CRB�<P7&A|7M>�h�7MOV@�7&QM�?@���7&@�9�7&}M�,5T3H@wB�5��RI"B�<tW�§�O�@���365|:$7&:x�RADd��:�A��,5��,Oz@;7kO��RD³QM�,O��RA�7M<636²,7&@�3HKXO�KMI�@�����©q�|�[email protected]��R�]@���7&@�A��R:�A��,5.�,Oz@�5;�zi���[email protected]��R�,5DT���RA����_´°n&µJ7MO�>_�J´¶n&µR·f¸;ILKMA`7MOVZ�:�KX5�3H@�3HhM�]36OV@.�RQM�RA*¹xW_����3P5EQM�,O��RA�7M<63H²R�,>[email protected]�B�C @�B�A��Mp�>��,O�KM@.�,>y7MO_£q¡|¡EºL¹V»v¢�02%�+�+�b236O¼lo½�sF3H@E365�A��RI"�RA�A��,>[email protected]�%�+��M¢2¾�¢.�R��#X-R¿02%.+[+�e[pT36O=���RA�3H@�5�@����JQMKVKq>_:=A�KM:��RA�@�3H�,5;KMIN@����1©q�|�[email protected]��R��DT36@��_A��,5.:��,C @�@.K�5.:=7MC �� �*CR3H�,O�C ZMp�O��R�,>kKMIdKXO=<HZJ7]C KXO�5�@�7MOz@?O�B�9EY��RAKMIFA��,[email protected][B�C @�B�A�36O�QX57MO=>15�369;:=<P36CR3H@jZKMIw@����*7M<HQMKMA[3H@���9�5RW��JKMA��RKvhM�RA,pU3H@?�=7M5?@����87M>�h&7MOz@�7&QM��KMIwY��,36O�Q]KMI�<HKvDÀ���,3HQX�z@RpÁ b�ÊF­ ¸µ e�<6KMQxb"c8­ Ê\e�Â�W������,5.�¤:�A�KM:x�RA�@�3H�,5 9�7&}M�F©q�|�Nb ¹�[email protected]��R�,5�7|QMK�K�>E7M<H@.�RA�O�7&@�3HhM�@.K�KM@����RA�5��,7&A�C���@.A��R�,5�I"KMA�:�A�7MC @�3PCR7M<�7&:�:=<63PCR7&@�3HKXO�5RW�����;I27MC @?@���7&@?KXB�A�QM�,O��RA�7M<P3H²R�,>[email protected]�B�C @�B�A��;A��,{�B�3HA��,54I"�RDÃA��,[email protected][B�C @�B�A�36O�QX54:x�RAB�: >�7&@.�N7M<65.K�QX3HhM�,5wB�5|@����4:�KX5�5�36Y=36<63H@�[email protected];:=A��,5.�,OV@�7MO]369;:�A�KvhM�,>�B�:�:��RAdY�KXB�O=>`KXO@��������,3HQX�V@;KMIN71>�ZqO�7M9�36C�Y=3PO�7&A�Zm5.�,7&A[C��[email protected]��R�MWÄ����3P5g3P5;KMY�@�7M36O��,>�Y�Z�B�5�36O�Qk79;K�>=3�±=�,>�hM�RA[5�3HKXOJKMI�7MO1©��F�Nb ¹�[email protected]��R�;D����RA��?DF��B�5.�E7*h&7&A�Z�3PO�Q`h&7M<6B��EKMIU¹xW�Å1�KMY�@�7M36O87�Y=36O=7&A�Z;5.�,7&A�C��[email protected]��R�DT3H@��`7E<HKMQX7&A[3H@���9�36CTC KX5.@dI"KMA|B�: >�7&@.�,5U7MO�>87?���,3HQX�z@KMI�<HKMQUc�­JÆqb2<6KMQUcfe[p�DT��36C[��365�Y��R@.@.�RA|@���7MO`ILKMA|7MOzZ;KM@����RAF>�ZqO�7M9�3PCwY=36O�7&A�Zg5.�,7&A[C��@.A��R�MWÇ ÈÀÉF�xÉËÊN����������� Ì�Í�[email protected]��R�N9�7,Z�Y���A��R:�A��,5.�,OV@.�,>�7M5d7EY=36O�7&A�[email protected]��R��DT���RA��T�,7MC[�8O�K�>��36O�@�����[email protected]��R�C KMA�A��,5.:�KXO�>�5�@.Ky7�O�B�9EYx�RA`KMIY$36O�7&A�Z�O�Kq>��,5;DT��3PC���@.KMQM�R@����RA8I"KMA�9Î7SÏ$)R+ Ð��XÑM¢!$Ñ,�z+RW8Òd7MC���:$5.�,B�>�K&ijO�Kq>���365N3PO�3H@�5.�,<HIF7�5�9�7M<P<�Y=36O�7&A�[email protected]��R�MW*�T���;:=5.�,B�>�K&ijO�K�>��C KXOz@�7M36O=36O�Q�@����UA�KVKM@GKMI�@����U�,OV@�3HA��¤@.A��R�F365�CR7M<6<H�,>�@�����Ï=),+ Ð��XÑ&¢¨%�Ñ\ÑM02WU������O�B�9EY��RA�KMIY=36O�7&A�Z�O�K�>��,5�36O�7:=5.�,B=>�K&ijO�Kq>��F3P5f@�����)(�HÓv+�KMI=@����F:$5.�,B�>�K&ijO�Kq>��MW������4��#,ÔM�"��Ð��7MO�>��g�"!��"��Ð��Õ/�+ �HÖ&/V0�KMIU78:=5.�,B=>�K&ijO�Kq>��E365�@����;<HKXO�QM�,5�@7MO�>k5���KMA�@.�,5.@4>�365.@�7MO�C �

Page 4: Binary Search Trees of Almost Optimal Height Arne Andersson

ILA�KX9×36@�[email protected]:=9;KX5.@�O�K�>���@.K�7]O�Kq>���KXB�@�5�3P>���@����;:=5.�,B�>�K&ijO�K�>��Mp A��,5.:��,C @�3HhM�,<HZMW��:=5.�,B�>�K&ijO�K�>��J365JÑ[Ï�02�L��#&�"�Ø'_��#M��#&!x-[+��k36I@����J>�3����RA��,O�C ��Yx�R@�Dd�R�,O¼3H@�5*9�7��q3P9EB�97MO�>�9�36O=369EB=9À���,3HQX�z@�5T365w7&@T9;KX5.@PÊ&WÙ 5�36O�Q�@����U@.�RA�9�36O�KX<6KMQMZ47&Y�KvhM�Mp�D���36C��?365�>�3����RA��,OV@�I"A�KX9Ú@���7&@�B�5.�,>�Y�ZN�|7,ZM�RA�ÛMp@����T)('&�g�`+,02%[� -�R�L!x#&%['T¡T¢�02%.+[+|lo�vstpMKMAU£q¡|¡T¢�02%.+[+ pM9�7,Z?Yx�d>�� ±$O��,>E7M5�7TA��R:�A��,5��,Oz@�7�i@�3HKXO?KMI�7nvit�&[email protected]��R�|DT���RA��U�,7MC��g:=5.�,B�>�K&ijO�K�>��U365�KM:=@�369�7M<6<HZY=7M<67MO=C �,> Wf�O�� ��7M9;:=<H�KMI�7MOS©q�|�[email protected]��R�E365|QX3HhM�,OJ36O]Ü�3HQXB�A��9Ê&W�����*QM�,O��RA�7M<63H²R�,>�©q�|�[email protected]��R�8:�A��,5.�,OV@.�,>y���RA��*365E>�3����RA��,OV@�ILA�KX9Ý@����*QM�,O��RA�7M<�i3H²,7&@�3HKXO�5�B�QMQM�,5.@.�,>yYVZ��|7\ZM�RA,W�§�Om��3P5�[email protected]�B�C @�B�A��Mp�7J:=5.�,B=>�K&ijO�Kq>���CR7MOm@�7&}M�]7MOVZ5���7&:���7M5|<HKXO�Q�7M5|3H@�5F9�7��q3P9EB�9À���,3HQX�V@d3P5d<H�,5�5U@���7MO8KMAF�,{VB=7M<[email protected]�5.KX9;�4C KXO�5.@�7MOV@RW§¨O�KXB�A�[email protected][B�C @�B�A��Mp¤@�����©q�|�Nb ¹�[email protected]��R�Mp|�,7MC��_:=5.�,B�>�K&ijO�K�>���365EA��,{�B�3HA��,>[email protected]��87MOKM:�@�369�7M<6<6Z`Y=7M<67MO=C �,>]@.A��R�MW�ÞILKMA�9`7M<�>�� ±$O�36@�3HKXO8KMI¤©q�|�Nb ¹�[email protected]��R�,54365|QX3HhM�,O�Yx�,<6K\D�Wß]àzá¤âfãLävã"åxâçæéè Ñ&%k#1ÖM�"ê&+R!Ä�"!=0j+tÖ�+ %k-�Ñ&!�) 0t#&!=0�¹$ë�¹Þì Ê�ë`#SÖ�+ !x+R%�#M�Ø�6Ó\+���)['&��¢��+,02%[� -�� �"!$#&%('k¡T¢�02%.+[+(ë�Ñ&%]£q¡|¡EºL¹V»�¢¨02%�+�+ ë;�P)J#�� �"!$#&%('�02%�+�+Jí�/V�2-R/�)R#M02�L)LîF+ )J0"/q+ï Ñ&�"�HÑ&í¤�L!�Ö���#&�H#&!$-(+;-R%(�20j+ %(�2#Xð

ñÃò /q+�Ï$)R+ Ð��XÑM¢�%.Ñ,ÑM0?�P)*Ñ[Ï�02�L��#&�"�Ø'y��#&�H#&!$-[+���#&!$�k/�#�)�#J��#,ÔX�L��Ðq�ó/q+ �HÖ&/V0ô¹�­�Ê�õñ_ö �"�¤ÑM0"/q+ %Ï$)R+ Ð��XÑM¢�!$Ñ\�z+()�/�#&êM+8#]���L!=�L��Ðq�Õ/q+ �HÖ&/�0wìÞ¹_#M!$�J#���#,ÔM�"��Ð��/q+R��ÖM/V0dôĹ�­�ÊX÷ñÃò /q+?!�Ðq�`��+R%EÑ ï Ï=),+ Ð��XÑ&¢¨!$Ñ,�V+()gÑ&!10"/q+wÏq#X0"/ ï %.Ñ&�Õ0"/q+?%�Ñ,ÑX0F0tÑ�#*�6+�# ï �L)�0"/q+)R#&�`+ ï Ñ&%g#&�L�G�H+�#&ê&+ ) ÷

Ü�A�KX9ø@����J>�� ±xO�3H@�3HKXO�I"KX<6<HKvDT5;@���7&@87M<6<w:=5.�,B=>�K&ijO�Kq>��,5;� ��C �R:�@*@�����:=5.�,B�>�K&itA�KVKM@��7,hM��7`5�36²R�?Y��R@jDF�R�,OSn µù Ê?7MO�>Sn µ ·f¸�ù Ê&W������?�zi���[email protected]��R��C KMA�A��,5.:�KXO�>�3PO�Q;@.K*7MO©q�|�4b ¹�[email protected]��R�?��7M5F�;´Ín&µ�7MO�>��|´Ín&µ ·f¸,W�Ü�KMAw¹*´ ÊTDF�4QM�[email protected]�9;�[email protected][36CTY$36O�7&A�Z�[email protected]��R�MW�GK�}M�R�R:�7MO�©q�|�Nb ¹�[email protected]��R�NY=7M<67MO=C �,>*DF�N��7,hM�[email protected]�Y���7&Y=<6��@.K;36>��,OV@�3HI"Z;:=5.�,B�>�K&iO�K�>��,5F7MO=>8>��R@.�RA�9�36O��@����,3HAw9�7���369gB�9À7MO�>�9�36O�369gB�9ú���,3HQX�V@�5RW � O��Y=3H@|[email protected]��,>36O��,7MC[�*Y$36O�7&A�Z�O�Kq>���@.�,<6<65UDT���R@����RAd@�����O�K�>��365�@����[email protected]:=9;KX5�@dO�Kq>���KMI�7E:=5.�,B�>�K&iO�K�>��8KMA�O�KM@RW�Ü�A�KX9û@���365�36O�I"KMA�9�7&@�36KXOy@�����9`36O�369gB�9Ý7MO=>�9�7��q3P9EB�9Ë���,36QX�z@�5KMI�7;:$5.�,B�>�K&ijO�Kq>��NüÃCR7MO]Y��NC KX9;:=B�@.�,>]YVZ8� �q:=<636CR3H@F� ��7M9�36O�7&@�3HKXO�KMI�@����NY$36O�7&A�ZO�K�>��,5;36O�ü;W�§�I�@���365�� ��7M9�36O�7&@�36KXO�365�C KXO�5�36>��RA��,>�@.K1Yx�]@.K�K1@�369;� ijC KXO=5�B�9�36O�Q�pý¨þ ¬D�i �§��=¨��6­¦ ��D§f �§¹��°��D��§¹¥]¨;�cÂY¬D��¨;§�³8��£m§¹�f¥D��§¹�? n�8�� n£À�¦§��?�c­u§�¨;ª6§���ÃI§�¨Àª=§��&� �¤ ��D��¬��½�D��§�¥D¨;�cÂ

¬;��¨;§*�"��§�ÿ������������� ��R�6¬D¨y§�¨;ª6§��1©¦§¹ n��§�§�¬ý�;��§�¥]¨À�6ÂY¬D��¨À§��1�c��§������������� �� º��8�;§*¨;§��D¬D�¤ ����=¬D�g�c��§§���¥;��¸=�c¢¡§¹¬� �ÃÀ©;¥; A ��D§®¬;�6 «�" ��¡�6¬��6­?�D��§�¥D¨;�6ÂY¬;��¨;§��A� ��¢�¢����°$�D¢��¤­¯£1�=¥À�/�;��§���§�¬m «�" ��¡�6¬Fº

Page 5: Binary Search Trees of Almost Optimal Height Arne Andersson

1 4 7 12 35 40 44 50 52 77

9 19 64

47

47

9

19

64

4

1 7

12 40

35 44

52

50

77

Ü�3HQXB�A��9Ê�� ö � ¢"!�¢¨02%�+�+�#&!$��#�-�Ñ&%(%.+ )tÏqÑM!$�&�"!VÖ]£�¡F¡T¢�02%.+[+,÷

Page 6: Binary Search Trees of Almost Optimal Height Arne Andersson

@�����Y=7M<67MO�C �]36O�I"KMA�9�7&@�36KXOy9�7\ZmY���[email protected]��,>�36O�7MO�KM@����RA;5.KX9;�RD���7&@;9;KMA��]5.:=7MC � iA��,{VB=3HA�36O�QJDF7\ZMWy§�O�@���365�CR7M5.�]@�DdKy36Oz@.�RQM�RA[5;[email protected]��,>�36O��,7MC��_Y=36O�7&A�ZyO�K�>��836O�üQX3HhM��@�����9�3PO�369gB�9ú7MO=>]9�7��q3P9EB�9 >=365.@�7MO�C �,5wI"A�KX9³@����NY$36O�7&A�Z`O�K�>��[email protected]�7`O�K�>��KXB�@�5�36>���ü�W�ÚO�36C �w:�A�KM:x�RA�@jZ�KMI�@����©q�|�Nb ¹�[email protected]��R�N365¤@���7&@U@�����C KXO�5�@�7MOz@|¹;9�7,Z;Y��TC[��KX5.�,O36Ok7�DF7\ZSD���36C��SY�A[36O�QX53H@�5N���,3HQX�V@�7&A�[email protected][7&A�Z�CR<HKX5.�;@.K]@����gKM:=@�369�7M<¤���,3HQX�V@4KMIF7Y=36O�7&A�Z85.�,7&A�C[��@.A��R�Mp�D���36C��]3P5�5���KvDTO]Y��,<HK\D?W#%$ àVå'&và)( æ+* +,0-,���+�#M!J£�¡F¡Eº"¹V»`02%.+[+,÷ ò /q+R!

/q+R��ÖM/V0jb.,4e|ô0/21fÊd­ ʹ43 <HKMQxb"c8­�Ê\e�5N¬ b�Ê\e67&vå å'8�9 Ü�A�KX9 @����E>�� ±$O=3H@�3HKXO]7&Y�K\hM�gDd�E}�O�K\DÞ@���7&@�@����E�[email protected]��R��C KMA�A��,5.:�KXO�>�3PO�[email protected]©q�|�4b ¹�[email protected]��R��3P5T7MOS�Xi���[email protected]��R�gDT���RA��E�*´~n&µVW������E���,3HQX�V@�KMI¤@���365��[email protected]��R�g365@����g5�7M9;�;7M5�@����gO�B�9EYx�RA�KMI�:=5.�,B=>�K&ijO�Kq>��,5TKXOS7*:=7&@��SILA�KX9 @����gA�K�KM@�@.K]78<H�,7&I36O�@����;©q�|�Nb ¹�[email protected]��R�MWÜ�A�KX9 @����E7MO�7M<6Z�5�3P5wKMIU�[email protected]��R�,5;l ��p�r\s�Dd�g}qO�K\DÞ@����E���,3HQX�z@KMI�7MO��Xi���[email protected]��R�:�

���,3HQX�z@\b2�zi���[email protected]��R�&e ô Êd­<;j<HKMQ>= c*­�Ên ?

´ Êd­ ; <HKMQ$b"c8­ Ê\e ù Ê<6KMQdn µ ? b nXe

�GK8C KX9;:=B�@.�g@����?���,36QX�z@�KMI�7MOS©q�|�Nb ¹�[email protected]��R��Dd��B�5.�?@����?I27MC @�@��=7&@T@����g5���KMA�@.�,5.@>�365.@�7MO�C �NI"A�KX9 @����NA�KVKM@[email protected]*7;<H�,7&I�3P5w7&@T9;KX5.@A@"<6KMQ$b"c8­�Ê\e�BXWd©�36O�C �4�,7MC��J:=5.�,B�>�K&iO�K�>���365|KM:�@�369�7M<P<HZ�Y=7M<67MO=C �,> p�@�����>�3����RA��,O�C �NY��R@�Dd�R�,O�@�����>��R:�@���5|KMI�@jDFK*<6�,7,hM�,5365w7&@w9;KX5.@wKXO��N:��RAw<H�RhM�,< 36O*@�����C KMA�A��,5�:xKXO=>�36O�Qg�[email protected]��R�MWd����B�5Rp�@��������,3HQX�V@|KMIf7MO©q�|�4b ¹�[email protected]��R��,�365�7&@N9;KX5.@T@����g5�B=9¯KMI�@����g9�36O�3P9EB�9�>��R:�@��JKMI�7*<H�,7&I�7MO=>�@����9�7��q3P9EB�9����,3HQX�V@wKMIf@����EC KMA�A��,5.:�KXO�>�3PO�Qg�zi���[email protected]��R�Mp=@��=7&@T365���,36QX�z@\b.,4e ô @"<HKMQxb"c*­õÊ\e�BF­����,3HQX�V@\b2�zi���[email protected]��R�&e

ô @"<HKMQxb"c*­õÊ\e�BF­�Êd­ ; <HKMQ�b"c*­�Ê\e ù Ê<HKMQdn µ ?

ô ;21 ÊU­ ʹ43 <6KMQ$b"c*­�Ê\e�­�Ê ù ʹ ?ô /21RÊU­ ʹ 3 <6KMQ$b"c*­�Ê\e�5 b �Xe

DT��36C[�]C KX9;:=<H�R@.�,5T@�����:�A�K�KMI¨W CD

Page 7: Binary Search Trees of Almost Optimal Height Arne Andersson

Ü�A�KX9 �����RKMA��,9 ÊDF�C KXO�CR<PB�>��@���7&@F7g<67&A�QM�4h&7M<6B���KMIf¹�}M�R�R:$5|@�������,3HQX�z@FKMI�@����@.A��R�;CR<HKX5.�[email protected]:=@�369�7M< WuTKvDd�RhM�RA,pG@����g7M9�KXB�Oz@KMIUA��,[email protected]�B�C @�B�A[36O�Q�DFKMA�}�A��,{�B�3HA��,>:x�RA�B�: >�7&@.�N36O�C A��,7M5.�,5T7M5�¹�36O�C A��,7M5.�,5RWE F É������ÌU��É����¤ÌHG I�JT������LKNMPO�����E7M<6QMKMA�3H@���9�5�I"KMA36O=5.�RA�@�3HKXOJ7MO�>J>��,<H�R@�3HKXO�3POJ7MO1©q�|�Nb ¹�[email protected]��R��7&A���CR<HKX5.�,<HZ]A�� i<67&@.�,>�@.K*@���KX5.�?I"KMAT@����?5�7M9;��KM:��RA�7&@�36KXO�5T36O�7��[email protected]��R�MWw§¨O�KMA�>��RA�@.K8>��,5�C A�3HY��N@����7M<HQMKMA�3H@���9`5wDd��>�� ±$O���5.KX9;�?Y=7M5�36C4KM:��RA�7&@�3HKXO=5|Yx�,<6K\D�WQSR�T UWVLX�Y�Z\[^]`_ba2Vdc2Y�egfhX«��R@*ü°7MO�>jiÃ>��,O�KM@.��@�DdKy:=5.�,B�>�K&ijO�K�>��,5RWÄ������B�: >�7&@�36O�Q17M<HQMKMA�36@���9�5;I"KMA*7MO©q�|�4b ¹�[email protected]��R�gB�5��N@�����I"KX<6<HK\D�36O�QgKM:x�RA[7&@�3HKXO�5k�

ñ ¡#&�H#&!$-(+ü`ðFüÃ365|A��RY=B=36<H@|@.K�Y��,C KX9;�NKM:�@�369`7M<6<HZ`Y$7M<67MO�C �,> Wñ £MÏx�Ø�20Nü`ðyüó3P5*5.:$<63H@`[email protected]�@jDFK�:$5.�,B�>�K&ijO�Kq>��,587MO�>¼3H@�5`@.KM:$9;KX5.@]O�Kq>��J36536O=5.�RA�@.�,>][email protected];@�����:=7&A��,Oz@w:=5��,B�>�K&ijO�Kq>��MWñml Ñ&�"!kü #M!$�^iwð;ü 7MO�>\i~7&A��7n�KX36O��,> pf@����*C KX9�9;KXOy:=7&A��,OV@?KMIw@����,3HA?A�� i5.:��,C @�3HhM�[email protected]:=9;KX5�@�O�K�>��,5E365�>��,<6�R@.�,>yI"A�KX9Ë@����8:=7&A��,OV@�:=5.�,B�>�K&ijO�K�>��87MO�>Y��,C KX9;�,5w@�����@.KM:=9;KX5.@�O�K�>��NKMIf@����EO��RDÚ:=5.�,B�>�K&ijO�K�>��MWñpo Ñ&¢���#M��#&!x-[+�ü #&!$�qi�ð1ü°7MO=>mi 7&A��rn.KX36O��,> pF@����SO��RD�:=5��,B�>�K&ijO�Kq>���365Y=7M<P7MO�C �,>]7MO�>�5.:$<63H@[email protected]�üÃ7MO�>siFWñ £=�"!VÖX�H+?%.ÑM0t#M02� Ñ&!$÷

��������#&�H#&!$-,�L!VÖNKM:x�RA[7&@�3HKXO�365U:��RA�I"KMA�9;�,>`DT���,O836O�5.�RA�@�3HKXO`KMA|A��,9�K\h&7M<$KMIf7EY$36O�7&A�ZO�K�>��k9`7&}M�,5�7�:=5.�,B�>�K&ijO�K�>��SB�OVY=7M<67MO=C �,> pT@���7&@�3P5RpTDT���,O¼36@�5]9�7��q3P9EB�9 7MO�>9�36O�369gB�9³���,3HQX�V@�5�>�3H�x�RAwY�Z*@�DdK�W�����8)tÏx�Ø�20�3654B�5.�,>SDT���,OS78:=5.�,B�>�K&ijO�K�>��gY��,C KX9;�,[email protected]�K�<P7&A�QM�Mp @���7&@N365Rp�DT���,O36O�5.�RA�@�36KXO*KMI�7�Y=36O�7&A�Z`O�Kq>��N36O�C A��,7M5.�,5w36@�5w5�3H²R�[email protected]`n&µR·f¸ WU§¨O�@���3P5FCR7M5��Mp�Y��RILKMA��4@����Y=36O�7&A�Z1O�Kq>���D|7M5g7M>�>��,>y@����`:=5��,B�>�K&ijO�Kq>��`��7M>y3H@�5g<67&A�QM�,5.@E:xKX5�5�3HY=<H�;5�36²R�`DT3H@��7J9�7���369gB�9Ý7MO=>m9�36O=369EB=9¶���,3HQX�V@?KMIT¹�­ Ê&WJ��>�>=36O�Q�@����*Y=36O�7&A�ZSO�Kq>��*QX7,hM�7y9�7���369gB�9Î���,3HQX�z@`KMIE¹8­çny7MO�>_@���B�5Rpw@����J:=5.�,B�>�K&ijO�K�>���365`5�@�36<6<wKM:�@�3P9�7M<6<HZY=7M<67MO�C �,> WU©�:$<63H@.@�36O�Q43H@¤DT3P<6<zA��,5�B�<H@�36O�@�DdK?:=5.�,B�>�K&ijO�K�>��,5�DT3H@��;9�36O=369EB=9ç���,36QX�z@�5KMId¹�7MO�>S9�7���369gB�9����,36QX�z@�5�KMIU¹�7MO=>J¹E­�Ê&p�A��,5.:��,C @�3HhM�,<HZ�b2Ü�3HQXB�A���n�Yxe[W��T�VB�5,pYxKM@��SKMId@����;O��RD�:=5.�,B�>�K&ijO�K�>��,55�7&@�365�ILZ�@�����>�� ±$O�3H@�3HKXO�KMIU7MOm©q�|�Nb ¹�[email protected]��R�`7MO�>

r

Page 8: Binary Search Trees of Almost Optimal Height Arne Andersson

O�KyY$7M<67MO�CR36O�QyKMI�:=5.�,B=>�K&ijO�Kq>��,5*3P5`A��,{�B�3HA��,> WÞ�T����@.KM:=9�KX5.@]O�K�>���KMI?@����JKX<6>:=5.�,B�>�K&ijO�K�>��ND�36<6<$Yx��3PO�5.�RA�@.�,>][email protected]�@����N:$7&A��,Oz@T:=5.�,B�>�K&ijO�K�>��MWż���,Ok@����EÏ=)R+RÐ��zÑ&¢�%.Ñ,ÑM0d36545.:=<636@�7�O��RD�:=5.�,B�>�K&itA�KVKM@4KMIF5�3H²R��KXO��;3654C A��,7&@.�,> W§¨O;@��=365¤CR7M5.��@�����O�B�9EY��RA¤KMI$:=5��,B�>�K&ijO�Kq>��,5�KXO;�,7MC[��:=7&@��;I"A�KX9�@����TA�KVKM@¤@.KE7N<H�,7&IDT36<6<�36O�C A��,7M5.�NYVZ.Ê&p=D���36C��]C KMA�A��,5.:�KXO�>�5|@.K`3PO�C A��,7M5�36O�Qg@��������,3HQX�V@�KMI�7`�[email protected]��R�MW�����utRÑ&�"!?7MO�>�-[Ñ&¢.��#&�H#&!$-R�"!VÖTKM:��RA�7&@�3HKXO�5¤7&A��w:��RA�I"KMA�9;�,>�D����,O;74:=5.�,B�>�K&ijO�K�>��Yx�,C KX9��,[email protected]�KJ5�9`7M<6< W�����365NKqCRCRB�A�5?DT���,OmA��,9;K\h&7M<dKMI�7]Y=36O�7&A�ZSO�Kq>��`>��,C A��,7M5.�,5@����E5�36²R�?KMI¤@����E:=5.�,B�>�K&ijO�K�>��[email protected]�n µù n�W��F�RI"KMA��g@����E>��,<6�R@�3HKXO�@����E:=5.�,B�>�K&ijO�K�>����7M>y36@�5?5�9�7M<P<H�,5.@�:�KX5�5�36Y=<H�;5�3H²R�*DT3H@���7J9�36O�369gB�9×7MO�>y9�7���369EB=9Ý���,3HQX�V@?KMIT¹xW���VB=5RpV7&I"@.�RAd@�����A��,9;Kvh�7M<$@�����:=5��,B�>�K&ijO�Kq>�����7M5F7�9�36O=369EB=9 ���,3HQX�V@�KMIG¹ ù ÊT7MO�>7E9�7���369gB�9 ���,3HQX�z@dKMIG¹�7MO�>*365dKM:�@�369�7M<6<6ZEY=7M<P7MO�C �,> WU©q36O�C �T@����T:=5��,B�>�K&ijO�Kq>��[email protected]�9�7M<6< p�DF�?��7\hM�[email protected]*�,3H@����RASn.KX36O�3H@wD�3H@���7MO�KM@����RA�:=5.�,B�>�K&ijO�K�>��NKMA�7M>�>�O�K�>��,[email protected]`3H@RWż���,O�@jDFK`:$5.�,B�>�K&ijO�Kq>��,5w7&A��`n�KX36O��,>�KMA�C K&itY=7M<67MO=C �,> p�@����,[email protected]:=9;KX5.@TO�K�>��,5��7,hM�[email protected]`Y���5�3HY=<P36O�QX5RW�§¨O�5.KX9;�ECR7M5��,5T7�)(�L!VÖX�H+E%.ÑM0t#M02� Ñ&!]365�O��R�,>��,>]@.K`KMY=@�7M36O]@���365C KXOq±=QXB�A�7&@�36KXO W�����vt ÑM�L!1365E:��RA�ILKMA[9;�,>mD����,Om@����*:=5��,B�>�K&ijO�Kq>��:w 5g5�3HY=<63PO�Q���7M5�3H@�5g5�9�7M<6<H�,5�@:xKX5�5�3HY=<H�*5�3H²R�MWk����7&@�365Rp¤DT���,OyY�KM@��y36@�5E9�7���369gB�9ó7MO�>�3H@�5E9`36O�369gB�9¶���,36QX�z@�57&A��*¹xW*�T���;A��,5�B�<6@�36O�Q%n�KX3PO��,>k:=5.�,B�>�K&ijO�K�>��;DT36<6<���7\hM�*7�9�3PO�369gB�9Õ���,3HQX�V@NKMIw¹7MO�>�7E9�7���369gB�9À���,3HQX�V@dKMIf¹�­�Ê�b2Ü�3HQXB�A���&>$ed7MO�>83H@FDT36<6<=5�7&@�365.I"Z;@����4>�� ±$O�3H@�36KXOKMI�7MOk©q�|�Nb ¹�[email protected]��R�MW|§�I�@�����:=5��,B�>�K&itA�K�KM@TC KXOV@�7M36O�5�KXO=<HZ`KXO��?Y=36O�7&A�Z8O�Kq>���3H@�DT3P<6<>�365�7&:�:��,7&A�D����,O�3H@�5�@jDFK�C���36<P>�A��,O�7&A��xn.KX36O��,> W|§�O�@���365�CR7M5.�g@����yn.KX36O��,>�:=5.�,B�>�K&iO�K�>���DT36<6<xY��,C KX9;��@����EO��RDÍ:$5.�,B�>�K&itA�K�KM@T7MO�>�@����EO�B�9EYx�RAwKMI�:=5��,B�>�K&ijO�Kq>��,5wKXO�,7MC��1:=7&@��kI"A�KX9Õ@�����A�K�KM@[email protected]�7�<H�,7&IUDT3P<6<f>��,C A��,7M5.�;Y�ZÿÊ&p�DT��3PC��kC KMA�A��,5.:�KXO�>[email protected]>��,C A��,7M5�36O�Q;@����?���,3HQX�V@wKMI¤7��[email protected]��R�MWo Ñ&¢���#&�H#&!$-,�L!VÖJ365�:��RA�I"KMA�9;�,>�DT���,O�@�����5�3HY=<63PO�Q�KMI@����]:=5.�,B=>�K&ijO�Kq>��83P5�@.KVK<67&A�QM�[email protected]<6<HKvDzn.KX36O�36O�Q�Wd�����?� �x�,C @4KMI�@���365TKM:x�RA[7&@�3HKXO�365T@���7&@TY$36O�7&A�Z�O�Kq>��,5T7&A��9;K\hM�,>`ILA�KX9Ã@�����<67&A�QM�RA�KMI�@����w@�DdK?:=5.�,B�>�K&ijO�K�>��,5�@.K?@����T5�9�7M<P<H�RA�KXO��MW¤�TI"@.�RAU@����C K&itY=7M<67MO�CR36O�Q�Y�KM@��g:=5.�,B�>�K&ijO�K�>��,5GDT3P<6<z5�7&@�3P5.ILZN@����|>�� ±$O�3H@�3HKXO?KMI=7MO`©q�|�Nb ¹�[email protected]��R�MW������5.:$<63H@�7MO�>{n�KX3POÄKM:��RA�7&@�36KXO�5]7&A��1:��RA�I"KMA�9;�,>Ú9;�RA��,<6Z^Y�ZÄC��=7MO�QX36O�Q�@����[email protected]��,>�Y$7M<67MO�C ��36O�I"KMA�9�7&@�36KXO;36O�@���A��R��Y$36O�7&A�ZgO�K�>��,5¤7MO�>�>�K�O�KM@dC���7MO�QM��@����[email protected]��R�[email protected]�B�C @�B�A��?7&@�7M<6<tWF����B�5Rp=YxKM@���@����,5.�EKM:x�RA[7&@�3HKXO�5�7&A��EhM�RA�Z�5�369�:=<H�[email protected]`:��RA�I"KMA�9¯36OC [email protected]�7M5�@[email protected]]@�����C KMA�A��,5.:�KXO�>�36O�Q8KM:��RA�7&@�3HKXO�54I"KMA?7MO1KMA[>�36O�7&A�ZJ�[email protected]��R�MW`�����;C KX5.@KMITY=7M<67MO=CR36O�Q�KMA;C K&itY=7M<P7MO�CR36O�Qk365g:�A�KM:�KMA�@�3HKXO=7M<�@.Kk@����]5�3H²R�8KMIT7S:=5.�,B�>�K&ijO�K�>��MpDT��36C[�]365�>��R:��,O�>�3PO�QEKMI¤¹xW

|

Page 9: Binary Search Trees of Almost Optimal Height Arne Andersson

QSR.} ~�fhX�_�a:c2Y�egf�VLf�����_'��_�c2Y�e�f�����?QMK�Kq>�:�A�KM:��RA�@�36�,5wKMI¤@����E9`7M36Oz@.�,O=7MO�C �g7M<6QMKMA�3H@���9�5�ILKMA47MOk©��F�Nb ¹�[email protected]��R�;7&A��>�B��@.Kg@�����I27MC @w@���7&@w7E5�:=<63H@dKMA|7xn.KX36O*KM:x�RA[7&@�3HKXO�>�KgO�KM@FC[��7MO�QM�N@����@.A��R�[email protected]�B�C(i@�B�A��Mp 7MO�>J@����RA��RI"KMA��g>�K*O�KM@A��,{�B�3HA��g7MOzZ�A��,[email protected]�B�C @�B�A[36O�Q�WT�����?KM@����RA4KM:��RA�7&@�3HKXO�5b"Y=7M<67MO�CR36O�Q�p�C K&itY=7M<67MO�CR36O�Q�p�7MO�>15�36O�QX<6�EA�KM@�7&@�36KXO$e<H�,7M>�[email protected]�369�9��,>�367&@.�g@.�RA�9�36O�7�i@�3HKXO�KMIU@����gB�:�>=7&@�36O�Q�7M<HQMKMA�36@���9�5RWT�T���,5.�?@�DdK�I27MC @�5QX3HhM�E@��=7&@7MO�©q�|�Nb ¹�[email protected]��R�CR7MO�Y���B�: >�7&@.�,>kDT3H@��kKXO=<HZJ7�C KXO=5.@�7MOz@g7M9;KXB�OV@�KMIFA��,[email protected]�B�C @�B�A�36O�Q�DFKMA�}$W��TKM@.�@���7&@GKXO�<6Z�A�KM@�7&@�36KXO�5G7MO�>�A��RY=7M<67MO�CR3PO�Q�7&A���A��RQX7&A[>��,>?7M5GA��,[email protected]�B�C @�B�A�36O�Q|DFKMA�}$p�DT��3P<H�C���7MO�QX3PO�[email protected]��,>�Y=7M<67MO�C ��36O�ILKMA�9`7&@�3HKXO;365¤O�KM@Rp�5�36O�C �w@�����5���7&:��wKMI$@����[email protected]��R�T365�O�KM@7��x�,C @.�,> WÅ1�T:�A��,5.�,Oz@¤@�����7M<HQMKMA�3H@���9`5�Yx�,<6K\D�W������w7MO�7M<HZq5�365¤3P5�QX3HhM�,O�36O;5.�,C @�36KXO`��W ��W¤§¨O@����dI"KX<6<HKvDT36O�QTDd�|<H�R@�9�7�� b2üge�7MO�>g9�36O�b2üge�>��,O�KM@.�d@����|9�7���369gB�9ç7MO=>E9�3PO�369gB�9���,3HQX�V@�5wKMI�@�����:=5.�,B=>�K&ijO�Kq>��Nü;W�üg���"��>��,O�KM@.�,5TüNw [email protected]:=9;KX5.@�O�K�>��MW

½

Page 10: Binary Search Trees of Almost Optimal Height Arne Andersson

�,âg�,à�&vävã"å$â�9ż���,O�7�O��RDú}M�[email protected]��`36O�5.�RA�@.�,>�[email protected]�©��F�Nb ¹�[email protected]��R��DF�`I"KX<6<HKvDú7�5.�,7&A[C��:=7&@���>�K\DTOy@�����@.A��R��B�OV@�36<U7k<H�,7&I�365EA��,7MC[���,> W��¯O��RD³O�Kq>��*3P5EC A��,7&@.�,>�7&@�@����YxKM@[email protected]¯KMIf@����[email protected]��R��7MO�>�@����N}M�RZ]365F:=<67MC �,>]@����RA��MW�����365|9�7\Z*hq3HKX<67&@.�NKXO��NKMIf@����C A�3H@.�RA�367EQX3HhM�,O]36O8@����N>�� ±xO�3H@�3HKXO`KMIG@����?©q�|�Nb ¹�[email protected]��R��Y�Z*9�7&}q36O�Q�7g:=5.�,B�>�K&ijO�K�>��üÃ�,3H@����RA�B=OzY=7M<P7MO�C �,>]KMA�@.K�K`<67&A�QM�MWUÅ1�E��7\hM��@�����I"KX<6<HKvDT36O�Q;CR7M5.�,5k��|7M5.�yÊ��T9�7���b2üEe ù 9�36O�b2üEe|´Þn�W�ü³365�O�KM@�KM:=@�369�7M<6<HZ8Y=7M<67MO=C �,> WTÅ1�gY=7M<67MO�C �üÃ7MO=>]@.�RA�9�36O=7&@.�MW�|7M5.��n���9�7�� b2ügeF´�¹E­_n�W�üÀ365�@.KVK�<67&A�QM�MWTÅ1�g5.:$<63H@Tü;W � O��?Y$36O�7&A�Z�O�Kq>��E3657M>�>��,>`@.Kg@����4:=7&A��,OV@d:$5.�,B�>�K&ijO�Kq>��MW������RA��RI"KMA��Dd�:�A�KqC �R�,>[email protected]�@�����:$7&A��,Oz@:=5��,B�>�K&ijO�Kq>��[email protected]`<HK�KM}*I"KMA�:�KX5�5�36Y=<H�h�3HKX<P7&@�3HKXO�5|KMI�@����NY=7M<67MO=C ��C A�3H@.�RA�367qW

Êk�

Page 11: Binary Search Trees of Almost Optimal Height Arne Andersson

(a)

(b)

Ü�3HQXB�A��`n��v�[!�),+ % 02�2Ñ&!��"!=0tÑk#&!y£q¡|¡Eº�� »�¢¨02%�+�+\÷�º�#(» o #&)R+W�Xð ò /q+Ï$)R+ Ð��XÑM¢�!$Ñ\�z+m�P)���#&�H#&!$-(+��X÷˺��¨» o #&)R+ � ðé0"/q+�Ï=)R+RÐ��zÑ&¢�!xÑ,�z+m�P))jÏ$� �"0t÷`�[!�0"/z�L)4+�ÔV#&��Ï$�6+N0"/q+�)jÏ$� �"0 02�"!VÖ�%�+()(Ð���0")��"!�#&!��"�`��#&�H#&!$-(+4�"!0"/�+�Ïq#&%�+ !=0GÏ=),+ Ð��XÑ&¢¨!$Ñ,�z+\÷

ʦÊ

Page 12: Binary Search Trees of Almost Optimal Height Arne Andersson

ß]à��"àVävã"å$â�9ż���,Om7�}M�[email protected]�Yx�;>��,<6�R@.�,>kILA�KX9×7MO�©q�|�4b ¹�[email protected]��R�`DF�;ILKX<6<6K\DÃ7]5.�,7&A�C[�1:=7&@��>�K\DTO*@�����@.A��R��B�OV@�36<�@����TY=36O=7&A�ZgO�K�>���C KXOz@�7M36O=36O�Q?@����T}M�RZ�365UILKXB�O=> Wf§¨I @����O�K�>��365T7&@�@����?Y�KM@[email protected]¯KMI¤@����[email protected]��R�g3H@T365wA��,9;K\hM�,>k7MO�>�A��R:=<67MC �,>�YVZ]7`<6�,7&I�p$KM@����RA�DT365��3H@U365UA��R:=<67MC �,>`YVZ;3H@�5U:�A��,>��,C �,5�5�KMA4b"KMA|5�B�CRC �,5�5�KMA(e[pVD���36C��`365�I"KXB�O�>�7&@d@����TY�KM@[email protected]¤@����[email protected]��R�MWw������� �x�,C @DT36<P<�Yx�?@���7&@TKXO��gO�Kq>��?365�>��,<H�R@.�,>�I"A�KX9�7`:=5.�,B�>�K&ijO�K�>��ü¯7&@N@�����<HKvDd�,5.@�<6�RhM�,<¤KMIU@����;@.A��R�MpGDT��3PC��k9�7,Zk9�7&}M�`ü¯�,3H@����RA�B�OVY=7M<67MO�C �,>[email protected]`5�9�7M<6< W��5wI"KMAT36O�5.�RA�@�3HKXO pq@����N@jDFK*CR7M5��,5TCR7MO�O�KM@TK�CRCRB�A7&@�@�����5�7M9���@�369;�MW�|7M5.�yÊ��T9�7���b2üEe ù 9�36O�b2üEe|´Þn�W�ü³365�O�KM@�KM:=@�369�7M<6<HZ8Y=7M<67MO=C �,> WTÅ1�gY=7M<67MO�C �üÃ7MO=>]@.�RA�9�36O=7&@.�MW�|7M5.��n���9�7�� b2üge�´Ú¹ ù Ê&W¤üÚ365�@.K�KN5�9�7M<6<q7MO�>���7M5�@.KNY��gn�KX36O��,>EKMA�C K&itY$7M<67MO�C �,>DT36@���7MO�KM@����RA:=5.�,B=>�K&ijO�Kq>��MW?b"�TKM@.��@���7&@@���365�CR7M5.��DT36<6< O�KM@�KqCRCRB�A47&@�@����:=5��,B�>�K&itA�K�KM@?5�36O=C ��3H@�5?9�3PO�369gB�9×���,3HQX�V@?365�O�KM@?A��,[email protected][36C @.�,> WØe_§¨OmKMA�>��RA�@.Kn.KX36O]KMA4C K&itY=7M<67MO�C ��üÃD�3H@���7MO�KM@����RA�:=5��,B�>�K&ijO�Kq>��%iFp�ü ���"� 7MO�>�i ���"� ��7,hM�@.K8Y��g5�36Y=<636O�QX5,Ww§�I¤@����RA��g365O�K�5�B�C[�J:$5.�,B�>�K&ijO�Kq>��vi^DF��KMY�@�7M36OJ@���365�YVZ�75�3PO�QX<H�4A�KM@�7&@�3HKXO Wd�TI"@.�RA�@���365T5.@.�R:�@jDFK*5�B�Y CR7M5.�,5|K�CRCRB�A��

�|7M5��n&7)��9�7���b�i�e�´Ú¹|­WÊ&W�i1365d<67&A�QM�T�,O�KXB�QX��@.KEQX3HhM�7\DF7\Z`7?O�K�>��MW�Å1�C K&itY=7M<P7MO�C �?üÃ7MO�>S©�7MO�>]@.�RA�9`36O�7&@.�MW�|7M5��wn�Yg��9�7���b�i�e�´Í¹xW�iS�=7M5¤3H@�5�5�9�7M<6<H�,5�@f:�KX5�5�36Y=<H�d5�3H²R�MWfÅ1�un�KX36O�üÚ7MO�>i~7MO�>y:�A�KqC �R�,>[email protected]@����8:=7&A��,OV@E:$5.�,B�>�K&ijO�Kq>��*@.KkC[���,C�}yILKMAg:�KX5�5�3HY$<H�hq3HKX<67&@�3HKXO=5|KMIf@����?Y=7M<67MO�C ��C A�36@.�RA�367qW

�����TC KMA�A��,C @�O��,5�5dKMIx@����T7M<HQMKMA�3H@��=9�5¤I"KMAd36O�5��RA�@�3HKXO;7MO�>�>��,<H�R@�3HKXO;I"KX<6<HKvDT5¤I"A�KX9Ã@����I"7MC @�@���7&@Ê&WTDT���,OS7MOk�,<6�,9;�,Oz@N365N3PO�5.�RA�@.�,>[email protected]�KMA�>��,<H�R@.�,>kI"A�KX9×7MOm©q�|�Nb ¹�[email protected]��R�MpfO�KKM@����RA�hq3HKX<67&@�3HKXOyKMI�@����8Y=7M<67MO=C �*C A�3H@.�RA[367�@��=7MOm@�����CR7M5.�,5�@.A��,7&@.�,>�Y�Z�@����7M<HQMKMA[3H@���9�5w7&Y�K\hM�E9�7,Z�KqCRCRB�A��n�WTY�KM@��N7M<HQMKMA�36@���9�5�DT36<P<v@.�RA[9�36O�7&@.�¤DT���,O4@�����@.KM:=9;KX5�@�:=5.�,B�>�K&ijO�K�>���3P5�A��,7MC����,>-���W�7M<6<�@.�RA[9�36O�7&@�36O�Q�5�@�7&@.�,5TKMI�@����?7M<HQMKMA[3H@���9�5|A��R:=A��,5.�,OV@�7MOS©q�|�Nb ¹�[email protected]��R�MW

Ê,n

Page 13: Binary Search Trees of Almost Optimal Height Arne Andersson

(a)

P S P S

(b)

P S P S

(c)

P S

(d)

Ü�3HQXB�A��k������+ �6+R02� Ñ&!Í�"!ç#&!~£q¡|¡Eº�� »�¢¨02%�+�+\÷°º¨#(» o #�)R+{�Xð ò /q+Ï$)R+ Ð��XÑM¢�!$Ñ\�z+T�P)���#&�H#&!$-(+��X÷gº¨��» ö %�ÑX0t#M02�2ÑM!*�L)GÏ�+ % ï Ñ&%(�`+��?�L! o #�)R+� 0tÑJ��#�¿M+gü�� )*#&!$��iN� )�0tÑ[Ï$��Ñ�) 04!$Ñ,�z+ )���+�-�Ñ&�`+`)[�t� � �"!VÖ&)R÷�º�-�»o #&)R+ � #XðEü°#&!x�Wi #&%�+*-[Ñ&¢���#&�H#&!$-(+��X÷�º�� » o #&)R+ � �,ðEü°#M!$��i#M%.+htRÑ&�"!x+��X÷ Ê,�

Page 14: Binary Search Trees of Almost Optimal Height Arne Andersson

QSR.Q  �f�VL�¢¡�X�Y�X������9�7M36OV@.�,O�7MO�C ��7M<6QMKMA�3H@���9�54QX36hM�,O�7&Y�K\hM�`B�5��;IL�RDÃA��,[email protected]�B�C @�B�A[36O�QX5Rp 7M5?5���K\DTOYx�,<6K\D�W#%$ àVå'&và)(¤£ ö !�£�¡F¡Eº"¹V»v¢�02%.+[+�-[#&!é�[+�ÐvÏq�X#M0j+��y�L!�a;b2<HKMQ�cfe802�"�`+�#&!x�1í¤�20"/�#-�Ñ&!�) 0t#&!=0�#&��Ñ&Ðq!=0wÑ ï %.+ )(02%(Ð�-\02Ðq%[�"!VÖ8íUÑ&%[¿`�"!S0"/q+EíUÑM%�) 0|-[#�)R+\÷67&vå å'8�9 §¨OmKMA�>��[email protected]:=A�K\hM��@����8C KXO�5.@�7MOV@�7M9�KXB�Oz@gKMIwA��,[email protected][B�C @�B�A�36O�Q�DdKMA�}�Dd�@�7&}M�E7;CR<HKX5.�RA�<6KVKM}�7&@w@�����9�7M36OV@.�,O�7MO�C ��7M<6QMKMA�3H@���9�5F:�A��,5.�,Oz@.�,>�7&YxKvhM�MWd�FKM@���7M<�iQMKMA�3H@���9�5UDdKMA�};YxKM@[email protected];ijB�:�pV5�@�7&A�@�36O�Q?7&@F@����T<6K\DF�,5.@d:$5.�,B�>�K&ijO�Kq>��wKXO*@����Thq365�36@.�,>:=7&@�� W�[!�)R+R%(02� Ñ&!$ð�����?@jDFK�CR7M5.�,54DT��36C[��9�7\Z�KqCRCRB�AN7&A��g>��,5�C A�3HY��,>�36O�@�����7M<HQMKMA�3H@���97&Y�K\hM�MW�¥��RY$7M<67MO�CR36O�Q�3654A��,{�B�3HA��,>�KXO�<6ZJ36O1�|7M5.��Ê&W�u�7\h�3PO�Q�Y=7M<67MO�C �,>k@����:=5��,B�>�K&ijO�Kq>��Mp�3H@�5�7&@�3P5�±=�,5N@�����>�� ±$O�3H@�3HKXOSKMI|7MO�©q�|�Nb ¹�[email protected]��R�87MO�>1@�����7M<�iQMKMA�36@���9 @.�RA�9�36O�7&@.�,5,WE����B�5Rp 7&@�9;KX5.@4KXO��;Y$7M<67MO�CR36O�Q89�7,ZSY���:x�RA�ILKMA�9��,>:��RA�36O�5��RA�@�3HKXO pqDT��3PC���:�A�KvhM�,5T7�C KXO=5.@�7MOz@�7M9;KXB�OV@�KMI�A��,[email protected]�B�C @�B�A�36O�QgDdKMA�}$W��+ �6+R02� Ñ&!$ð��5�ILKMA�3PO�5.�RA�@�3HKXO�pw@����1Y=7M<67MO�C �1C A�36@.�RA�367�7&A��15�7&@�365�±=�,>Ú7M5]5�KVKXOÚ7M57�Y=7M<67MO=CR36O�Q�KMA�7�C K&itY=7M<67MO�CR3PO�Q���7M5�Y��R�,Oé:x�RA�ILKMA�9��,> W �����kKXO�<6ZÄCR7M5.�7�A��,[email protected]�B�C @�B�A�36O�Q�KM:��RA�7&@�36KXOm>�K��,5EO�KM@g<H�,7M>[email protected]�9;�,>�3P7&@.��@.�RA�9�36O=7&@�3HKXOm365DT���,O�@�����5�36O�QX<6�*A�KM@�7&@�36KXO^36O_�|7M5.��n�365�ILKX<P<HK\DF�,>�YVZ�7�n.KX36O W��TI"@.�RA�@����n.KX36OJDd�;C KXOV@�36OVB��[email protected]�@�����:=7&A��,OV@4:=5.�,B�>�K&ijO�K�>��[email protected]]<HK�KM}�ILKMAN78hq3HKX<67&@�3HKXOJKMI@����8Y=7M<67MO=C ��C A[3H@.�RA�367qW1u�K\DF�RhM�RA,pF7SA�KM@�7&@�36KXO�365gA��,{VB=3HA��,>yKXO�<HZ1DT���,O�@����:=7&A��,Oz@w:=5��,B�>�K&ijO�Kq>��NKMI¤üÃ7MO�>si_��7M5�3H@�5�YxKM@[email protected] O�Kq>��,5�7&@T@�DdK8>�3����RA��,OV@<H�RhM�,<P5Tb2Ü�3HQXB�A��T��Yxe[W¤§�O�@���365UCR7M5.�MpVA��,9;K\h&7M<�KMIxKXO��TO�Kq>��wI"A�KX9 @���7&@d:=5.�,B�>�K&iO�Kq>���CR7MO�O�KM@*CR7MB�5.�S7MOzZ�hq3HKX<67&@�36KXO�KMI4@�����Y=7M<P7MO�C ��C A�3H@.�RA[367qW¼�T�VB�5,pd@����7M<HQMKMA[3H@���9úDT36<6<=@.�RA�9�36O�7&@.�N7M<65�KEDT���,O87gA�KM@�7&@�36KXO]36O��w7M5.��nE3P5dI"KX<6<HKvDd�,>8Y�Z7`n�KX36O�W�Ü�A�KX9À@���365�I"KX<6<HKvDT5d@���7&@d@�����7M9;KXB�OV@FKMI�A��,[email protected]�B=C @�B�A�36O�Q?A��,{VB=3HA��,>;Y�Z7;>��,<6�R@�3HKXO�365w7&@T9�KX5.@�KXO��?5�36O�QX<H�4A�KM@�7&@�3HKXO�:=<6B�5|KXO��EC K&itY=7M<67MO�CR36O�Q�WÜ�A�KX9 @�����>��,5�C A�3H:�@�36KXO*7&Y�K\hM�NI"KX<6<HKvDT5|@���7&@|Y�KM@��]7M<HQMKMA�3H@��=9�5FDdKMA�}87M<HKXO�Q�7g:=7&@��>�K\DTO�@����[email protected]��R�Mpz5.:��,O�>�36O�QTC KXO�5.@�7MOV@¤@�369;�|7&@¤�,7MC���<6�RhM�,< pMDT��36C[�?:=A�K\hM�,5¤@����FKvhM�RA�7M<6<<HKMQX7&A�3H@���9`36C4C KX5.@T:��RA�B�: >�7&@.�MW����B�5RpxDd�g��7,hM�;5���KvDTOJ@���7&@�@����?A��,[email protected][B�C @�B�A�36O�Q�DdKMA�}�365TC KXO=5.@�7MOz@Rp�7MO=>�@���7&@@����?C KX5.@�:��RATB�:�>=7&@.�43P5�<HKMQX7&A�3H@��=9�36C&pqDT��36C[�]C KX9;:=<H�R@.�,5T@����N:�A�K�KMI¨W CÒ�hM�,O�3HI|@����*7M9;KXB=Oz@EKMIwA��,[email protected]�B�C @�B�A�36O�Q]DFKMA�}�365EC KXO�5.@�7MOV@g3H@E9�3HQX�V@?Y���KMI�5.KX9;�36Oz@.�RA��,5.@`@.K�>��R@.�RA�9�3PO�����KvD 9gB�C��¼365*7MC @�B�7M<6<HZ�A��,{�B�3HA��,>�Wé�T����� ��7MC @�7M9�KXB�Oz@>��R:��,O�>�5wKXOJ@����E7M<6QMKMA�3H@���9¯B=5.�,>�@.K8Y=7M<67MO�C �?:=5.�,B�>�K&ijO�K�>��,5,WF�����RA��E7&A��g5.�RhM�RA�7M<

Ê �

Page 15: Binary Search Trees of Almost Optimal Height Arne Andersson

7M<HQMKMA�3H@���9`5`I"KMA*Y$7M<67MO�CR36O�QyY=36O�7&A�Z�5��,7&A�C��¼@.A��R�,5�DT�=36C��Ä9�7,ZÄYx�SB�5.�,>ÄILKMA8@���365:=B�A�:�KX5.��lo�qp�Dqp Êk��p/Ê,½�stW��5*7MO_� ��7M9;:=<H�]DF��CR7MOÄ5.@�B�>�Z�@�����7M<HQMKMA[3H@���9ûQX3HhM�,O_YVZ^©�@.KXB�@*7MO�>�Å�7&A.iA��,O_l´Ê,½&stW�����36547M<HQMKMA[3H@���9Õ365NO�KM@N@�����9�KX5.@N� �*CR3H�,OV@NKXO��;Y=B�@N3H@NB�5��,54A�KM@�7&@�3HKXO�5DT��36C[�`9�7&}M�,5F@�����Y=7M<67MO�CR36O�Q?C KX5.@|C KX9;:=7&A�7&Y=<6�TDT3H@���@����C KX5�@dA��,{�B�3HA��,>;ILKMAFKM@����RACR<67M5�5.�,5TKMI�5.�,7&A[C���@.A��R�,5RWd������©[email protected]�@�itÅ�7&A�A��,OS7M<HQMKMA�3H@��=9³DdKMA�}q5�36O�@�DdK85.@.�R:=5k�Ê&W��çA�3HQX�V@�ij>��RQM�,O��RA�7&@.�,>�@.A��R�?365�:�A�Kq>�B�C �,>�Y�Z*A��R:��,7&@.�,>]A[3HQX�z@wA�KM@�7&@�3HKXO�5RWn�W��ÄY=7M<67MO�C �,>�@.A��R�T365�:�A�K�>�B=C �,>�ILA�KX9�@����T>��RQM�,O��RA�7&@.�,>`KXO���Y�ZEA��R:x�,7&@.�,>`<H�RIL@A�KM@�7&@�36KXO�5RW

«��R@;ü�Y��87MO�B=OzY=7M<P7MO�C �,>�:=5��,B�>�K&ijO�Kq>��*7MO=>yü§¦U@����85�7M9;�*:$5.�,B�>�K&ijO�Kq>��87&IL@.�RAA��RY=7M<67MO�CR3PO�Q�Wú«G�R@�<6< b2üEe87MO�>éA�<tb2üEe8>��,O�KM@.�1@����1<H�,O�QM@��éKMI�üNw 5]<H�RI"@�9;KX5.@�7MO�>A�3HQX�V@�9;KX5.@G:$7&@�� p&A��,5.:��,C @�3HhM�,<HZMW������dO�B�9EY��RA�KMI�A�KM@�7&@�3HKXO=5GA��,{�B�3HA��,>NYVZN@����|©�@.KXB�@�iÅ�7&A�A��,O^7M<6QMKMA�3H@���9 3P5�nb¨ ü�¨ ù A�<tb2üEe ù A[<tb2ü ¦ e[W¼����365;O�B�9EY��RA�9�7,Z�Y���5�<63HQX�V@�<HZA��,>�B�C �,>ÄYVZ�@�DdK�9;Kq>�3�±$CR7&@�36KXO�5RW駨O^@�����±$A�5.@*5�@.�R:ÄKMIN@����S7M<HQMKMA�3H@��=9 DF�SCR7MO9�7&}M�1ü°<H�RI"@�i�KMA*A�36QX�z@�ij>��RQM�,O��RA�7&@.�,> p�>��R:x�,O=>�36O�Q1KXOÄDT��36C[�^KXO���KMI?<6<tb2üge�7MO�>A�<tb2üEeE365?<P7&A�QM�,5.@RWk§¨O�5.@.�R:�n�DF�]CR7MO�}M�R�R:�7M5�9�7MOVZmO�Kq>��,5g7M5g:xKX5�5�3HY=<H�;KXO�@����>��RQM�,O��RA�7&@.�,>^:=7&@�� pU@��=7&@�365q©2<HKMQ$b�¨ ü�¨\­�Ê\e�ª�O�Kq>��,5RWyż3H@���@����,5.��9;Kq>�3�±$CR7&@�3HKXO=5@����?O�B�9?Y��RAwKMI�A�KM@�7&@�3HKXO�5TA��,{�B�3HA��,>�@.K�Y$7M<67MO�C �N@�����:$5.�,B�>�K&ijO�Kq>��NüÃ365nb¨ ü�¨ ù �J7��?b2<6< b2üEe�«.A[<jb2üEe.e ù © <HKMQ$b�¨ ü�¨,­õÊ\e�ªU¬ b"�Ve

§¨O������RKMA��,9À�EY��,<HK\D¼DF��QX3HhM�4@����49�7���369gB�9úO�B�9EY��RAdKMI�A�KM@�7&@�3HKXO�5FA��,{�B�3HA��,>`ILKMAB�: >�7&@.�,5�36O]7MOJ©��F�Nb ¹�[email protected]��R�EDT���,O]@��=365w9;Kq>�3�±=�,>8Y=7M<67MO=CR36O�Q;7M<HQMKMA�3H@��=9 365�B�5.�,>�W�TKM@.�*@���7&@?36Ok@����;:=A�KVKMIFKMI|�����RKMA��,9Ýn]Dd��CR<67M3P9;�,>1@���7&@NKXO�<6ZJKXO��;A�KM@�7&@�3HKXOm365A��,{VB=3HA��,> W§¨OJ@���365CR7M5.�;DF�g7M<P5.K]B�5.�gA�KM@�7&@�3HKXO�5I"KMA@����gA��RY=7M<67MO�CR36O�Q�KM:��RA�7&@�3HKXO�5RW����365f365fO�KM@f7C [email protected]�7M>=36C @�3HKXO pX5�3PO�C ��A��RY=7M<P7MO�CR36O�QCR7MOEY��U9`7M>��dD�3H@���KXB�@fA�KM@�7&@�3HKXO�5RW#%$ àVå'&và)(­¬ ö !¼£q¡|¡EºL¹V»�¢¨02%�+�+1-[#&!ç��+J��#&�"!=0t#&�"!x+���í¤�20"/yn µ ·�ÛFù nM¹ ù �é%�ÑM0t#M¢02�2Ñ&!�)�Ï�+R%?�"!�)R+R%(02� Ñ&!m#&!$�`�¯®\n&µR·f¸ ù nM¹ ù r�%�ÑX0t#M02�2ÑM!�)TÏ�+ %;�z+ �6+R02� Ñ&!1�"!�0"/q+gíUÑ&%[)(0-�#�),+,÷67&vå å'8�9 �O]� ��7M9�36O�7&@�36KXO�KMI�@����NDdKMA�5�@�:�KX5�5�3HY=<6�CR7M5.�,5TQX3HhM�,5�@����NILKX<6<6K\DT36O�Q���[!�)R+R%(02� Ñ&!$ð*�����*DdKMA[5.@gCR7M5��8KqCRCRB�A�5EDT���,O�7J:=5.�,B�>�K&ijO�K�>��`KMIT9�7���369EB=9Ý5�3H²R�Mpn µR·f¸|ù Ê&p¤365�A��RY$7M<67MO�C �,> W]§�Om5�B=C���7�:=5.�,B=>�K&ijO�Kq>���@����RA��8365�KXO��`:=7&@��yKMI<H�,O�QM@��y¹y7MO�>�KXO��8:=7&@��yKMI�<H�,O�QM@���¹�­én�p¤@����`A��,5.@EKMIw@����`:=7&@���5g��7\hM��7<H�,O�QM@���KMIT¹�­ Ê&W��T�VB�5,p�7&@�<H�,7M5.@gKXO��`KMIw@����*A�36QX�z@�i47MO�>m<H�RI"@�9;KX5.@E:=7&@���5

Ê,�

Page 16: Binary Search Trees of Almost Optimal Height Arne Andersson

��7M5T7;<H�,O�QM@��]KMI�¹�­�ÊNY��RI"KMA��NA��RY=7M<P7MO�CR36O�Q�W¤Ü�A�KX9 ÒU{$Wfb"�VeF@����EOVB�9EY��RAwKMIA�KM@�7&@�36KXO�5�365�7&@�9;KX5.@n�b n µ ·f¸ ù Ê\e ù b ¹�­�Ê\e ù Á <6KMQFn µR·f¸ Â

´ n µ ·�Û ù nM¹ ù ��¬ b �Xe��+ �6+R02� Ñ&!$ð������dDdKMA[5.@¤CR7M5.�|K�CRCRB�A[5�3PO��|7M5��wn�DT���,OE745�36O�QX<H��A�KM@�7&@�3HKXO;3P5GI"KX<6<HKvDd�,>Y�ZEC K&itY=7M<P7MO�CR36O�QNKMIx@jDFK?:=5��,B�>�K&ijO�Kq>��,5�KMIx9`7��q369gB�9 5�36²R�MW��T���wOVB�9EY��RA¤KMIO�Kq>��,5¤36OVhMKX<HhM�,>;36O�@�����C K&itY=7M<67MO�CR36O�Q43P5¤7&@U9;KX5.@U�¯®\n&µ ù n�Wz�T���w9�7��q3P9EB�9���,36QX�z@�KMI�@����g<H�RI"@�id7MO�>�A[3HQX�z@�9�KX5.@�:=7&@��JY��RILKMA��?@�����Y=7M<67MO=CR36O�Q�365�7&@�<H�,7M5.@¹T­�n�WUÜ�A�KX9 Òd{=W b"�VeUDd�4QM�R@|@����NOVB=9?Y��RAFKMI�A�KM@�7&@�3HKXO�5|I"KMAw7EC K&itY$7M<67MO�CR36O�[email protected]�Y��

n�b �¯®\n µ ù nXe ù b ¹�­�nXe ù Á <HKMQxb �¯®vn µ ù Ê\ej´ �°®vn µR·f¸ ù nM¹ ù |�¬ b¢DXe

�>�>�36O�QE@����E5�36O�QX<H�4A�KM@�7&@�36KXO p�DF��QM�R@T7;@.KM@�7M<f5�B�9 KMI�§®\n µ ·f¸ ù nM¹ ù rV¬ btrMe

�����N:�A�K�KMI�ILKX<6<6K\DT5|I"A�KX9¯Òd{V5RWGb �Xe�7MO�>mbtrMe[W C���VB=5RpX@�����©q�|�Nb ¹�[email protected]��R�4C KX9?Y$36O��,5¤7�<HKvD^���,3HQX�V@¤DT3H@��;7N<6K\D^C KX5.@dKMI$A��RY=7M<67MO�CR36O�Q�W��5¤7MOg� ��7M9;:=<H�Mpz¹�´Ún�QX3HhM�,5¤74���,36QX�z@�KMI�Ê&¬ ��<HKMQ b"cF­�Ê\e[p±|�A�KM@�7&@�3HKXO�5�I"KMA¤36O�5.�RA�@�36KXO7MO�>JÊ,�?ILKMA|>��,<H�R@�36KXO WfÅé��36C[��h&7M<6B���KMI ¹�@.KgC[��K�KX5.�3PO�7�:=7&A�@�36CRB�<67&AUCR7M5��>��R:��,O�>=5KXO�@������ �q:��,C @.�,>m5�36²R�;KMIF@�����@.A��R�Mp�@�����A�7&@�3HK�KMIF5.�,7&A[C����,[email protected]�B�: >�7&@.�,5Rp�7MO�>1@����C KX5.@TKMI�C KX9;:=7&A�3P5.KXO�5�C KX9;:$7&A��,>]@.K�@����EC KX5.@�KMI�A��,[email protected]�B=C @�B�A�36O�Q�W�TKM@.�d@���7&@�@����dOVB�9EY��RA KMIVA�KM@�7&@�3HKXO�5�A��,{VB�36A��,>ILKMA�7MOE©q�|�Nb�Ê\[email protected]��R�F3P5�@����U5�7M9;�7M54@���7&@NA��,{�B�3HA��,>JYVZ�@����;7M<HQMKMA�3H@���9`5�I"KMAN@����`©q�|�[email protected]��R�;Y�Z�²4B�3HY$7M5RpG©��,>�QM�RDT36C�}7MO�>*��7&A"n�7MOSl³|�pRÊ�|qp�n��&stW������,36AU7M<HQMKMA�3H@��=9�5U9�7\Z�Y��TA��RQX7&A[>��,>*7M5|5.:��,CR367M<$CR7M5.�,5FKMIKXB�AT7M<HQMKMA�36@���9�5wI"KMAT7MOJ©q�|�Nb�Ê\[email protected]��R�MWwu�K\DF�RhM�RA,p=@����E7M<HQMKMA�3H@���9`5w7&A��?O�KM@T3P>��,Oz@�3HiCR7M< W;§¨O15�KX9;�`CR7M5.�,5?KXB�A�9;Kq>�3�±=�,>�©�@.KXB�@�itÅ�7&A�A��,Om7M<HQMKMA[3H@���9×9�7&}M�,5E7]A�KM@�7&@�3HKXODT��36C[�y365EO�KM@�O��,C �,5�5�7&A�Z¼bt�|7M5.�]n&7J36Om@�����>��,<H�R@�3HKXO�7M<HQMKMA�3H@��=9¶DT���,O+¨³iy¨f´��Xe[W���VB=5�@�����7\hM�RA�7&QM�`O�B�9EYx�RA4KMIdA�KM@�7&@�3HKXO�5N9�7\Z�Y���369;:�A�KvhM�,>SYVZJKM:�@�369�3H²,3PO�Q`@����©�@.KXB�@�itÅ�7&A�A��,Oy7M<HQMKMA�3H@��=9ÕI"B�A�@����RA,W�Ü�KMAg¹�´ Ê;3H@�9�7,ZkY���:�KX5�5�3HY=<6�[email protected]�369�:�A�K\hM�@�����DFKMA�5.@�ijCR7M5.�gOVB�9EY��RAwKMI�A�KM@�7&@�3HKXO�5�B=5�36O�Q;7;Y��R@.@.�RA�A��RY$7M<67MO�CR36O�Q;7M<HQMKMA[3H@���9]W

�D

Page 17: Binary Search Trees of Almost Optimal Height Arne Andersson

µ �bM·¶� �h¸�ÌU�º¹ ÌU��J°K� �x»k�LK�ÌÕʽ¼¾¼À¿�ÁÃÂ�ÄX�x Ì�̧¨OE@����F:�A��,C �,>�36O�QT5.�,C @�3HKXO�5�DF�F�=7,hM�w5���KvDTO?@��=7&@f@�����©q�|�Nb ¹�[email protected]��R�w��7M5�7T���,36QX�z@�KMI©.b�Êd­�®(e�<HKMQ$b"c8­�Ê\e�ªNI"KMAT7MOVZ*:�KX5�36@�3HhM�4h�7M<6B��KMI¤®RWd�dZ8h&7&A�Z�3PO�Q�@����Nh�7M<PB��4KMI�¹�36O5�B�C��J7�D|7,Z�@��=7&@T@����?9`7M36Oz@.�,O=7MO�C �EC KX5.@A��,9�7M3PO�5�<HKMQX7&A�36@���9�36C&p�@����g���,3HQX�V@T9�7\ZYx�4A��,>=B�C �,>�@.K�<HKMQUc�­yÆ�b2<HKMQUcfe[p�DT�=36C���365|KM:�@�3P9�7M<�36O�@����N<H�,7M>�36O�Qg@.�RA[9]W Ù O�ILKMA.i@�B�O�7&@.�,<HZMp C KXOV@�36OVB�KXB�5h�7&A�3P7&@�3HKXO�KMI|¹�CR7MO=O�KM@�Y���7��xKMA[>��,>k5�36O�C �E@����E�,OV@�3HA��[email protected]��R���[email protected]]Y��EA��,C [email protected]�B�C @.�,>kI"KMAN�,7MC���O��RDÞh&7M<6B��MWE����365�:�A�KMY=<6�,9 3P5CR36A�CRB�9EhM�,Oz@.�,>YVZ]C��=7MO�QX36O�Q`¹8KXO�<6Z87&@�:=A��,5.�R@�36OV@.�RA�h&7M<65RWÅ1�E5.@�7&A�@�YVZ8:�A��,5��,Oz@�36O�Q�7MO�7M9;KMA�@�3H²R�,>�A��,5�B�<6@RW#%$ àVå'&và)(ºÅ ò /q+R%.+E�L)E#]� �"!$#&%('�)R+�#&%.- /�02%�+�+Æ, ï ÑM%�í�/z� - /

/�+ �HÖ&/V0jb.,Nedô0/�<HKMQ$b"c*­�Ê\e�­ <HKMQxb"c*­õÊ\e<HKMQd<HKMQxb"c*­�Ê\e 5 b¢|Xe

#&!$��0"/q+�#&��Ñ&% 02�6Ó\+���-�Ñ�) 0 Ï�+R%?ÐvÏq�X#X0j+g�P)a�b2<HKMQ�cfe ÷67&vå å'8�9 Å1��B�5.�w7N9;Kq>�3�±=�,>�©q�|�Nb ¹�[email protected]��R�MWU�5�5.KqCR367&@.�,>;DT36@��E@����[email protected]��R��DF����7,hM�T7C KXB�Oz@.�RA�DT�=36C��E365f3PO�C A��,7M5.�,>?YVZNKXO��F�,7MC��g@�369��d7MOg�,<H�,9;�,OV@f365�36O�5��RA�@.�,>�KMA�>��,<H�R@.�,> Wż���,O�@����8h&7M<6B��`KMIT@����8C KXB=Oz@.�RA��,{�B�7M<65g��7M<HIw@�����OVB=9?Y��RA?KMIT�,<H�,9;�,OV@�5g3POm@����@.A��R�Mp|¹�3P5;5.�R@;@.K�©"<HKMQd<6KMQFn�cLª�7MO�>�@����]�,OV@�3HA���@.A��R�J365gA��,C KXO�[email protected]�B=C @.�,>_36O�<636O��,7&A@�369;�MWU�����,O p$a;b"cfeFB�: >�7&@.�,5w��7\hM�?Y��R�,O�9�7M>���5�36O�C �N@����E<67M5.@[email protected]@�7M<�A��RY=7M<67MO�CR36O�Q�pDT��36C[��QX3HhM�,5T7MO]7M9;KMA�@�3H²R�,>�C KX5.@TKMIuÇ`b�Ê\eF:��RA�B�: >�7&@.�4ILKMATC[��7MO�QX36O�Q;@����Nh�7M<PB��NKMI¹xW «��R@ÃÈ×>��,O�KM@.�@�����5�3H²R�TKMI @�����@.A��R�DT���,O�@����<67&@.�,5�@[email protected]@�7M<xA��,[email protected]�B=C @�B�A�36O�Q?DF7M59�7M>��MW¤Ü�A�KX9�@����|I27MC @¤@���7&@¤[email protected]@�7M<�A��RY=7M<67MO=CR36O�Q�3P5�9`7M>��w7&IL@.�RA¤�RhM�RA�Z�É Û @��;B�:�>=7&@.�Dd�N}qO�K\Dé@���7&@w@����45�3H²R��KMIf@����[email protected]��R��365dY�KXB�O�>*@.K;Yx�Y��R@jDF�R�,O ÛÊ ÈÝ7MO�>]n�ÈyWU����3P5QX3HhM�,5 ©"<HKMQd<6KMQxb"c*­�Ê\e�ª�ô¼¹�ôË©"<HKMQF<HKMQd��cLªM¬ b ½XeÜ�A�KX9��T���RKMA��,9 ÊNDF��}qO�K\D~@���7&@

���,3HQX�V@Rb.,Ne ô />1�Êd­ ʹ 3 <HKMQxb"c*­�Ê\e�5ô />1�Êd­ Ê

<6KMQU<HKMQxb"c*­õÊ\e 3 <HKMQ$b"c*­õÊ\e�5�¬ b�Êk�zeÜ�A�KX9Õ�����RKMA��,9Õ�`Dd�E}�O�KvD�@���7&@�@����E9�7���369�7M<f7M9;KXB�OV@�KMI¤A��,5�@.A�B�C @�B�A�3PO�Q�DFKMA�}A��,{VB=3HA��,>g:��RA�B�:�>=7&@.�F365�Ç`b n µ e[WU©q3PO�C �|¹*´¾Ç�b2<HKMQd<HKMQUcfeGDF����7,hM��74A��,5�@.A�B�C @�B�A�3PO�QC KX5.@TKMI Ç`b n�̳ÍÏÎ�̳ÍÏÎ É e¤´ÐÇ�b2<HKMQdcfe[¬ b�ʦÊ\e

Ê\r

Page 18: Binary Search Trees of Almost Optimal Height Arne Andersson

�����N:�A�K�KMI�ILKX<6<6K\DT5|I"A�KX9¯Òd{V5RWGb�Êk�ze�7MO�>mb�ʦÊ\e[W CÑ G �ÓÒ�Ôó����ÌU�4�ÐÕ ��LO���ÄbÖ¼É`OxÌ Ê?�ÆI[�E������û��� �×K�̳ȳ���������ÃÄ

��Éw×ØÓÙÄ �ÆÚNI�ÌhM�����J7M9�KMA�@�3H²R�,>_A��,5�B�<H@�KMY=@�7M36O��,>^3PO^�����RKMA��,9 �y9`7,Z_Y���@.A�7MO=5.ILKMA[9;�,>^[email protected]�5�@�ijCR7M5.��A��,5�B�<H@¤Y�Z;9�7M36OV@�7M36O�36O�Q4@�[email protected]��R�,5d5�369EB=<H@�7MO��RKXB�5�<6ZE36O�5�@.�,7M>;KMI�KXO��MW¤§¨O@���365�D|7,Z]@����EC KX5.@KMI¤C���7MO�QX3PO�Q`@����Eh�7M<PB���KMI�¹mb236O=CR<6B�>�36O�Q�7`QX<HKMY=7M<GA��RY=B�36<P>�36O�QVe9�7,ZkY���>�[email protected][3HY=B�@.�,>S36O15�B�C[��7]D|7,Zk@���7&@�@����;DdKMA�5�@�ijCR7M5.�*C KX5.@E:��RA�B�: >�7&@.��Yx� iC KX9;�,5|<HKMQX7&A�3H@���9`36C&W4ÛUA�K\hq36>�3PO�QN@���7&@U@����T@[email protected]��R�,5d7&A���O�KM@dYx�,3PO�QNA��RY=B�3P<H@¤7&@d@����5�7M9;�4@�369;�Mp�@����RA��DT36<6<=7M<HDF7\Z�5|Y���KXO���@.A��R�43PO�DT��3PC��8{VB��RA[3H�,5dCR7MO8Y��T:��RA�I"KMA�9;�,>�W� B�A@.�,C���O=36{VB��E365�7MOJ369�:�A�K\hM�,9��,Oz@KMI�@����g9;�R@���Kq>�KMIdÖX��ÑV��#&��%.+v� Ðq�"���&�"!VÖ�36O�[email protected]�K�>=B�C �,>mY�Z � hM�RA[9�7&A�5]l´Ê\rvstW Ù 5�3PO�Q�@����8A�7MO�}mKMI��,<H�,9;�,OV@�5gDd��7,hMKX36>�9`7&}�36O�Q� ��@.A�7��,<H�,9;�,OV@�ijC KX9;:=7&A�365�KXO�5�DT���,O]B�: >�7&@�36O�Qg@jDFK`@.A��R�,5,W#%$ àVå'&và)(¤Ü ò /q+R%.+*�L)*#J�z#M0t#J)(02%(Ð�-,02Ðq%.+8)[ÐvÏXÏqÑ&% 02�"!VÖS)R+�#&%.- /y#&!$�SÐvÏq�z#M0j+()8#X0#-�Ñ�) 0|Ñ ï /j<6KMQ$b"c*­�Ê\e�­ <HKMQxb"c*­�Ê\e

<6KMQd<HKMQ$b"c*­õÊ\e 5-�Ñ&��Ïq#&%(�L) Ñ&!�)�#&!$��a�b2<HKMQ�cfe?02�L�`+E�"!S0"/q+EíUÑM%�) 0|-[#�)R+\÷67&vå å'8�9 Å1��B�5.�17�>�7&@�7�5�@.A�B�C @�B�A��kC KXO�5�3P5.@�36O�Q�KMIE@�DdKÄ©��F�Nb ¹�[email protected]��R�,5JDT���RA��¹ÞÝÝ<HKMQF<HKMQ�c¤pw7M5`>��,5�C A�3HY��,>�36O�@�����:�A�K�KMIKMIN�����RKMA��,9û��W駨O_�,7MC��¼O�K�>���Dd�[email protected]���@����;O�B�9EYx�RANKMI|>��,5�C �,O=>�7MOz@�5,Wg������>�7&@�7][email protected]�B�C @�B�A��;365N9�7M36OV@�7M36O��,>k36Ok@����ILKX<6<6K\DT36O�QgD|7,Zd�Ê&W���IL@.�RA É Û B�: >�7&@.�,5�@�����h�7M<PB��]KMI4¹�3P5�C���7MO�QM�,>^7MO�>��,7MC[�^@.A��R�J365�A��RY=B�3P<H@RW¥T�RY=B�36<6>=36O�QX5�7&A��]5�C[���,>�B�<6�,>�3PO�5�B�C���7kD|7,Z�@���7&@�@����]@[email protected]��R�,5;7&A���O�KM@Y��,36O�Q�A��RY$B�36<H@|7&@�@�����5�7M9���@�369;�MWn�WÆ¥T�RY=B�36<6>=36O�Q�DFKMA�}�365¤>�[email protected][3HY=B�@.�,>EK\hM�RAd@�����B�: >�7&@.�,5¤36O;5�B=C��;74D|7,Z�@���7&@�@����@�369���5.:��,Oz@w:��RA�B�: >�7&@.�N365ÆÇ`b2<HKMQUcfe[W��W Ù : >�7&@.�,5�7&A��N:��RA�I"KMA�9;�,>]36O�@�����ILKX<P<HK\DT3PO�Q�DF7\Z'�

b27ze]�O�B�: >�7&@.��365;7M<HD|7,Zq5`9`7M>���36O�[email protected]��R��D���36C���3P5;O�KM@�Y��,36O�QSA��,C [email protected][B�C @.�,> W_Ü�A�KX9Î@�����O�B�9EYx�RA;KMI4>��,5�C �,O=>�7MOz@�5,pdDT�=36C���365`[email protected]��,>_36O�,7MC[�]O�K�>��MpVDF�C KX9�:=B�@.�4@����A�7MO�}�KMI�@����36O=5.�RA�@.�,>'ß�>��,<6�R@.�,>`�,<H�,9��,Oz@RW

�|

Page 19: Binary Search Trees of Almost Optimal Height Arne Andersson

b"Yxe8§¨Iq@����dKM@����[email protected]��R�|365fO�KM@fY��,36O�QwA��RY=B�36<6@ @����F3PO�5.�RA�@�3HKXOdß�>��,<H�R@�3HKXO�3P5G9�7M>��7M<65�K�36O1@���7&@[email protected]��R�MW^��KJC KX9;:=7&A[365.KXO�5�7&A��`A��,{�B�3HA��,>�ILKMAE@���365?B�:�>=7&@.�Mp5�3PO�C �4Dd�?B=5.�N@�����A�7MO�}*@.K`<6K�CR7&@.��@����N�,<H�,9;�,OV@RWb2C\e�§¨I¤@����gKM@����[email protected]��R��365TY��,36O�Q`A��RY=B=36<H@�DF�g5�@.KMA���@����gB�:�>=7&@.�E36OS7*{�B��,B��@.K�Y��4:��RA�I"KMA�9;�,>�DT���,O�@����NA��RY=B�3P<6>�36O�Qg365wC KX9;:=<6�R@.�,> W¥��RY=B�3P<6>�36O�QyKMIE�,7MC[�~KMIg@����[email protected]��R�,5J36O�CR<6B=>��,5�C KXO�[email protected]�B�C @�36KXOéKMI�7�O��RD¶@.A��R�m7MO�>:x�RA�ILKMA�9`7MO�C �?KMI�@����g{�B��,B��,>SB�: >�7&@.�,5RW������±$A�5.@�5�@.�R:SA��,{VB�36A��,5°Ç`b"cfew@�369��g7MO�>@����J5.�,C KXO=>^KXO���Ç�b"c�<HKMQUcfe�@�369;�MWÚ�����RA��RILKMA��Mpw@������,OV@�3HA���:=A�K�C �,>=B�A���9�7\Z_Y��>�[email protected]�36Y=B�@.�,>�KvhM�RAT7�<636O��,7&A|O�B�9?Y��RAFKMIfB�: >�7&@.�,5F7&@�7gDdKMA[5.@�ijCR7M5.��C KX5.@wKMI4Ç`b2<HKMQUcfe:x�RA�B�: >�7&@.�MW��<6@���KXB�QX�S�,7MC��1B�: >�7&@.��365�:��RA�ILKMA[9;�,>J3PO�Y�KM@��[email protected]��R�,5Rp �,<H�,9;�,OV@�ijC KX9;:=7&A[365.KXO�57&A��;9�7M>���KXO�<HZ]@����g±=A[5.@T@�369��MW����VB=5Rp$@�����O�B�9EY��RA�KMIFC KX9;:=7&A�365�KXO�5T�,{�B�7M<65@�������,3HQX�V@¤KMIx@����[email protected]��R�MW������|A��,5.@UKMI$@����w:=A�KVKMI�365¤5�3P9�36<67&A�@.KN@�����:=A�KVKMI$KMI �����RKMA��,9���WC

à Ö¼�°M·MÝÌU��dOÅ1�m��7,hM�1:=A��,5.�,OV@.�,>Ú7�QM�,O��RA�7M<63H²,7&@�36KXOéKMI?@�����5.Zq9�9;�[email protected][36C�Y$36O�7&A�Z^�[email protected]��R�Mp4@����©q�|�4b ¹�[email protected]��R�MWF������O��RDÚ@.A��R�?365�KMI�<HKvD~���,3HQX�V@�7MO�>]��7M5�� �*CR3H�,OV@TB�: >�7&@�36O�Q�7M<HQMK&iA�3H@���9�5fA��,{�B�3HA�3PO�QTKXO�<6Z?74C KXO�5.@�7MOV@�OVB�9EY��RA�KMI=A��,[email protected][B�C @�B�A�36O�QX5G:��RA�KM:x�RA[7&@�3HKXO W�§¨Oqi5.@.�,7M>;KMI�B�5�36O�QKXO�<HZ?:�A�369�36@�3HhM�dKM:��RA�7&@�36KXO�5�5�B�C��`7M5�A�KM@�7&@�3HKXO�5Rpz@�����7M<HQMKMA�3H@��=9�5�ILKMA9�7M36OV@.�,O�7MO�C �?KMId©��F�Nb ¹�[email protected]��R�,5N7&A��?Y=7M5.�,>�KXO�A��RY$7M<67MO�CR36O�Q;KMI�<P7&A�QM�RA�[email protected][B�C @�B�A��,5RW§¨O�@��=365�DF7\Z�Dd�J7,hMKX36>Ä5.�RhM�RA�7M<T5�:x�,CR3P7M<wCR7M5.�,5Rp|DT��36C[��9�7&}M�,5�@�����:�A��,5.�,OV@�7&@�3HKXOCR<H�,7&A��RA,W�������@.�,C���O=36{VB���KMI¤A��R:�A��,5��,Oz@�36O�Q`�[email protected]��R�gO�K�>��,5�7M5T<67&A�QM�?Y=36O=7&A�Z*@.A��R�,5�3657M<65.K�B�5.�,>kY�ZSh�7MO�«G�R�,BzDF�,Om7MO=> � hM�RA�9�7&A�5*lon?Ê s�@.K�KMY�@�7M36O1<6KMQUc�ij9�7M36OV@�7M36O�7&Y$<H�5�B�Y CR<67M5�5.�,5fKMI�5.KX9;�w5.�,7&A[C��[email protected]��R�,5RpMI"KMA�� �q7M9;:$<H�d�fª«�[email protected]��R�,5¤7MO�>vá�itY$7M<67MO�C �,>[email protected]��R�,5RWż��3P<H�N@����,3HAwA��,5�B�<H@�5�9�7M3PO�<HZ*7&A���KMI�@����RKMA��R@�36CR7M<f36Oz@.�RA��,5.@Rp�@����g©��F�Nb ¹�[email protected]��R�g365�7MO7M<H@.�RA�O�7&@�3HhM�[email protected]�KM@����RA�5.�,7&A�C[�[email protected]��R�,5*Dd�,<P<wDdKMA�@��[email protected]���C KXO�5�36>��RA��,>_3PO�:�A�7MC @�36CR7M<7&:�:=<636CR7&@�36KXO�5RW§¨[email protected]�Kq>�B�CR36O�Q�©q�|�4b ¹�[email protected]��R�,5fQX36hM�,5G7MO?7MO=5.Dd�[email protected]�7MO?KM:x�,O�:�A�KMY=<H�,9ÍILKMA�9gB�<67&@.�,>YVZ � <63Hhq3H��l´Ê �XstWkuT�8:�A��,5��,Oz@.�,>�7kCR<67M5�5EKMI�Y=7M<67MO�C �,>[email protected]��R�,5�CR7M<6<H�,>^/�#&� ï ¢.��#&��#M!$-[+��02%.+[+()[p D���36C��S36OJI"7MC @N365@�����5�7M9;�;CR<67M5�57M5@�����5.Zq9�9;�[email protected]�3PC?Y=3PO�7&A�Z]�[email protected]��R�,5RpG7MO�>5���K\DF�,>�@��=7&@�@.A��R�,5�KMI|@���3P5NCR<67M5�5�CR7MOmYx��B�:�>=7&@.�,>kDT3H@��17�C KXO�5�@�7MOz@gOVB�9EY��RANKMIA�KM@�7&@�3HKXO�5N:��RANKM:��RA�7&@�3HKXO�WE�����;{�B��,5.@�3HKXOkD|7M5NDT���R@����RAN@����RA��;7&A��;KM@����RAECR<67M5�5.�,5KMI�Y$7M<67MO�C �,>]@.A��R�,5TDT3H@���@���3P5|:�A�KM:��RA�@jZMW|�|<H�,7&A�<HZMp�I"KMAT7MOVZ�h�7M<6B��NKMI¤¹�<P7&A�QM�RA�@���7MOÊ`@����]©q�|�Nb ¹�[email protected]��R�,5�ILKMA[9°7JO��RDÀCR<P7M5�5?D�3H@���@���3P5�:�A�KM:��RA�@�ZMW��¯9;KMA��8>��R@�7M36<H�,>

Ê,½

Page 20: Binary Search Trees of Almost Optimal Height Arne Andersson

5.@�B�>�[email protected]��R�[email protected]�B�C @�B�A��,5¤A��,{�B�3HA�3PO�Q7NC KXO=5.@�7MOz@FOVB=9?Y��RA¤KMIxA�KM@�7&@�3HKXO�5U:x�RA�B�:�>=7&@.�CR7MO�Y��NILKXB=O�>]36O�l´Ê�D�stW�T:$7&A�@dI"A�KX9ú@����4C KXO�5.@�7MOV@|7M9�KXB�Oz@|KMI A��,5�@.A�B�C @�B�A�3PO�Q�DFKMA�}�:��RAFB�:�>=7&@.�T@����RA��7&A���KM@����RAf:�A�KM:��RA�@�3H�,5�KMIq@����F©��F�Nb ¹�[email protected]��R�,5fDT��3PC���9�7\Z4Yx��>��RA�3HhM�,>NI"A�KX9Ú@����|©q�|�[email protected]��R�,5RWTÜ�KMAN36O=5.@�7MO�C �Mp=@����RA��E7&A��gB�: >�7&@�36O�Q�7M<6QMKMA�3H@���9�5TILKMA�©q�|�[email protected]��R�,5DT��36C[��B�5.�@.KM:�ij>�K\D�O]Y=7M<67MO�CR3PO�Q�l³|�stW�������36>��,7g3P5|@.K�:��RA�ILKMA[9À7M<P< 5.:=<63H@|7MO�>%n.KX36O�KM:��RA�7&@�3HKXO�5DT��36C[�S9`7,ZSYx��A��,{�B�3HA��,>JKXOk@����;DF7\ZS>�KvDTOk@�����@.A��R�`>=B�A�36O�Q*@����;5.�,7&A�C[� W`©qB�C��7M<HQMKMA�3H@���9`5N7&A���B�5.�RI2B�<�36O17�:=7&A�7M<P<H�,<��,Ozhq3HA�KXO�9��,Oz@�5�3PO�C ��KXO��;KM:��RA�7&@�3HKXOkKXO1@����@.A��R�N9�7,Z*Yx�5.@�7&A�@.�,>�Y��RI"KMA��T@����:�A��Rhq3HKXB�5dKXO��4365FC KX9;:=<H�R@.�,> W��O�KM@����RA|� ��7M9;:=<H�365w@�����7&Y=3P<63H@jZ*@.K¯n.KX36O�7MO�>]5.:$<63H@T©q�|�[email protected]��R�,5El³|�stW�|7M5.�,>`KXO�@����©q�|�Nb ¹�[email protected]��R�Dd���7,hM�7M<65.K�:�A��,5.�,Oz@.�,>`7�>�7&@�7?5�@.A�B�C @�B�A��wD���36C��9�7,Z4Y��¤� �*CR3H�,OV@�<HZN9�7M36OV@�7M36O��,>N36O4@�����DdKMA[5.@GCR7M5.�dDT3H@��N7�O�B�9EYx�RA KMI�C KX9;:$7&A�365.KXO�5:x�RA�>�36C @�3HKXO=7&A�Z4KM:x�RA[7&@�3HKXO?D���36C��E365�KM:=@�369�7M<z3PO�@����F<H�,7M>�36O�QT@.�RA�9]W����VB=5RpvDF�|��7,hM�369;:�A�KvhM�,>1@����`B�:�:��RAY�KXB�O=>JKXO�@�����DFKMA�5.@�ijCR7M5.�8C KX9;:=<H� ��3H@jZSKMI|@�����>�36C @�36KXO�7&A�Z:�A�KMY=<H�,9�W

n��

Page 21: Binary Search Trees of Almost Optimal Height Arne Andersson

â�ã�ä âfå±åA�Là�æ4ç=à)(màqâxä��Å1�`DFKXB�<6>1<63H}M�;@.K�@���7MO�}éè�A\W8©�h&7MOz@.�8�w7&A�<65�5.KXO17MO=>1@����;A��RI"�RA��R�,5�I"KMA�h&7M<6B�7&Y=<6�C KX9�9;�,OV@�5TKXO]@��=365|:=7&:��RA,Wê Ì�»,Ì� ÌU���¤Ì�Ol´Ê(s�²gWM�yW��>��,<65.KXO�itª¤�,<65.}q363z7MO�>gÒ�W&�yW�«f7MO�>�365RW���O�7M<HQMKMA[3H@���9çILKMA�@����FKMA�QX7MO�3H²,7�i@�3HKXO]KMI¤36O�ILKMA�9`7&@�3HKXO Wh�gÑ�¿v�H#X�&� ö ¿&#z�z+ ��� #�ëE#&Ð�¿�£�£�£)ì4p�Ê �>D�b nXe��øÊ,nM�M½�íRÊ,n:DMnqpÊ,½:DMn�W

lonvsE�EW�ªEWd����K�p`î�WdÒ�W�u�KM:�C A�KMIL@Rpw7MO�>�î�W�ègW Ù <P<69�7MO Wj�g#M0t#�£$02%(Ð�-\02Ðq%.+ )J#&!$�ö �oÖzÑ&%(�20"/z�g)[Wd�>�>�3P5.KXOqitÅ1�,5�<H�RZMpb¥T�,7M>�36O�Q��S7M5�5Rp�Ê,½:|M��W

lo�vs%¥�W$�F7\ZM�RA,W�©�Z�9`9;�[email protected]�36C4Y=3PO�7&A�Z*�[email protected]��R�,5��ïè47&@�7`5�@.A�B�C @�B�A���7MO=>�9�7M36OV@.�,O�7MO�C �7M<HQMKMA�36@���9�5RW ö -,0t#N�[! ï Ñ&%(�;#X02�2-[#&p½ÊXb"�Ve�� nM½���í����2D�p�Ê,½Xr&n�Wl �&s%¥�W¤�|7,ZM�RA87MO�>�Ò�W¤�SC\�FA��,3HQX�V@RW � A�QX7MO�3H²,7&@�3HKXO�7MO�>�9�7M3POz@.�,O�7MO=C �]KMI�<67&A�QM�KMA�>��RA��,>�36O�>�� �q�,5RW ö -,0t#N�[! ï Ñ&%[��#M02� -�#Mp½Ê��øÊ\r&��íRÊ�|M½�p�Ê,½Xr&n�Wlo�vsEuEWx�|��7MO�Q�7MO=>S©xW$©xW�§¨ZqO��RQX7&A,WdÒ��*CR3H�,OV@T7M<HQMKMA�36@���9�5|@.K`QX<6KMY=7M<6<HZ*Y=7M<67MO�C �?7Y=36O=7&A�Z�5.�,7&A�C[�]@.A��R�MW o Ñ&����Ð�!=�2-[#M02�2ÑM!�)EÑ ï 0"/q+ öNo-ð p�nXrqbtrMe��ñDM½M��íqr��Xn�p�Ê,½:|���Wl³DvsE�EW��4W�è47,ZMW¤�|7M<67MO�CR3PO�Qg7gY=3PO�7&A�Z�@.A��R�MW o Ñ&��Ï$Ð�0j+ % l Ñ&Ðq%[!$#M�Øp Ê,½�b"�Ve�� �:D���í��:D?Ê&pÊ,½Xr�D�W

l r\s�²gW�uEW�²KXO�O��R@RW�òE#&!$�z��Ñ,Ñ�¿*Ñ ï ö �oÖzÑ&%(�20"/z�g)�#M!$�N�E#X0t#;£$02%(Ð�-,02Ðq%�+()[W¤�>�>�365�KXOqiÅ1�,5�<H�RZMp½Ê,½:|M��WU§�©q�Ã�ó��i�n��&Ê(i��:�XnM�vi¨rVWl³|vsE«�W�î�W�²4B=3HY=7M5F7MO�>W¥�W�©��,>�QM�RDT36C�}$W��~>�3PC���A�KX9`7&@�36C�I"A�7M9;�RDFKMA�}`I"KMA|Y=7M<67MO�C �,>@.A��R�,5RW1§�Ozô|%.Ñ,-\÷¯�2õX0"/ ö !�!x÷ï�Ïöhö�öú£='&��Ï�÷Ñ&! è Ñ&Ðq!$�X#M02� Ñ&!�)�Ñ ï o Ñ&��Ï$Ð�0j+R%£x-,� +R!$-[+Rp�:=7&QM�,5Æ|�í�n?Ê&p�Ê,½Xr�|�Wlo½vs��WM§�C�}q36O�Q�p>¥?W:÷�<H�,36O pM7MO�>;��W � @.@�9�7MO�O W'Û�A�3HKMA[3H@jZ?5��,7&A�C��;@.A��R�,5U36O�5.�,C KXO�>=7&A�Z9;�,9;KMA�ZMW�§¨OÞø|%.#[Ï=/V0"/�+�Ñ&%�+R02� - o Ñ&!x-[+�Ï�0")��"! o ÑM�TÏxÐq0j+R%�£x-R�t+ !x-[+]º�ùqø·� úbû�»vë£$0t#�ü4+ �Ø)(0j+ �"!�ë * ë o £q�>��!�p=:=7&QM�,5°|���í�½M��p�Ê,½:|XrVW

l´Êk��sEÅÞW��?W �S7&A�@�36O17MO�>éègW-�?WL���,5�5RW � :�@�369�36²,36O�Q�Y=3PO�7&A�Z]@.A��R�,5NQMA�K\DTOkDT36@��S75.KMA�@�3PO�Q�7M<HQMKMA�3H@��=9]W o Ñ&����Ð�!=�2-[#M02�2ÑM!�)�Ñ ï 0"/�+ öNo-ð p Ê,��b nXe��ñ|:|�í�½M��p�Ê,½Xr&n�Wl´Ê¦Ê(sguEW��EW��J7MB��RA\p���W � @.@�9`7MO�O p 7MO�>Su?WxÅçWG©q3H�xW�§¨9;:$<H�,9;�,OV@�36O�Q*>=36C @�3HKXO�7&A�36�,5B�5�3PO�QNY=36O�7&A�[email protected]��R�,5dKMI�hM�RA�Z�5�9�7M<6<����,3HQX�z@RWg�[! ï Ñ&%(��#M02�2ÑM!Wô|%.Ñ,-(+()�)(�L!�Ö * +,0 0j+ %[)[p��b�Ê\e��øʦÊ�íRÊ ��p�Ê,½Xr�D�W

n?Ê

Page 22: Binary Search Trees of Almost Optimal Height Arne Andersson

l´Ê,nvsgÒ�W$�mW=�SC\�FA��,36QX�z@RW�ÛUA�3HKMA�36@jZ*5��,7&A�C���@.A��R�,5RW�£�� öÆðÓl Ñ&Ðq%[!$#M��Ñ&! o Ñ&��Ï$Ð�02�"!VÖMpÊ �=b nXe�� nM�Xr�í�nXr�D�p¿Ê,½:|M��W

l´Ê,�vs�î�Wu�3H�RhM�RA�QM�,<H@�7MO=>�ÒTW¤�mW�¥T�,36O�QMKX<6> W��|36O=7&A�Z�@.A��R�,5;KMI�Y�KXB�O�>��,>yY=7M<67MO�C �MW£)� ö°ðÓl Ñ&Ðq%(!$#&��Ñ&! o Ñ&��Ï$Ð�02�L!VÖXp$n�b�Ê\e�� �M��íz�z��p�Ê,½Xr&��Wl´Ê �&sguEW:î�W � <63Hhq3H�MW ö £$02Ð��&'gÑ ï ¡�#M��#&!x-[+���¡T�"!$#&%(' ò %.+[+()T#&!$�4¡#&��#M!$-[+��Wý|!x+ ¢ ò íUÑ&¢

ò %.+[+()[W+Ûd� W�ègWd�����,5�365RpÃè��R:=@�KMI��J7&@����,9�7&@�36CR5Rp Ù O�3HhM�RA�5�3H@jZ�KMIN��OV@jDF�RA�:�pÊ,½:|��qW

l´Ê,�vsguEW>î�W � <63Hhq3H�MW��¼O��RD_CR<67M5�5�KMIxY=7M<67MO�C �,>;5��,7&A�C��;@.A��R�,5k��u7M<HILitY=7M<67MO�C �,>�Y$36O�7&A�Z5.�,7&A�C[��@.A��R�,5,WïìN÷ ö ÷-� ÷gìN÷Ãý�÷-�[! ï Ñ&%(��#M02�"þ,Ð=+ ò /q+�ÑM%.+,02�"þ,Ð�+Rp�Ê�D�� �?Ê�íqrÊ&p®Ê,½:|Mn�Wl´Ê�Dvsg��� W � @.@�9�7MO=O*7MO�>WègWqÅ1KVKq> W Ù : >�7&@�36O�Q?Y=36O=7&A�Z�@.A��R�,5|DT3H@��*C KXO�5.@�7MOV@�<636O�}Vi7&QM�kC KX5.@RWÚ�GKm7&:=:x�,7&A836OzÛUA�K�C&W|©qCR7MO�>�36O=7,hq367MO�Å1KMA�}q5���KM:ÄKXO^�<HQMKMA�3H@���9�����RKMA�ZMpx©�Åk�¤�pw ½��qp$�F�RA�QM�,O p�Ê,½M½��qWl´Ê\r\sg�yWquEW � hM�RA�9�7&A�5,W ò /q+°��+()[�HÖM!SÑ ï �?'&!$#&��� -°�g#M0t#;£$02%(Ð�-\02Ðq%.+ )[p�hMKX<6B�9��4Ê,�:DKMI * +�-,02Ðq%�+ÿëEÑM0j+()8�L! o ÑM�TÏxÐq0j+R%8£x-R�t+ !$-(+ W1©�:�A�36O�QM�RA�ª¤�RA�<67&Q�p1Ê,½:|M��Wk§�©q�Ã��vi����2��icÊ,nM�M����i��gWl´Ê�|vsv�EW�©�7&A�9�7&}y7MO=>\¥?W¤Ò�W¤�f7&A¢n.7MO W{ÛU<67MO�7&Ag:�KX36OV@g<HKqCR7&@�3HKXO�B�5�36O�Q�:��RA�5�365.@.�,OV@5.�,7&A�C[��@.A��R�,5,W o Ñ&����Ð�!=�2-[#M02�2ÑM!�)�Ñ ï 0"/q+ öNo-ð p=nM½�btrMe��ñD:DM½�í�DXr&½�p,Ê,½:|:D�Wl´Ê,½vs��gW�ÜFWf©�@.KXB�@�7MO=>1��Wf«�W Å�7&A�A��,O�W��fA��R�;A��RY$7M<67MO�CR36O�Q]36OSKM:�@�3P9�7M<�@�369;��7MO�>5.:=7MC �MW o Ñ&���gÐq!�� -�#X02�2Ñ&!�)�Ñ ï 0"/�+ öNo-ð p=nM½�b ½Xe�� ½��Xn�í�½��2|�p¿Ê,½:|:D�Wlon���sv¥�W ÒTW���7&A"n�7MO W Ù : >�7&@�36O�Q�7�Y=7M<67MO�C �,>k5.�,7&A[C��[email protected]��R�;36OqÇ`b�Ê\e�A�KM@�7&@�3HKXO�5RW��[!�¢ï Ñ&%[��#M02� Ñ&!�ôw%�Ñ\-[+()[)[�"!VÖ * +R0 0j+ %[)[p�Ê�D�� nM�M��í�nM�XrVp�Ê,½:|M��Wlon?Ê(s�î�W=h�7MO�«G�R�,BzDF�,OS7MO�>��yW=u?W � hM�RA�9�7&A�5,WF©�@.A�7&@�3�±$�,>]Y=7M<67MO�C �,>�5.�,7&A�C���@.A��R�,5RW

ö -,0t#N�[! ï Ñ&%[��#M02� -�#Mp½Ê�|�� ���z��í��M�M½�p�Ê,½:|M��W

nMn