Top Banner
Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To cite this version: Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier. Analytic Variations on Bucket Selection and Sorting. [Research Report] RR-3399, INRIA. 1998. <inria-00073290> HAL Id: inria-00073290 https://hal.inria.fr/inria-00073290 Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destin´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.
28

Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

Aug 21, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

Analytic Variations on Bucket Selection and Sorting

Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier

To cite this version:

Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier. Analytic Variationson Bucket Selection and Sorting. [Research Report] RR-3399, INRIA. 1998. <inria-00073290>

HAL Id: inria-00073290

https://hal.inria.fr/inria-00073290

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinee au depot et a la diffusion de documentsscientifiques de niveau recherche, publies ou non,emanant des etablissements d’enseignement et derecherche francais ou etrangers, des laboratoirespublics ou prives.

Page 2: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

�������

ISS

N 0

249-

6399

ap por t de r ech er ch e

�������� ������������������� ��������� ������� ��������� � ����!"�����#����$�%������ �� ��!"�����#����

& ')(+* ,.-0/�1 2.(+3�/�(4-0/�5+'76 5+'8 9:1<;>=+- ?@=A*B=C1D-0/�5+' (E'GF ?@5D3H-I/J'LK

MONQPSRTVU$RWXTYNQZ\[%]_^�Wa`cbd`deXe fhg�biRkjSNlbcfnmo]X^�WX`dbd`deXe fqp_RlrkslZXfkmt]uUv`cwxfk`dbdbcfzy|{fk}l~X`dfkw

�G� ��������q� w�`db��o�Q�l�

�qM$���U<���

Page 3: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To
Page 4: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

������������ ��������������������������� ���� "!�#�$�# %��$��&�'��()!*�'�+��,��-

.0/21,3547683:9�4;/=<�>%?�@�9�ACBDACE�E�FHGIBJ35K�/=BDFMLN?�@�9�ACBDACE�E�FHOP3=QNRP<�FNLM?�6SADTUFNADBCBDF�VXWFNY=Z�ACFNT

��W �fkTYfh��[]\�{fn~X`dfhbdNl}Q`irS`dfkbfnmqrkRbirSZXb�P_^ T` NQbd`isQZaf

^�w�Noj fkm � bd}QNyqReae\Nlw�m�[ f0w�ftr�Wafkw rxWXf"~�aMbcbQ�l�0[ �q� w�`db��o�Q�l��[ �ed e R}QfnP

f�gih$j,kmlonmjcprq f�eaw�N � `i[ fBr NQT eabcfnm�f�R � fkwSR}Qfts rkR P�fqR P�u fnbcbXR P�eXw�Nc`\Rm`a`cbd`dP�mx`ir R ~\Rbv^ P�`dP�NewumxWXfqrSNlP�m�New`XZ r_xlfkm�P�fkbdfor m�`dNQ~ R ~\[zPxNQw�mx`d~X}qRbd}QNlw�`dm�WaT PUya�zu N � Rwx` R m�`dNQ~aP\New{`aZ\r|xQfkmx`c~a}�}�R ~\[ ~uR � Nlw�P�m�WXfkwxfk`d~o��R w�frSNl~XP�`i[ fnw�fo[P��[ `dP�mxw�`v`XZXmx` � f#`XZ r_xlfkm�`d~X}0} biR w�}Qf ~ ZXT`\fnw�Nmw�`XZ\r|xQfkmxP���R ~\[�wSRQ[ `��`XZ\r|xQfkmx`d~X}�}�w�for ZXw�Px` � fu�`dm�W�R P�T|RbdbQ~ ZXT` fkw�New2`aZ\r|xQfkmxPo]lP�ZX`dm Re`Xbdf�w�NQw [ `c}l`dm RbXrSNlT eXZam Rmx`dNQ~o�$yugaNQw�� `dP�mxw�`v`XZXmx` � f�� fkbdfor m�`dNQ~RzrSNlT e NQZX~\[I^�Nl`dP�P�Nl~ bd`dT `dm `dP fnP�m Re`Xbd`dP�WXfo[�y�gXNlw Rbdb NQmxWXfkw+~uR � NQw�P�Newo`XZ\r|xQfnm�P�fkbdfor m�`dNQ~ R ~\[0PxNQwxm�`d~X}\]rSfn~_mxw R b bd`dT `dm�m�WXfkNlw�fkTYPzZX~\[ fkwxbv^_`d~X}|mxWXf r NQP�m"Rw�f�[ fkwx` � fo[�`N^$RP|^_TYeXm�Nlm�`irzmxforxWX~X`islZXfkP0`d~ � Nlb � `d~X}e fkw�mxZXw_` Rm�`dNl~$Nmw�y�`irSf�� P�`d~ m�fk}lw Rb�R ~\[ r NQ~ m�NlZXw�`d~_mxfk}QwSRmx`cNl~�} P Rl[X[ bdfze\Nl`d~_m�T fnm�WXNX[ P���y���~ mxWXf rkR P�fNewBwSRQ[ `��H`XZ\r|xQfnm�`d~X}\]%e\fkwx`dN [ ` r�~ Z\rSm�Z Rm�`dNl~XP0ReXe foRwz`d~�m�WXf�TYNQT�fk~ m�P�New�` NQmxW mxWXf"P�fkbdforSmx`dNQ~�R~ [PxNQw�mx`d~X} Rbd}QNlw�`dm�WaT PUy

�������J�U� ��i���v�J�J���

��~a`cmX{f0[ fzw�forxWXfkwSrxWXf�_�qy � � yON rnsQZafk~\rSNlZXw�m� NQT R `d~Xfq[ f���NQbdZ\r foRZ�]XyONXrkslZXfk~\rSNlZXw�mt]P� ^ �U�c X]5¡l�X�U cb�¢��¤£�M ���5� �i¥ £�fo[ ft�¦}�gaw R ~\rSfU�

�|{fkbt{fkeXWaNQ~Xf��=}Jb�bc�z�X��bQ�§�b' � Y�Q�I¨��|{fkbt{forSNleX`df��%}�bcb��%�X��bl�©§cb© cbb��

Page 5: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

��������������������*�����������0���I� � ������� ����I���# %������]�z����������� ��� z���� I���;(��|��( ���#�����

�� h ����� p £�fkm�Rw�mx`irSbdf�eXw�Nle\NlP�fq[ fkP�R~\R b ^ PxfkP�rSNQTYeXb �fkm�fkP�fk~ TYNm^Qfk~a~XfBR `d~XP�`XslZ � fk~�[ `dP�m�wx`v`XZXm�`dNl~[ fnPqeXwx`c~ rS`de\RZN�$Rbd}QNlw�`dm�WaT fkP�[ fzPX{fkbdfor m�`dNQ~$fnmh[ f0mxw�`�e\RwqrkR birSZXb [�� Rl[ w�fnP�P�fcy�¢%fkPhR bd}QNQwx`dm�WXTYfkPBr NQ~NsPx` [�{fkwX{fkPIwX{fke\R w�mx`cPxP�fk~ mzbdfkPh[ NQ~X~�{fnfkPzfk~$P�NlZXPJs�}QwxNQZXe fkP0[ `dPcj NQ`d~ m�Po]XR eXe fkbo{fkP0[ fkP��xP�foR ZN���H}���� �������! #"�$U�$y� fkZN� � Rwx`iR~ m�fkP�Rbd}QNlw�`dm�WXTY`isQZafkP�PxNQ~ m rSNl~XP�`i[�{fkwX{fkfkP,��bdfkP R bc}lNQwx`cmxWXT fnP Nle�{fkwSR~ m�e\R w [ `dP�mxw�`v`XZXmx`cNl~�}�fkmZXmx`dbc`dPSR~ m�ZX~ }lw R ~\[0~aNQT`Xwxf [ f�P�ftRZN�o��fkm�bdfkP�T {fkm�WaN [ fkP%��bdf��X`irSNQ}lw ReaWX`isQZafkP&��}�slZX`XPxNQ~ m�wX{forSZaw�P�` � fkPo]wxfke\NlP�fk~ m�PxZXw�biR [�{forSNQTYe\NlP�`dm�`dNl~ fk~�rkR w RlrSm �fkwxfkP [ fkP [ NQ~X~�{fnfkPo]�fkm Zam�`dbd`cPxfk~ m0ZX~�e\fkmx`dm ~XNlT`Xw�f�[ fPxfoRZN�o�$y ^�NlZXw0biR|P�fnbcftrSm�`dNQ~�e\Rw"[ `dP�m�wx`v`XZXm�`dNl~�]�Za~Xf bdNQ`�[ f ^�NQ`dPxP�NQ~ArSNQTYe\NlPX{fkf [�{forSw�`dm"bdf rSN('ZXm [ fbJ� Rbd}QNlw�`dm�WaT f�y#�zR ~XPzm�NQZaPhbdfkP0R ZXm�wxfkP rkR Po]�ZX~Xf"bcNl`�rSfk~ m�wSRbdf�bd`cTY`dm�f�}�}_R ZXP�Px`cfn~X~XfU�0[�{forSw�`dm0bdfkPIw Nl~\r|smx`cNl~XP�[ f rSN('ZXm�P,y ¢ fnP T {fkm�WXNX[ fnP ZXmx`dbc`dPX{fkfkP"w�fke NQPxfk~ m P�Zaw bJ� RP|^_TYeXm�Nlm�`islZXf�rSNQTYeXbdf��Xf }�R~ Rbv^ P�f [ frSNlb�]Qe fkw�mxZXw_` Rm�`dNl~ [P� `d~ mX{fk}lw RbdfkP�[ fqyO` r fU��fnmo]X[XR ~XP�bdfhrkR PB[ fkPBR bd}QNQwx`dm�WXTYfkP�bcft� `irSNl}QwSReXWX`islZXfkPt]QfnbcbdfkPTYfkm�mxfk~ m�fk~ {f � ` [ fk~\rSf�[ fkP�eXW�{fk~XNQT �fk~XfkPq[ f�~\Z\rSmxZ\Rmx`dNQ~|e�{fkwx`cNX[ `islZXf�y

Page 6: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

f�� f���������� f � �Uf����������������������������������������� f �"!�#� �$�%�&��'

(�)+*-,/.10�,/2�.�)436567 892�:<;<:<=�=?>A@B;C,/DE)/;C>GFEH 892�:<;<:<=�=?>JI4,+KMLN36>MF-H 0�:<OP>P:<;<;C>#Q�R>MS/T�:C>UOVH

� eXw�`db �a] �o�l�Q�W�X�Y[ZAQ\W�]�Z

^�>�=�OP)/_+:C5�>�KM)/.`=�;C>GFE>`,/_+>UOV,NS+>PabKM,N*E>c,N*`de>U;<;J,+*�=�OP)/f6,/f�:<;<:C*-Fb:<K�,/T6,/;Cg[*b:C*c)4hiFj26>�KG)+*-Fk)/hf�36K-l&>MF�*->P;C>GKMFj:C)/T�,/T65#*-)/OVFj:<T6SA,/;CS+)4OE:CFj2�.�*Mm[ZAde)#_/,/O-:C,+Fj:C)/T6*&)4h&f�36K-l&>GFb:<T6Sonp,/T65\q6,/_+)/OP*�Fj26>POP>P:<T?r,/OP>`KM)/T6*j:C5�>POP>M5tsc5[:C*-FbO-:<f�36Fj:C_+>#f�36K-l&>GFb:<T6S�nu;C,/OPS+>�T&3�.�f?>UOc)/h�f�36K-l&>GFE*PrA,4T65vOV,+5[:Cw%f�36K-l&>MFj:<T6SnCOP>MKU3�OV*j:C_+>\d�:CFb2 ,�*j.�,/;<;tT&3�.�f?>UOJ)/h�f�36K-l&>GFE*Gx�*b3�:CF-,/f�;C>\hp)/Oc5[:CS/:CF-,/;yKM)4.`=�36FE,+Fj:C)GT?rPm\@�)/Ocz�:C*jaFbO-:<f�36Fj:C_+>�Y[>P;C>GKMFj:C)/T�,vKM)4.`=?)/3�T65�89)/:C*E*-)/T�;<:<.`:CFc:C*`>G*EF-,/f�;<:C*j26>M5tm @�)/O�,4;<;J)+Fj26>PO�q6,/_+)/OP*k)/hf�36K-l&>MFA*->P;C>GKMFj:C)/T�,/T65�*-)/OVFj:<T6S�x�KM>UT{FjOP,/;6;<:<.`:CFAFj26>M)/OP>P.�*�3�T65�>UOE;CgN:<T6ScFj26>cKM)N*EF\,/OV>|5�>PO-:C_+>M5}f{g,+*-g+.`=6F-)+Fj:CKeF->MK-2�T�:CLN36>M*t:<T�_+)/;C_N:<T6S\=?>UOVFj3�OEf6,NFb:C)/T�)/heQA:CKG>+~ *�:<T�FE>GS/OP,/;{,4T65�KM)4T{F-)/3�O�:<T{F->MS/OP,+Fj:C)/Tnp*-,+5�5[;C>o=?)/:<T�F�.�>MFj26)&5�*PrUmy��T�Fb26>cKG,+*->c)/hyOP,+5[:Cw�f�36K-l&>GFb:<T6S�xG=?>UOE:C)[5[:CKAq�36KGFb36,NFb:C)/T6*�,/=�=t>M,/O�:<TFb26>o.�)/.�>PT�F-*y)/hyft)+Fb2�Fj26>#*E>U;C>MKGFb:C)/T`,/T65�*E)/OPFj:<T6SJ,4;CS+)/O-:CFb2�.�*Gm

�e� � �in[� � j&�-�#���~_mxfkw�fnP�m"`c~ [ `dP�mxw�`v`XZXmx` � f"P�NQwxm�P"e\ftRmxQft[�`c~�m�Waf�b R m�f|�o�c¡��5� P0RPzmxWXf�^�N�� fkw�fo[ f/� rS`dfk~ m

Rbdm�fnw�~\R m�` � fkPzmxN Pxm R ~\[XRwS[ rSNQTYe\Rwx`dP�NQ~{s�`\R P�fo[<Rbd}QNlw�`dm�WXTYPUyI��WXf biR m�m�fnw rSbiRPxP0Nmw�P�Nlw�m�`d~X}Rbd}QNlw�`dm�WaT P eXwxN � Rm`Xbv^zW\RP��I}V� bd~��P� r NQT eabcft� `dmJ^�` NQm�W�`d~"m�WXfIu Nlw�Pxm rkRPxfqR~\["Nl~ R � fkw R }Qfm�N0PxNQwxmk�0xQf�^ PUy�� `dP�mxw�`v`XZXmx` � f#� Nlw�mo]l`d~ � fk~ m�ft['`M^� N�` NQPx`cf$u�` r4��`c~$�t��¡l�X]eXwxN � ` [ fo[�w NQw�m�WXf� w�Pxmqmx`cTYf0R rSbiRPxPqNewJPxNQwxm�`d~X} R bd}QNQwx`dm�WXTYP�u�`dm�W|Nl~Xbv^��'}P�P�qR � fnw R}lf rSNlP�mzZX~\[ fnwhPxZX`dm Re`XbdfZX~X`�w Nlw�T `dmJ^ R P�PxZXT eXmx`dNQ~XP�NQ~Ym�WXf [aRm R:y

��Z\r|xlfkm�`d~X}Y`cPzR�mxfkw�T:ZXP�fo[ w Nlwq`i[ fk~ m�`�wC^ `d~X}"~ ZXT fkwx`irkRb+xQf�^ P#`N^|`d~ m�fkw � RbdPUy � `XZ r_xlfkmP�Nlw�m R bd}QNQwx`dm�WXTCRQrkr NQT eabc`dPxWXfkP `dm�P�m RP|x�`N^ � [ `dP�mxw�`v`XZXmx`d~X}���mxWXf�xlf�^ P�`d~ m�NzrSNQ~ m R `d~Xfkw�P�rkR bdbcft[`XZ\r|xQfnm�P}�WXfk~\rSfYm�WXf�~ RT f'�q`dPxm�w�`v`XZam�` � f©� NQw�m w NQwzP�NlT f�~ R � NQwxPzNmw�m�WXf R bc}lNQwx`cmxWXT �N�XPxfkf� f � w�Nm^Qf }S�o�l��§�� w NQw0}lfk~XfkwSRbz`\Rlr|x_}lw�NlZX~\[Py���Z\r|xlfkm�`d~X}�`dP ZXPxZ\Rbdbv^ RQrxWX`df � ft[ `N^ Px`dT eXbdfRwx`cmxWXT fnm�`irzNQe fkwSRm�`dNl~XP R~ [�`cP"Rmzm�WXf|rSNQwxf�Nmw�T R ~M^0w�R P�m R bd}QNQwx`dm�WXTYPqbd`vxQf�[ `dP�m�wx`v`XZXm�` � fP�Nlw�m�`d~X}'}J�qNc`\NlP�`df�u�`ir/��} �o�c¡Q�c�_�k] f��Xm�fk~\[ ` `abcf�W RP�Wa`c~a}}�g R}l`c~�] �O`df � fkwx}Qfkbdmt]X^�`deXe\fn~X}Qfkw�R~ [� m�wxNQ~X}'}S�o��¡l���|�k]PxfkbdforSm�`dNl~�`N^ [ `dP�mxw�`v`XZXmx` � f�e\R w�m�`dmx`cNl~X`d~X}�} � bd`dP�Nl~ R ~\[��Nl}_R�} �t�Q�X�,�_�n]fkm rey� Rwx`dNQZXP RPxP�NXrS`iRmxfo[ [aRm R�Pxm�wxZ\rSm�Zaw�fkP R w�`dP�fl]P�Z\rxW R P�mxw�`dfkP�}P� ~_Zam�W}S�o��¡cb��|�k]tW\RPxWzm�w�fnfkP R~ [�%s�m�wxfkfkP'}���Waw�bd`ir�W } �t�Q�a�U�_�$y���WXfkPxf R bd}QNQwx`dm�WXTYPBR ~\[$[XR m R�Pxm�wxZ\rSm�Zaw�fkP"`d~$m�ZXwx~$T Nlm�` � Rmxfo[P�f � fkw R b\T|RmxWXfkT R m�`irkR b_R~ Rbv^ P�fkP�bd` xlf mxWXfhR ~\Rbv^ P�`dP�New [ `dP�mxw�`v`XZXmx` � f�P�Nlw�m�`d~X}�}�� f � w�Nm^lfhR~ [� bc`d~\r P�f�x}S�o�l�X�U�|�k]mxWXfqR~ Rbv^ P�`dP�Nmw w R~ [ NQTCW\R P�W�mxw�fkfkP�R~ [©��s�mxw�fkfkPI} ��R T T ` ~Xfk~'} �t�Q�a�U�_�R~\[Im�WafBR ~\Rbv^ P�`dP�Nmw\mxw�`dfkPz}�g�b RnjSNQbdfkm%} �t�Q�cb��k]tp RQrkslZXfkm�R~ [ y|{fk}Q~X`dfkw%}S�o�Q�c§��n] ^J`cmxm�fkb+} �t�Q�c§��k]y|{fk}l~X`dfkw�R~\[Yp_RlrkslZXfkm�} �o�l�Q�c�_��y

��~hmxWX`dP�e\R e\fnw�u�f�f��\RTY`c~af mxWXf�` fkW\R � `dNQw New � R w�`dNQZaP=~uR � Nlw�P�New5`XZ\r|xQfkm�P�fkbdfor m�`dNQ~�R~\[ New`XZ\r|xQfnm�P�Nlw�m�`d~X}=y�}J� fkbdforSmx`dNQ~�`dP�m�Waf�eXw�NXrSfkPxP�Nmw � ~\[ `d~X}0R ~�NQw [ fkw�P�mSRmx`cPxm�`ir] mxW\Rm�`dPo] � ~\[ `d~X}m�WXf�fnbcfnT fk~ m�Nmw�R }Q` � fk~"w R ~5x"`c~�R~"ZX~XPxNQwxm�fo[YRw�wSR,^My �z��WafqRbd}QNlw�`dm�WXTY`ir�Px`i[ f�Nmw m�WXf�Pxm�Z\[{^`dP TYNQmx` � R m�fo[I`N^0mxWXf ~afkfo[�New\}Qfn~Xfkw R b\PxfkbdforSmx`cNl~ R bd}QNQwx`dm�WXTYP m�W\R m�u Nlw_x0Za~X` � fkwxP Rbdbv^Iw NQw�R bcbNQwS[ fkwzP�mSRm�`dPxm�`irSPUy�� Z\rxW R ~Xfkfo[�Rwx`cPxfkPIw NQw `d~XP�mSR~\rSf"`d~$`d~Nw fkwxfk~\rSf }�P�fkf � ~ [ w�f�u�Pt]���`ir|xQfkb�]7 z#>P=6,/OPFj.�>PT�F�)/hY[F-,+Fj:C*EFj:CKM*GxPZ�26>��#>M)4OVS+>9^�,+*j2�:<T6S+FE)4TJ�AT�:C_N>POP*b:CFbgNxP^�,+*j2�:<T6S+FE)4TyxVz�m ]\m+�/�+�&�N�[xM�cm Y�m W|mH �b�\Q��bW|x{Q\)&KGL+36>UT6KM)/3�O-Fe�/�&�+�4�/ab�?>�]926>G*bT6,/gNx+@[OV,/T6KG>+m

Page 7: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

MqR T e fkb�]_MOZ5`\fnwo]\yONQ}lfkw�Pt]\R~ [ ��Z5xlf�^H}S�o�c¡Q���|��y�� w rSNQZaw�P�fl]\mxWXfkwxf Rwxf0T R ~M^�Rbd}lNQw�`dmxWXT Pw NQw "����!��� � �YNlw [ fkw�Pxm R m�`dP�mx` r P�bc`vxlf�m�WXNlP�f w Nlw TY`d~X`dT RX] T|R,�X`dT R R~ [ T ft[ `iR~XP"m�W\R m R w�frSZXPxm�NQT�s�T|RQ[ f w NQwzR�Pxe\for ` � r"P�`dm�Z\R m�`dNQ~ u�WX`dbdf0Nl~Xbv^�w�f�u ����� � �!"�����P�fnbcftrSm�`dNQ~ Rbd}lNQw�`dmxWXT PRwxf�x ~XNmu�~�]XNew�u�WX`irxW$m�Waf TYNQP�m�~XNlm Rm`abcfI`cP�� ZX`ir_x PxfkbdforSm}�RbdP�Nx ~XNmu�~ R Phg+�_�#� }�M�N_R w�f} �t��§X�,�_�$yH��WXf�Rbd}QNlw�`dm�WXTY`ir�`d~ m�fkwxfkP�m$`d~X`aZ\r|xQfkm|P�Nlw�mx`c~a}�`dP mxW\Rm0w Nlw P�NlT f0~uR � NQw�PY`dm�PR � fkwSR}lf ` fkW\R � `dNQw�`dP �'}P�P��y ��WXf$T|RmxWXfkT R m�`irkR b�P�`i[ f|Nmw0mxWXf$P�mxZ\[N^A`dP�T Nlm�` � Rmxfo[ `N^m�WXf|ReXe foR w R~ rSf|Nmwq~Xf�u mJ^_e fkP�Newqw�forSZaw�w�fn~\rSf$foslZ\R m�`dNQ~aP R ~\[ mxWXf wxfoRPxP�ZXwSR~\rSf<}_R`d~Xft[w w�NlT+eXw�Nc`\Rm`X`dbd`dP�mx` r�R ~\Rbv^ P�`dP�mxW\Rm�m�WafkP�f0Rbd}lNQw�`dmxWXT P�W\R � f }QN NX[ R � fnw R}lfz`\fnW\R � `cNlwBR ~\[ Rw�foR P�Nl~\Rm`Xbdf0[ fk}lw�fkfINmwJr NQ~\rSfn~_mxw R m�`dNQ~ R w�NlZX~\[|R � fkwSR}lf�y

��WXfq[ `u�ufnw�fk~\r f ` fkmJu�fkfk~ � Rw�`dNlZXP+~uR � Nlw�P�NmwP`XZ\r|xQfnm�`d~X} R bc}lNQwx`cmxWXT P�`dP `d~�mxWXfqrxWXNQ`irSf�Newm�WXf�~_ZaT`\fkw�Nmw5`XZ\r|xlfkm�P�R~ [z`d~�u�W\Rm�m�WXf$^ [ Nq`d~zm�Waf�`XZ r_xlfkm�P,y���~0NQ~af�~uR � NQwt]���� " �� � � � ��� �� ����� �� ������\]=xQf$^_PzRwxf [ `dP�mxw�`v`XZXmxfo[$N � fkwhR biRw�}lfz~_ZaT`\fkw Nmw�`XZ\r|xlfkm�P,y#��~ R ~XNQmxWXfkwI~uR � NQwo]������� �!� ����� �� ������\]�R|w�ftrSZXw�Px` � f$Rbd}QNlw�`dm�WaT ]\R � �Xfo[�~ ZXT`\fnwhNew#`XZ\r|xQfnm�P"`cPIZXP�fo[�y�} ��WXfm�fkwxT P � �Xfo[�R~\[�biRwx}Qf R w�fu�`dm�W wxfkP�e forSm�mxN ��]�mxWXf ~ ZXT` fkwzNmw#xlf�^ P0m�N `\fYP�NQwxm�fo[%]�RP�#"%$Sy �

q f P�W RbdbB[ fk~XNQmxf|m�WXf|~ ZXT` fkw New#`XZ\r|xQfnm�P�`N^'&]�u�Wa` rxW�T R,^�NQw"T R,^$~XNlm [ fke\fn~\[NQ~"��y�� N"ZX~X`�wC^�mxWXfzm�wxfoRmxT fk~ m�RQrSwxNQP�P m�WXf � R w�`dNQZXP ~uR � NQw�Pt]Nu f0R P�P�ZaT fzm�W\R m � xQf$^_PqR w�f[ w R,u�~ w w�NlTHm�Waf��O~X`�w NQwxT¨,¨o}��a]d�)(_y gXwxNQTHR eXw�Nc`\Rm`a`cbd`dP�mx`ir�P�mSR~\[ e NQ`d~ mo] m�WX`dP�RPxP�ZXTYeXm�`dNQ~I`cPfoslZX` � Rbdfk~ m�m�N�m�Waf0}Qfk~afkw R b�WN^ e\Nlm�WXfkPx`dPqm�W Rm�ZX~\[ fkw�bd`dfkPqW RP�Wa`c~a}�P rxWXfkTYfkPqR~\[|RlrkrSNQwS[ `d~X}m�NIu�WX`ir�W���}QN NX[ ��W\R P�W�w ZX~\r m�`dNQ~XP�f��X`dP�m�m�Nz[ `dP�m�wx`v`XZXm�f%xQf$^_P�[ w R,u�~ w w�NlTCP�NQTYf�[ NQT|R`d~�}�NQweXw�Nc`\Rm`a`cbd`dmJ^ [ `dP�mxw�`v`XZXmx`dNQ~o�OZX~X`�w NQwxT bv^�N � fnwhR�W RP�W<m Rm`abcfcyz��WXf0ZX~X`dm `c~ mxfkw � R b `dPz[ ` � `i[ ft[`d~_mxNhRz~ ZXT` fkw�Nmw foslZ\R bcbv^zbdNQ~X}z`d~ m�fkw � RbdP%}��+*o�-,�&.(/*$} ��,0&�*S��,�&.(�*�1 1-1D}_}�&32$�U�.,�&�*t�)(�],u�WXfkwxf4&�`cPR ~_ZaT`\fkw�mxN�`\f�Pxe\ftrS` � fo[YbiRm�fnwUy���WX`d~5x0Nmw�mxWXfkPxfq`d~ m�fkw � RbdP�RP�`d~\[ ft� ft['w wxNQTHbdf�w�m mxN0w�`d}lW_m`N^ �0* �+*�1-1-1�*5&myI��~ Rbdb `XZ r_xlfkm�`d~X}0~uR � NQwxPo] Rxlf�^76L`dPqmxWXw�Nmu�~�`d~ m�N mxWXf98�& 6;:omxW¦`aZ\r|xQfkm,y��WX`dP `dP�Nl~XfzmJ^_e f0NewJR ������� �� ������=<)��� �)� ��><��+y

gXNlw m�WXf�wxfkP�m�New mxWXf�e\R e\fnw u�f�P�W\R bdbZXP�f�m�WXfiw NQbdbdNmu�`d~X}�P�m R ~\[XR w [z~XNlm R m�`dNQ~ y � `X`d~XNlT `iRbw R ~\[ NQT � Rw�`iRe`XbdfqNQ~ �<m�wx` R bdPqR~\[Yw R m�fzNmw�PxZ\rkrSfkPxP4?|e fkwqmxw�`iRb `dPq[ fk~aNQm�ft[ `N^=@'}P�A*>?=�+�\R^�NQ`dP�PxNQ~ wSR~\[ NQT � R w�`iRm`Xbdfzu�`dm�WYe\RwSRTYfkm�fkwCB0u�`dbcb=` f rnRbdbdfo[ED}�B=�+�am�WXfz~XNlw�T|RbXwSR~\[ NlT� Rwx` Re`Xbdf�u�`dm�WATYfoR~GFHR~\[ � Rwx`iR~\rSf7HJI|`dP [ fn~XNQmxfo[X`N^LKS}>F�*)HJIU�$y £�NQ~ � fkw�}lfk~\rSf�`d~[ `dP�mxw�`v`XZXmx`cNl~ `dP [ fk~XNlm�fo[ `N^NM2O" ]+u�WXfkwxfoRP�ft�aRlrSm"foslZ\Rbd`dmJ^ `d~�[ `dPxm�w�`v`XZam�`dNQ~ `dP�[ fk~XNlm�fo[`N^ MP y ��WXwxNQZX}lWXNQZamo]+u f�PxW\Rbdb�wxf�w fkw"m�N$mxWXf rSNl~ � fkw�}lfk~\rSf|`d~ [ `dP�m�wx`v`XZXm�`dNl~ mxN R|~XNlw�T R bbiR,u R PqR�rSfk~ m�wSRb�bc`dTY`cm�w�fkPxZXbdmo]5u�Wafkw�f r NQ~ � fkwx}Qfk~ rSf0`d~$[ `dP�m�wx`v`XZXm�`dNl~ `dP�ZXP�ft[|`d~ m�Waf0ZXP�Z RbeXw�Nc`\Rm`a`cbd`dmJ^|P�fk~aP�f NewOr NQ~ � fkwx}Qfk~ rSf R m rSNQ~ mx`c~ ZX`dmJ^|e NQ`d~ m�P0NewBmxWXf [ `dP�mxw�`v`XZXmx`cNl~Hw�ZX~\rSmx`cNl~ y��W ZXPzw Nlwzf��\RT eabcfl]\R�PxfoslZXfk~\r f Nmw�w R~ [ NQT � R w�`iRm`XbdfkP P R m�`dP � fnPRQTS M2U"VKS}��+*o�,�k]=u�WXfk~w NQw�foRlr�W7W+�

bd`dTS�XRYLZE[ Q S#\ W^]_" �` ��ab9cd Yfe dOg>h.i IJj�k 1

��WXf Nle\fnw RmxNQw!lnm S (Bft� mxw RlrSm�P�mxWXf�� mxW�rSN f/� rS`dfk~ m"NmwhR<}Qfk~afkw R m�`d~X} w Za~\rSm�`dNl~ y$��WXf"� m�WW\RwxT Nl~X`ir�~_ZaT`\fkwCo Sp�qsr ��,ut `dPq[ fk~XNlm�fo[ `M^#v S y

��WXfze\Re fkwq`dP�Nlw�}_R ~X`��kfo[$R P%w NQbdbdNmu�PUy���WXf0PxfkbdforSmx`cNl~$eXwxN�`XbdfkT eXw�ftrSfo[ fkPIP�NQwxm�`d~X} R P�`cm`dP�e\fkwxW\ReaPhmxWXf"T NQwxfz`c~ mxfkw�fkPxm�`d~X}YeXw�Nc`XbdfkT�`\Nlm�W$T|RmxWXfkT R m�`irkR b bv^ R ~\[|Rbd}QNlw�`dm�WaT `irkRbdbv^�y� forSmx`dNQ~ �"`dPh[ f � Nlm�fo[<m�N`XZ r_xlfkmzP�fkbdfor m�`dNQ~�]=u�WXfnw�f�R�}Qfn~Xfkw R b+w ZX~\rSmx`dNQ~\R b�foslZ\R m�`dNQ~ � Rbd`i[w NQw�Rbdb:~uR � Nlw�P�`dPq[ fkw�` � fo[Py��zu�N PxZ5`XP�ftrSm�`dNQ~aPqNmw�� forSmx`dNQ~$�0Pxe\ftrS`iRbd`��kf0m�Wafheaw�N�`abcfnTEm�N"`dm�P� Rwx`cNlZXPP~ R � NQwxPU� � Z5`XP�ftrSm�`dNQ~ �:yd��`dPPw Nlw�m�WXf�R~\R bv^_Px`dP�Nmw � `dP�m�wx`v`XZXm�` � f�� fkbdforSmx`dNQ~0} `d~\rSbdZ\[ `d~X}

Page 8: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

`dm�P�w�ftrSZXw�Px` � f'~uR � NQw��%u�Wafkw�f�R rSNlT e NQZX~ [ ^�Nl`cPxP�Nl~$bd`cTY`dm�`dPq[ fkw�` � fo[ ]�R ~\[ � forSmx`cNl~ �:y �"`cPw NQwzmxWXf R ~\Rbv^ P�`dPzNmwqyqRl[ `��¦� fkbdforSmx`cNl~�]+u�WXfkw�f R|rSfn~_mxw R b bd`dT `dm�m�WafkNQwxfkT4`cP0[ fnw�` � fo[�u�`dmxWe\fnw�`dNX[ `ir%~\Z\r m�Z\R m�`dNQ~XP�`d~�m�WXfzTYNQT fn~_mxP�Nmw�m�WafhrSNlP�mUy���WXfqTYfkm�WaN ["New�eXw�N New w Nlw mxWX`dP rkRPxfeXw�N � `i[ fkPqR � wxP�mqft�aR T eXbdf�NewJe fkwxm�ZXw|`\Rmx`cNl~|Nmw y�`irSf�� P�`d~_mxfk}QwSRbJy

� forSmx`cNl~ bIm RexQfkP�ZXe�`aZ\r|xQfkm�PxNQw�mx`d~X} `d~Ym�WXf P RTYf�NQwS[ fkwJ[ RI}Qfk~afkw R bPw ZX~ rSm�`dNQ~ Rb foslZ\R,sm�`dNQ~Y`d~ m�Wafh`d~ m�wxNX[ Z\rSmx`cNl~|Nmw mxWXfzP�for m�`dNQ~$`dP%w NlbdbcNmu�fo['`N^�mJu�N�P�Z5`XPxforSmx`cNl~XPU�%b5yd� `cP w Nlw�m�WXfR~\R bv^_Px`dPqNmw � `dP�mxw�`v`XZXmx` � f� NQwxm} `d~\rSbdZ\[ `c~a} `dmxPhwxforSZXwxP�` � f0~uR � NQw��hR ~\[�� forSmx`cNl~;b:y � `dP�w NQwm�WXfqR ~\Rbv^ P�`dP�Nmw�yqRQ[ ` �©� Nlw�m,y�gXNlwJR bdbM`aZ\r|xQfkm�PxNQwxm�P�[ `dP rSZXPxP�fo[%]XrSfk~ m�wSRb bc`dTY`cm mxWXfkNlw�fkTYPJR w�fw NQZa~\[ u�`dm�W$e fkwx`cNX[ `ir�~\Z rSm�Z\R m�`dNQ~aPh`d~$mxWXf"T NQTYfk~ m�P�NewByqRl[ `�� � NQw�m,y � bcmxWXNQZa}QW rSfn~_mxw R bbd`cTY`dm m�WXfkNlw�fkTYP�u�fkw�f�~XNlm�x ~XNmu�~` f�w NQwxf�`d~�m�WXfqrSNl~ m�f��Xm�NmwP`XZ\r|xQfkm�P�Nlw�mx`c~a}\]mxWXfqTYfkm�WXNX[ PNmw�R~\R b ^ Px`cP�Rwxf0rSNQ~X~aforSm�ft[$mxN�P�NQTYfhrSbiR P�P�`irkR b�RPzu�fkbdb�wxforSfk~ mhR ~\Rbv^ P�fnP�`c~|mxw�`dfkP�} p RQrkslZXfnmR~\[<y|{fk}l~X`dfkw�}S�o�Q�l���|�qR~ [|W\RPxWX`d~X}�u�`dmxW$bd`c~afoRw eXw�Nc`X`d~X}H}�g�biRkj NQbdfkmo] ^�N�`abcfnm�f�R~\[ � `dNQbiR} �t�Q�Q�c�_�$y���WXfnw�f�w Nlw�f0NlZXwqRwx}QZXTYfk~ m�P�`d~ � for m�`dNQ~Hb'u�`dbdbo` fzP_xQfnm rxWN^My%� forSmx`cNl~ d rSNl~\rSbdZ\[ fnPu�`dm�W R�[ `cPSrSZXPxP�`dNQ~ y�A� � �in[� � j � ��� � nmj[���e�

q f R w�f"}Q` � fk~ R~�ZX~XPxNQwxm�fo[ R w�w R,^<Nmw � fkbdfkT fk~ mxP R ~\[�R wSR~5x���� [ ��*-1-1�1.* �s] R~ [u f�u�`cPxW$m�NY`i[ fk~ m�`�wC^Ym�WXf"~ ZXT fkwx`ir�xQf�^$R T NQ~a} mxWXf�� [aRm R�u�`dm�W|w R ~5x�$] `Jy f�yd]XmxWXf� m�WNQwS[ fkwqPxm R m�`dP�mx` rey�� ZXeXe NQP�f�� p `cP m�WXfIP�W\R w�f0NewJmxWXf�tm�WH`aZ\r|xQfkmt]t P �0*�1-1�1.*5&ey���~ [ fkwqNlZXweXw�Nc`\Rm`a`cbd`dmJ^0RPxP�ZXTYeXm�`dNQ~�]omxWXf�P�W Rw�fnP � r *-1�1-1)*����JW\R � f�R�jSNl`c~ m�T�ZXbdm�`d~XNQTY`cR bQ[ `dP�m�wx`v`XZXm�`dNl~NQ~ � mxw�`iRbdP R~ [ w R m�f$NewhPxZ\rkrSfkPxP���,0&�e fkw mxw�`iRb%w�NQw�foRlr�W¤`XZ r_xlfkmUy ��~Ae\Rwxm�`irSZXbiRwt]�m�WXf[ `dP�mxw�`v`XZXmx`cNl~ NewJR~N^Y`c~ [ ` � `i[ Z Rb5`XZ r_xlfkmU� P P�W\R w�f0`dPC@'}V�A*t��,0&���y

� `XZ\r|xlfkm|P�fkbdforSmx`dNQ~CRbd}QNlw�`dm�WXT7m�Wafk~ r NQ~ m�`d~ ZXfkP|`dm�PYP�foR w rxWXw�NQw mxWXf [ fkP�`dwxfo[ NQwS[ fkwP�mSRm�`dPxm�`irI`M^ r NQ~XPx` [ fkw�`d~X}Ym�WXf�xQf$^_P�`d~|m�Waf `aZ\r|xQfkm `c~ [ f��Xfo[���]{w NQw�R~|`d~\[ ft����PSRm�`dP wC^ `c~a}

� r���������� � p d r�� � \ � r���������� � p � }S�U�`d~_mxfkw�eaw�fkm|R�P�ZXT)RP���u�WXfn~ `dm�`cP�fnT eXmJ^Ny ��m�PxWXNQZab [ ` f$~XNlm�fo[AmxW\Rm �)<��O��� ��><��O���zNl~m�WXf"P�`��kf"Nmw�m�WXf`XZ r_xlfkm0rSNQ~ mSR`d~X`d~X} mxWXf�[ fkP�`dwxfo[�NQwS[ fkwzP�mSRm�`dPxm�`ir] mxWXf�w R ~5x|Nmw mxWXf�NQwS[ fkwP�mSRm�`dPxm�`ir `cP�P�mx`dbcb Za~X`�w NQwxT bv^ [ `cPxm�wx` `aZXm�fo[YNl~ mxWXfzP�`��kf0New mxW\Rmz`XZ r_xlfkmUy���W Rm�`dPo] `�w mxWXf�tm�W`XZ\r|xQfnmo]Nu�`dm�W�Px`p�nf�� p ]_r NQ~ m R `c~aP mxWXfh[ fnP�`dw�fo[YNlw [ fkw�Pxm R m�`dP�mx` r ]XRzP�Z5`aP�foslZXfk~ m P�foR w rxW|bcN Ncx_Pw NQw�R"ZX~X`�w Nlw�TYb ^"[ `dP�m�wx`v`XZXm�ft[ wSR~5xYN � fkw�mxWXf0Pxfkm [ �0* ����� * � p ]My

��~ rxWXN NQPx`d~X}$R|biRw�}lf ~ ZXT` fkwR&INmwz`XZ\r|xQfkmxP RY~\RmxZXw R b � RbdZXf"`dPT& P ��y ��WXf rxWXNQ`irSf&�! � u�`cbdb ~XNlm�WXfkbde$T�Z\rxW|RP�`dm�}Q` � fnP�P�f � fkw R b fnT eXmJ^`XZ r_xlfkm�P,y���WXf0rxWXNQ`irSfE&�" � u�`dbcbbdfoRQ[ m�N�T Nlw�fzrSNQbdbd`dP�`dNQ~XP,y���Waf0`i[ foRI`c~7& P �<`dP�m�W\R m�NQ~$R � fnw R}lf0R'`XZ\r|xQfkmqr NQ~ m R `c~aP�NQ~XfxQf�^NyPq Wafk~�m�WXfzrSNQwxw�for m�`XZ r_xlfkm�rSNQ~ m R `d~X`d~X}qmxWXfh[ fnP�`dw�fo[ NQwS[ fkw�Pxm Rmx`dP�m�`ir�`dP�`i[ fk~ mx` � fo[ ]lm�WXfeXw�NXrSfnP�P�m�WXfk~�mxfkw�TY`d~\RmxfkPU� mxWXf�NQ~ab ^�xlf�^ `d~"m�WXfz`aZ\r|xQfkm�T�ZaP�m ` f�m�Waf#��m�W�Nlw [ fnw�P�mSRm�`dPxm�`irmy^�w�Nc`\Rm`a`cbd`dP�mx`irkRbdbv^_] � fnw_^Iw f�u xlf�^ PPw�R bcb`d~0mxWXf rSNlw�wxforSm�`XZ\r|xQfnmJR ~\[ fk`dm�WXfnwJROw�for ZXw�Px` � fBRlrSm�`dNl~NQw P|u�`cmSrxWX`d~X}�m�N�PxNQT f�Nlm�WXfkw�P�fkbdfor m�`dNQ~ R bd}QNQwx`dm�WXT PxWXNQZab [ bdfoRl[qmxN�w R m�WXfkw�w�RPxm�mxfkw�TY`c~ Rm�`dNl~ y��WXf�`XZ\r|xQfnm�`d~X}�NQe fkwSRm�`dNl~ `dP�e\fnwJw Nlw�T ft[�NQ~|mxWXfz`c~a`cmx`iRb bc`dPxm�Nmw�xlf�^ Po]am�WXfk~0w NlbdbcNmu�fo['`N^ RP�mxN rxW\R P�mx` rnRbdbv^ P�T|Rbdb ~ ZXT` fkwqNew NQe fkw R m�`dNQ~aPUyI��~$m�WXf"w�ftrSZXw�Px` � f'~uR � NQw�m�Waf R bc}lNQwx`cmxWXT `cPReXeabc`dfo[ u�`cmxWX`d~ mxWXfz`XZ\r|xlfkm�P�R,w mxfkw�w�fkPSrkRbd`d~X}0`d~ m�fnw � Rb bdfk~X}lm�WXP u�`cmxWX`d~ ftRQrxW�w�for ZXw�Px` � fhrkR bdb�y��~�R$[ `dw�ftrSm wxforSZXwxP�` � f|`dT eabcfnT fk~ m R m�`dN~�] m�Wafkw�f$Rwxf�WXNmu�f � fkw"w R w�fY`c~aP�m R ~\rSfkP'u�WXfkwxf|m�WXfRbd}QNlw�`dm�WaTHm RexQfkP�RzbdNQ~a}0m�`dT fl]NQw�f � fk~|e NQP�Px`v`Xbv^ `d~ � ~a`cmxfkbv^ T|R~N^0Nle\fkwSRmx`cNl~XP�m�N0e fkwJw�NQw�Tm�WXf�[ fkP�`dwxfo[Am R P_xPy }���WX`dP�P�`dm�Z\R m�`dNQ~ R w�`dP�fkPYNQ~Xbv^�` w0`d~ � ~a`cmxf|eXw�for `cPx`dNQ~ `dP R � R`dbiRm`abcf�w NQw

b

Page 9: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

xQf�^ P[��`d~$eXwSRQrSmx`irSf � ~X`dm�f�eaw�forS`dPx`cNl~ `dPzZXPxfo[ R~\[<`d~ � ~X`dmxf wxforSZXwxP�`dNQ~ u�`dbdb�~Xf � fkw0W ReXe fk~ y �� `XZ\r|xQfnmhPxfkbdforSmx`cNl~ [ `dP�mxw�`v`XZXmx`d~X} mxWXf���xQf$^_P N � fkw�& P ��`XZ r_xlfkm�P0R m�m�WXf � w�PxmqPxm�fke�u�`dbcb`\f"rkRbdbdfo[|R;��� "! �� � � � ��� ��� � � �!�! ��><���Rbd}QNlw�`dm�WaT¦y��qNc`\NlP�`df�u�`ir/��� P P�NQwxm�`d~X}|Rbd}QNlw�`dm�WXT }�R~\[m�WXfzPxfkbdforSm�`dNl~ Rbd}QNlw�`dm�WaT [ fkwx` � fo[�w w�NlT `dm���R � NQ`i[ P�`d~ � ~X`dmxfhwxforSZXwxP�`dNQ~ `M^|RQ[kj ZXP�mx`c~a}�}�R~\[w�foRl[kjSZXPxm�`d~X} u�`dm�WX`d~$ftRQrxW w�for ZXw�Px` � f rkR bdb �Om�WXf` NQZa~\[XRwx`dfkP0Nmw�m�WXf�}l` � fk~�`c~ mxfkw � R b mxN|m�WXfw R ~X}Qf0New m�Waf [XR m Ra]\mxW ZXPzfk~XP�Zaw�`d~X} mxW\RmzmxWXf TY`d~X`dT ZXTER ~\[|T R �X`cT"ZXT u�`dbdbPw�R bcb�`d~$mJu N[ `u�ufnw�fk~ m#`aZ\r|xQfkmxP&��R m�bcftRP�m NQ~Xf�xQf�^|`dP�w�fkTYN � fo[|R mqf � fkw_^|w�ftrSZXw�Px` � f"bcf � fkb�}QZ Rw R ~ m�fkfk`d~X}� ~X`dm�fn~XfkP�P,y

� w�ftrSZXw�Px` � f%~uR � NQwPu�`dm�W R � �Xfo[I~_ZaT`\fkw�Nmw5`XZ\r|xlfkm�P�T R,^I`\f�Reae\foR bd`c~a}z`\fornRZXPxf�NmwX`dm�PfoRPxf�Nmw�`dT eabcfnT�fk~ m Rmx`dNQ~ ys���0��� ��� ��� �!�� ��><���ZXPxfkPqR � �Xfo["~ ZXT`\fnw & P @ Nmw `aZ\r|xQfkmxPUy���WXfT fkmxWXNX[0T|R,^�` fqfkPxe\for ` R bdb ^ R m�mxw RQr m�` � fzu�WXfn~�xQf$^_P�RwxfqPxm�NQwxfo[Y`d~ [ `d}Q`dm R bNw NQwxT RlrkrSNQwS[ `d~X}m�N"m�WXfn`cw f��Xe\R~aP�`dNQ~Y`c~|PxNQT fI`\RPxf} wSRQ[ `��o�k]Nu�`dmxW m�Waf�`X`d~\Rw|^�f��Xe\R~aP�`dNQ~ ` fk`d~X}�m�WXfIT NQPxmmJ^ eX`irkRb Rm m�Waf bdf � fkbQNew T|RQrxWX`d~Xf�[XR m R5y�q WXfk~0mxWXf�[ `d}Q`dm�P Nlw `X`dm�P�R w�f�w�foRl[ `dbv^hR � R`dbiRm`abcfl]Sm�WXf`XZ\r|xQfnm�`d~X}zNQe fkw R m�`dNQ~�T|R,^�`\f�Px`cTYeXbd` � fo[zmxN RQrkr fkP�Px`c~a} mxWXfz`X`dm�P�New%R xQf�^"NQw�m�NIW\RwS[Nu�`dw�fo[T Rlr�Wa`c~afhRwx`dm�WXTYfkm�`ir�PxZ\rxW R P�w�fk}l`dP�m�fnwhPxWX`�w m�`d~XP�mxw�Z\r m�`dNQ~XP,y���WXf0TYfkm�WaN [Y`dPqRbdPxN [ `dw�forSmxbv^ReXeabc`irkRe`XbdfqmxN ~XNl~Ns�~_ZaT fkwx` r [XRmSRX]XR P�`c~|PxfkbdforSm�`d~X}'w�w�NQT NQw�P�Nlw�mx`c~a}�� � � P�mxw R~ [ PUy

��~ RbdbqrkR P�fkPHu�f$PxW\Rbdbhr NQ~XPx` [ fkw|m�W\R m �)`dmxP�fkb�w `dP rxWXNlP�fk~ w R ~\[ NlT bv^�RQrkr NQw [ `c~a}�m�NR|ZX~X`�w Nlw�T [ `cPxm�wx` `aZXm�`dNQ~ Nl~�`dm�P�wSR~X}lf�y ��W ZXP ��`\ftrSNQTYfkP R$wSR~\[ NQT � Rwx` Re`Xbdf�� S P��~X`�w Nlw�T�¨ ld��1 1 �+(�] `d~\[ fke fk~\[ fn~_m"Nmw�m�WXfYP�W\R w�fkP0NewBmxWXf�`aZ\r|xQfkmxPUyY��WXfkw�f R w�f�mJu�N|w�foR P�NQ~aPw NQw�mxWX`dP0r�WaNQ`irSf�� � w�P�mz`dmqTYNX[ fkbdP�~\RmxZXw R bdb ^|mxWXf�u�R,^ mxWXf�Rbd}QNlw�`dm�WXT `dPqZXPxfo[<NQ~$wSR~\[ NlT`d~XeXZXmxP#}�Rzw R ~\[ NQTER w�w R,^�New [XRmSR R ~\[�RIw R~ [ NQT+w R ~5x�m�N�`\fzP�fnbcftrSm�fo[:�+� P�for NQ~\[ `cm�P�fnw � fnPRP�R~�R � fkwSR}Q`d~X} eXw�NXrSfnP�PUy���Wa`cP�R � fkw R }Q`d~X}qeaw�NXrSfkPxPo]l`c~ mxw�NX[ Z\rSft["`c~"U$RWXTYNQZ\[%]oU|NX[XR w�w�fnPR~\[�� T^ m�Waf�}S�o�Q�c ��n] u�NQw|x_P0R P R|P�TYN NQm�Wa`c~a} NQe fkwSRm�Nlw0N � fnw Rbdb�mxWXf � �Xfo[�rnRP�fnPUy|��WXfR � fkwSR}lfBrSNlP�m�Nmw m�WXf�wSR~\[ NQT `��kft[ rkR P�f `cP�mxWXfhR � fkw R }Qf�Nmw m�WXfzR � fkwSR}QfnP�Nmw m�WXf � � ft[ rkR P�fkPt]NQw�RE���5���O�T�� ���5�u� � Pxm R T e fo[�u�`dmxW�m�WXf�}lfk~XfkwSRb r�W Rw RlrSm�fnw New�m�WXf�`d~\[ ` � `i[ Z\R b � � ft[ rkR P�fkP,y� `dT `dbiRwxb ^Hu�f$rkR~ ft� eabcNlw�f$R�}QwSR~\[ � Rwx` R ~\rSf�y � ~Xf�rkR~Af � fk~ P�e foRex�New R ~ �SR � fkwSR}lf[ `dP�mxw�`v`XZXmx`cNl~��'u�WX`ir�W|`dP�m�Waf [ `dP�mxw�`v`XZXmx`cNl~ NewJmxWXfzw R ~\[ NQTY`��kfo[ r NQP�mt] R~\[Y`dPqR~$R � fnw R}l`d~X}Nmw Rbdb�[ `dPxm�w�`v`XZam�`dNQ~XP�New�m�WXf"`d~\[ ` � ` [ Z\Rb � �Xfo[$rkR P�fkP0R ~\[|`dP�`d~\[ `irkRmx` � fzNmw�m�Wafk`dwhrSbiRPxP�fkPzNeweXw�Nc`\Rm`a`cbd`dmJ^�[ `dP�m�wx`v`X`dm�`dNQ~XP,y

� m mxWXf�NQZXmxP�fkm�Nmw m�WX`dP�R~\R bv^_Px`dP u�f�u�wx`cmxfBR [ `dP�mxw�`v`XZXmx`cNl~\Rb foslZ\R m�`dNQ~ w NQw�Rbdb � fkwxP�`dNQ~XP�Newm�WXf�Rbd}lNQw�`dmxWXT¦yP� ZXeae\NlP�f�m�W Rm�u�`dm�WX`d~0mxWXfz`XZ\r|xQfnmJr NQ~ m R `c~a`c~a}qm�Wafq[ fkP�`dwxfo["NQwS[ fkw�Pxm Rmx`dP�m�`irRbd}QNlw�`dm�WaT�� ]�PSR,^_]�`dP"ZXP�fo[ m�N rSNQTYeXbdfkm�fYm�WXf|P�fnbcftrSm�`dNQ~+y;� ZaeXe\NlP�f$PxZ\rxW R~�R bd}QNQwx`dm�WXTe\fnwJw Nlw�T P�� p NQe fkw R m�`dNQ~XP�Nmw�PxNQTYf#x `d~\["m�N"P�Nlw�mqRzwSR~\[ NlTE`d~XeXZXm�NmwJt�xlf�^ PUy��Dw� `dP PxNQTYfP�mSR~\[XR w [YRbd}QNlw�`dm�WXT�]tm�WXfzNQe fkwSRm�`dNl~ `d~ slZXfkP�mx`dNQ~ `dP�mJ^ eX`irkRbdbv^ R"rSNlT e\R w�`dP�Nl~ NewJRze\R `dw NewxQf�^ P,y�\zfn~Xfkw R bdb ^� p `dPJR wSR~\[ NlT � R w�`iRm`Xbdf�W\R � `d~X}q`dm�P�Nmu�~"eXw�Nc`\Rm`a`cbd`dmJ^0[ `dP�mxw�`v`XZXmx`cNl~ y+q fW\R � fzmxN m RexQfz`d~ m�N RlrkrSNlZX~ mqm�Waf0e\NlP�Px` `abcf"[ `u�ufkwxfk~\rSf` fkmJu�fkfk~�m�WXf�`XZ\r|xQfkmx`d~X} Nle\fkwSRmx`cNl~�]u�WX`irxW mJ^ eX`irkRbdbv^�`d~ � NQb � fkPBR w�`dm�WaT fkmx` r PqR~\[YrSfk`dbdPqNQw%~ N_Nlw�Pt]\R~ [ mxWXfzNQe fkw R m�`dNQ~aPqNmw��©y �Dwu f�m Rmxlf�m�Waf ZX~a`cm�r NQP�m�mxN#` f mxW\Rm�Nmw\Rz`XZ r_xlfkm�`d~X} NQe fkw R m�`dNQ~�] ROP�`d~X}lbcf�NQe fkw R m�`dNQ~0New���T R,^rSNQPxm� %y � mJ^ eX`irkRb � R bdZXfzNmw� w NQwqr NQT e Rw�`dPxNQ~NsJ`\RPxfo[�PxfkbdforSmx`cNl~ R~ [ PxNQwxm�`d~X} Rbd}lNQw�`dmxWXT PNQ~$R�TYNX[ fkw�~�rSNQTYeXZXm�fnw�`cP��5yd��¨5�5y ��}�R�TYfoRPxZXw�fINmw�m�WXf"P�e fkfo[�New R rSNlT e\R w�`dP�Nl~ New�xQf�^ Pw�fkbiR m�` � f m�N�R�`XZ\r|xQfnm�`d~X}�NQe fkwSRm�`dNl~ RP�m�WafhW RP�Wa`c~a}ms�bc`vxlf�NQe fkw R m�`dNQ~|Rbdw�foRl[N^�rSNQ~XPx`i[ fkw�ft[5��y��~|w�forSZaw�P�` � f�~uR � NQwxP���u�`dbdbP`\f0mxWXf0PSRT fzRbd}QNlw�`dm�WaTEZXP�ft[ R m�m�WXf0mxNQe|bdf � fnb�P�fnbcftrSm�`d~X}|NQwP�Nlw�m�`d~X}'`N^ mxWXfzP RTYf#`XZ r_xlfkm�`d~X}�Nle\fnw Rmx`dNQ~XPt]X`Jy f�y� P ��y

¢ fkm�� S�`\f�mxWXf�~ ZXT`\fnw New2`aZ\r|xQfkmx`c~a}0NQe fkw R m�`dNQ~aP `d~ � Nlb � fo[z`d~"m�WXf�PxfkbdforSmx`cNl~ NewuRzw R ~5x

d

Page 10: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

� S P ��~a` w�NQw�T�¨ ld��1 1/�+(\R~\[ bcfnm�� p `\fzmxWXfz`c~ [ `irkRmxNQw�New m�Wafqf � fk~ m�} �U�$y���WXfk~�]cw�NQw`��� �X]� S MP �}�� r ����� � � I �� h � ������� � � ����� � �A* }����

R~\[ � � P �a]XR~\[ � r P �:y���WXf0slZ\R~ m�`dmJ^�ASH� P � r � � � � � I � � h ��������� ��� � � }Jb��

`dP�m�WXf"NQ~Xbv^YP�m�NXrxW\R P�m�`ir0r NQT e NQ~afk~ mqNmw�mxWXf rSNlP�m0R~\[|rkR eXm�Zaw�fkP0mxWXf0fkPxP�fk~ rSf�Nmw mxWXf0f��Xmxw RrSNQPxm�R,w mxfkw�m�WXf � w�Pxm�biR,^Qfkw�Nmwo`aZ\r|xQfkmx`c~a}oy+��~_mxw�NX[ Z\r f�m�WXf�eXw�Nc`\Rm`a`cbd`dmJ^z}Qfk~afkw R m�`d~X}zw�ZX~\rSmx`cNl~XP� S }��=� P �Rl����-( R~\[�� S }��o� P �Rl������-(_y� � ��� l ��� <������ ���

� S�}��=� P ��J& S d r

Y�p-qsr t�� p }��o�t}V� 2��,� S d p! � t�" 1

# �5<-<�$+y�£�NQZXeabcft[�u�`dmxW R�rSNl~\[ `dm�`dNQ~a`c~a} Rwx}QZXTYfk~ mo]X��slZ\R m�`dNQ~ }�b���}l` � fkP�ZXP� S=}��=� P �% �'&�(�(�( & % ') �*�+�,.- � DCSy��/0�21 � �43 �65 1 h �43 h 587�7�7 5 1 �43 :9 � r P � r *-1-1�1)* ��� P � �-* �LS P �<;

P �% �'&�(�(�( & % ) �� -�,.- % � DCSy�Rl�� � % � ( � �% ��&�(�(�( & % ) �% � +�,.- % � & % hD�Se� l�� � % h (

� ������� �% � &�(�(�( & % �) �% � & % h &�(�(�( & % >=�� +�,.- % � & % h &�(�(�( & % D S �Rl�� � % (/*

u�WXfkwxf#D S `dP�mxWXf|eXw�Nc`\Rm`X`dbd`dmJ^ Z [ � r P � r *-1�1-1)*�� � P � � * � S P �!]Ny;� ^�P|^_TYT fkmxw_^ ]m�WXf#& P�ZXTYP0Rw�fY`i[ fk~ m�`irkR bV��u�f rnR~ ZXPxf=& r NQeX`dfkP"Nmw�m�WXf � w�PxmUy�q f"W\R � f|RP�PxZXT ft[ �LSR~\[ m�WXfIP�W\R w�fkP Nmw�m�WXf�`XZ\r|xQfkmxPqmxN`\f0`d~\[ fke\fn~\[ fk~ mUyz�OP�`d~X}"m�WX`dPq`d~\[ fke\fn~\[ fk~\r f R ~\[Ym�WXfw�fkPxe\ftrSm�` � f"[ `dP�m�wx`v`XZXm�`dNl~XPo]:u f0Rwxw�` � f0R m

� S }��=� P & �? � 587�7�7 5 ? q S � r � l�� � % � ( �� r *�1-1�1.*�� � " �& SA@ �

P ��J& S d r

S�p-qsr t4� p }��=� � t " �? h 587�7�7 5 ? q S d p

}V�;27t��CB� I B�1-1-1 ���DB �

m�WXf"P�ZaT P0Rm` N � f"w�ZX~�N � fnw R bdb ~aNQ~Ns�~Xfk} Rm�` � f `d~ m�fk}lfkw0PxNQbdZXm�`dNl~XPqNewBmxWXfk`dw0[ f � ~X`d~X}<foslZ\R,sm�`dNQ~+yFEG4HJIKH ��� "! �� � � �� ��� � � ��� �!�� ��><��

��WX`dP � fkw�Px`cNl~S}Cu�`dm�W & P �P�INmw�`XZ\r|xQfnm�P�fkbdforSmx`dNQ~ `dP"foRPx`cfnP�m mxN�R~\R bv^?�nf u�Wafk~Am�WXfRbd}QNlw�`dm�WaTCP_u�`dm rxWXfkP�m�N"RzP�mSR~\[XR w ["PxfkbdforSm�`dNl~ Rbd}lNQw�`dmxWXT �Xu�`dm�WX`d~�R�`XZ\r|xlfkmUy��+�Xmxw RQr m�`d~X}

 

Page 11: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

m�WXf|rSN f/� rS`dfk~ m�Nmw � � w w�NlTLm�WXf|foslZ\R bd`cmJ^�Nmw�¢ fkTYT R<��u�WXfn~�Pxe\ftrS`iRbd`��kfo[�m�N�m�WXf|rkRPxf& P ���ZE[ � S P�� ] P �

� SY�

p�qsr t ZE[ � p P�� ]�}P� 2 �U� S d p� � t�" 1 }DdM�

��WXf mxfkw�T � d S }V� 2V�U� S d p�� S p�� P � d p } �;2 �-,6�P� S d p�� Sp� `dP�m�WXf eXw�Nc`\Rm`a`cbd`dmJ^Cm�W Rm@'}V�A*t��,��P� P tX]�u�Wa` rxW�w Nlw R ~N^ }l` � fk~9t rSNl~ � fkwx}QfkP�mxN e d r ,{}�t 2C�U�CB+`N^ m�WXfYP�mSR~\[XR w [ReXeaw�N,�X`dT Rmx`dN~ New m�Waf`X`d~XNQTY` R b�[ `dP�mxw�`v`XZXmx`cNl~$Nmw4@'}P�A*o�-,6�P� m�N;D} �,��y � m0R~N^ � �Xfo[ � ]e\RPxP�`d~X}"m�N�mxWXfzbc`dTY`cm }�RP��;"%$¤��}Q` � fnP ZXP

bd`dTS XRY ZE[ � S P� ] PY�

p�qsr Z [ � p P�� ] e d r}�t�2��,�CB 1 }J ��

��WXf�^�Nl`dP�P�Nl~0eXwxN�`\Re`X`dbc`dmx`cfnP Reae\foR w�`d~X}zNQ~Im�WXf�w�`d}QW m�W\R ~\[zP�`i[ f�`d~\[ `irkR m�f�m�W\R m mxWXf�~_ZaT`\fkwNmwBRl[X[ `dm�`dNl~\Rb�NQe fkw R m�`dNQ~XP"R,w mxfkwzm�WXf � wxP�m0bdf � fkb�New�`XZ\r|xQfnm�`d~X}$`dPzbd` xlf0m�Waf`\fkW R � `dNlwhNew��NQ~ D} �U�Iw R ~\[ NlT ~ ZXT` fkw0NmwzxQf$^_P,y � P"m�WXfYbiRP�mzbd`dT `dm�`d~X} rnRbirSZXbiRmx`dNQ~�`cPIm�w�Zafw Nlw R~N^� �Xfo[ � ]+u f|rkR~ ft� eaw�fkPxP�m�WXf` fkW\R � `dNQw0New � S P�`dTYeXbv^vR P rSNl~ � fkw�}lfk~\rSfY`d~�[ `dP�m�wx`v`XZXm�`dNl~} Pxfkf©£�W ZX~X}0} �t��¡mdN�_�$y� � � �ok � � ��� � ���� " ��� �!�� ��><��#<�$4� �5���O��<��T��� ��� < " � �;�5������$ �)<� �� <�� �}�L�)���O�0<� ����� "���E��� "! ���� ��� ��� � � ��� �!�! ��><��.�����< " �E���n��<���� �������� �� ��� � ������� �� �� � � ��"�� p < �����5� �� <�� " $�<���5���O��<�� " ��� �!�� �� <��L��� � ��� � <�$ " ��� � t�� ���� �)� ��5� �)< "! ���$! &���% ���� ���!"! C� ������ <�$ ������� �� ������"�� �� "�� �!"R�;� � �E� ������ �)<� � < � �3�<#C<�� "!"�<��L� ���"!.��� ����%" ��� " �T< $#!%$'&'&

� S M2U" ��(*) r,+ 5 r 1q `dm�WX`d~�m�WXf0`XZ\r|xQfnm�P'u fYT R,^|ZXP�f|R � fnw_^ P�`dTYeXbdf Rbd}QNlw�`dm�WaT ] f � fn~�R~ `d~Xf4� rS`dfk~ m Nl~XfQ]bd` xlf R$PxfkbdforSmx`cNl~ Rbd}lNQw�`dmxWXT>[ fnw�` � fo[ w wxNQTLmxWXf|P�mSR~\[XR w [ �� ��5��� �-� � ��� �!�� ��><�� �U<��! 0} Pxfkf� ~_Zam�W } �o�c¡�bc�_��y�}Cq f�[ N|~XNQm e\Rwxm�`irSZXbiR w�bv^ rkR w�f'w NlwhRY}QN NX[ R bd}QNQwx`dm�WXT `d~ mxWXf©`aZ\r|xQfkmxP`\ftrkRZXPxf©u�`dmxW Wa`c}lW eXwxN�`\Re`X`dbd`cmJ^�ftRQrxW rSNl~_mSR`d~XP�Nl~Xbv^ R�w f�uC~ ZXT` fkw�Nmw�xQf$^_P,y ��� fkbdfor m�`dNQ~P�Nlw�m#u�NQw|x Pz`M^$rxWXN NQPx`d~X}�P�Z\rnrSfkP�Px` � f�T `d~X`dT Ra]QR~\[<R�[ fkw�` � fo[$Rbd}lNQw�`dmxWXT w Nlw � ~\[ `c~a}�m�WXf� m�W Nlw [ fnw�P�m R m�`dP�mx`ir�`dP Nl~Xf mxW\Rm"P�mxNQeXP�wx`d}QW m R,w�m�fkw � ~\[ `d~X}<m�WXf � wxP�m � T `d~X`dT|R ] ZXP�`d~X}}V� 2��,� � }V� 2 �c� ��������� }V� 2 � ��r NQT e Rw�`dPxNQ~XP,y q Wafk~ �C`cP�m�Wa`cP�Px`dT eXbd`dP�mx` r�R bd}QNQwx`dm�WXT

�Rl��AS ( P db 1

� ~ R � fkwSR}lfQ]�bdfkP�P|mxW\R~AmJu�N�RQ[a[ `dm�`dNQ~\R bqrSNQTYe\Rwx`dP�NQ~aPu�`cbdbI`\f$~afkfo[ fo[ `d~Am�Waf¦`XZ r_xlfkmrSNQ~ mSR`d~X`d~X}0mxWXf0NQwS[ fkw�Pxm Rmx`dP�m�`ir0R ~\[�mxWXf R � fkw R }Qf0rSNQPxm�Nmw�m�Waf u�WaNQbdfzeXw�NXrSfkPxPq`dP�m�Wafk~

� l � S ( P � �db �/. } �,� 1

� `dT `dbiRwxb ^ ]��l5kl � S0(U" �Q�

b�§ I 1��Nlm�fqmxW\Rm�m�WXf � Rw�`iR ~\rSfq`dPk�*} �U��R~ [�[ N fkP�~XNQm�}Qw�Nmu¤u�`dm�W"��]_R WX`d}QWXbv^�[ fkP�`dwSRm`Xbdfzw�foRmxZXw�f`d~ Rbd}lNQw�`dmxWXT `ir�[ fkP�`d}l~ y

§

Page 12: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

gXNlw!� �!�����!" �� �;� �������! � ��� �!�� �� <���]%u�WXfn~ �V`dP�m�WXfH`aZ\r|xQfkmYP�fkbdforSmx`dNQ~ `dm�Pxfkb�whmxW\RmY`cPZXP�ft[ Rm�mxWXf � wxP�m|P�mSR}Qfl] mxWXf R ~\Rbv^ P�`dP�w�fnT R`d~XP�mxWXf$PSRT fcy M�Nmu�f � fkwH}DdM�'` forSNQTYfkP Rw R m�WXfkw `d~_mxfkw�fnP�m�`d~X}0w Za~\rSm�`dNl~\Rb foslZ\R m�`dNQ~<NQ~$[ `dP�mxw�`v`XZXmx`cNl~ w ZX~ rSm�`dNQ~aPUy%��~$m�Wa`cP ~uR � Nlwo]am�WXfNQe fkw R m�`dNQ~aP New �CRw�fzmxWXfkT Pxfkb � fkP%`XZ\r|xlfkm�`d~X}�Nle\fkwSRmx`cNl~XPo]Xr NQP�mx`d~X} Nl~XfzZX~X`dm�foRQrxWH} P �U�R~\[

� S 2 � M2U" � (�) r + 5 r 1��N"f��XeXbd`irS`dmqr�W Rw RlrSm�fnw�`��oRmx`dNQ~|Nmw�m�WXf0bd`dT `dm�`dPzx ~XNmu�~ y

gXNlw mxWXf � wxP�m�mJu�N TYNQT fn~_mxP�u�f rnR~|}Qfkm�}lN N [YReXeaw�N,�X`dT Rmx`dNQ~XP R P�w�NQbdbdNmu�PUy�� m R w�m�`d~X}u�`dm�WH}DdM�n]

�Rl � S (O2 � PY�

p-qsr t� l � p ( ZE[ @'}V�A*t��,��P� P t ]�1 }J§��

��N"f��\RQrSm P�NlbcZam�`dNQ~Y`cPzx ~XNmu�~�w NQw�mxWX`dP�w�for ZXw�wxfk~\rSf�y � ~$RP|^_TYeXm�Nlm�`ir�}QZafkP�PIu�`cbdb ~XNlmz`\fzNewT�Z\rxW|ZXP�f"fk`dm�WXfnwo]P` forkR ZXP�f�mxWXf �!� ��������� �� &� ��� "0W\R � f0T Nlw�f�u�fk`d}QW m�m�W R~�m�WXNlP�f"`c~<m�WXfm R `cb Nmw�mxWXfzP�fkwx`cfnPUyz��f � fkw�mxWXfkbdfkPxPo] RQrkr ZXw R m�f R eXeXw�N,�X`dT R m�`dNQ~aP rkR~ ` fzT RQ[ f�y

gXNlwqR � w�PxmhReaeXw�N,�X`dT R m�`dNQ~�NewJR � fnw R}lfkPo] wxfkeXbiRQrSfIm�WXf�`a`c~aNQT `iR bXeXw�Nc`\Rm`a`cbd`dm�`dfkPz`N^Ym�WXfbd`cTY`dm�` ~a} ^�Nl`cPxP�Nl~ eaw�N�` Rm`X`dbd`dm�`dfkP�RPzu�f [ ` [*w NQw�mxWXf0[ `dP�mxw�`v`XZXmx`cNl~|Nmw�� S `dm�P�fnb w��

bd`dTS X Y � � l � S�(32 � � PY�

p�qsr �Rl � p ( e d r}�t�2��,�CB 1

��WXf�P�fnw�`dfkP�rSNQ~ � fnw�}QfnP Px`c~ rSf$� l � p ( \ �-t0RP rnR~` fqeXwxN � fo['`N^�R~"foRP|^�`c~ [ Z\rSmx`cNl~ Nl~ }�§c��yq f rkR ~Am�WXfkwxf�w Nlw�f$f � R bdZ\Rmxf mxWXf|~ ZXT fkwx`irkRb � RbdZXfYNmwhmxWXf$Pxfkw�`dfkPt]�eXw�NX[ Z rS`d~X}�RP"T R ~M^[ `d}Q`dm�P�RPq[ fkP�`dw�ft[0w NQw�R~N^|RQrkrSZaw RQrt^My

�=k � � � l5k�� ��� ���7�� ���5�u� � �)< " <�$;� �!�����!" �� �;� ���!���! �U<��! "�� �� " � �!" ����7� "��� �� /< �� �� ��� � ��><��� l � S0( P � � b1 �a�Q�o�l�X�t��b� _1�1 1 � . }S�U��1

��^0R�P�`dTY`cbiR w\eXwxNXrSfkP�P%}�[ fkm R `dbcP�P�ZXeaeXw�fkPxP�fo[:��u f�rkR~0Nc`Xm R `d~hmxWXf�bd`dT `dm�`d~X} � Rw�`iR ~\rSf�[Xu�f� ~\[

� l:kl � S (U" �Q��1 bl�����ed�d �md41-1 1�1��~ R bcbzmxWXf�Rm` N � f � fkw�Px`cNl~XP|Nmw!��� "! �� � � � ��� � � ��� �!�� ��><�� }C` NQmxWCw�for ZXw�Px` � f�R ~\[ ~aNQ~Ns

w�for ZXw�Px` � fU�Iu f�rSNlZXbi[|W\R � fIf � fk~ rSNl~XP�`i[ fkwxfo[<P�forSNl~\[�NQwS[ fkw�} NQwzWX`d}lWXfkw�� ReXeaw�N,�X`dT Rmx`dNQ~XP`N^LD*}S�U�Im�N9@'}V�A*t��,��P� R ~\[A[ f � fkbdNQe fo[AR~�R P_^ T eam�NQmx`ir"f��Xe\R~XPx`dNQ~ w�NQw �Rl � S0( ]�R~AReNseXw�N RQrxW � w�Pxm PxZX}Q}lfkP�mxfo[`N^©\zNl~X~Xfkm%}S�o�Q�edM�$y gaNQw�f��\RTYeXbdfQ]rkRwxw_^ `d~X}0mxWXfqReXeaw�N,�X`dT Rmx`dNQ~XPNmw�m�WXfE� �!� � ��" �� � ��� "! �� � � � ��� � � ��� �!�� �� <��|NQ~afhPxm�fke w ZXw�mxWXfkwt]5w�NQw�R~N^ � �Xfo[;tX]

Z�� @�&�A* �� � P t� P e d rt�B �Q� 2 �

�6�� � � 2 t

�6� }�t�2 bc��� � �� �� I � 1� N\]

�Rl � S ( P � �

Y�p-q � �Rl � p ( e d r

}�t�2��U� B�� � 2�� �� ��� tN}�tR2 bc� � �

� � �� �� I ��� 1

¡

Page 13: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

� } R`d~�]\R bdb m�WXf"P�fkwx`dfkPz`c~ � NQb � fo[|R w�f rSNl~ � fkwx}Qfk~ m0R~\[<rkR~$mxWXfkwxf�w NQwxf`\f"rSNQTYeXZXm�ft[$RQrkr ZNsw R m�fkbv^�ZXe|m�N R ~N^ [ fkPx`dw�fo[|eaw�forS`dPx`cNl~�]N^ `dfkbi[ `d~X}

�Rl � S ( P � � b+1 �X�Q�t�Q�a�o��bc C1-1 1)2 ��1 ¡� a�o�l����§l�X��1�1�1� � �� �� I � 1

��WXf�bcNmu�fkw�Nlw [ fnw�m�fkwxT P�Rwxf�Nmw m�WXf%w�NQw�T �'}V� d p �k]�t P �+*�b+*�1-1�1 ] R~\[Im�WXfqr N_f4� rS`dfk~ m�P�Nmw��rkR~�` f [ fkm�fnw�T `d~Xft[ ] `�wBPxN$[ fkP�`dwxfo[ ]+`M^<T NQwxf fnb Re`\Nlw R m�f�rkRbirSZXbiR m�`dNQ~ y'��^ R|rSNQTYeXbdfkm�fnb ^R~\R bdNQ}QNlZXP�eXwxNXrSfkP�P�u�f0rkR~|N�`am R`d~|R"P�fkwx`cfnPqf��Xe\R ~XP�`dNQ~0w Nlw mxWXf � R w�`iR~\r f�yG4HJGKH ������� � " ��� �!�� ��><��

� P [ `dPSrSZXP�Pxfo[�`d~�mxWXf�`d~_mxw�NX[ Z\r m�`dNQ~�]+���0��� ��� ��� �!�� ��><���`dP R w�for ZXw�Px` � f � fkwxP�`dNQ~�New2`XZ r_xlfkmP�fkbdfor m�`dNQ~Xu�`dmxW R � �Xfo[ ~ ZXT` fkw�Nmw©`aZ\r|xQfkmxPUy+��N�R~\R bv^?�nf$m�WX`dP � fkwxP�`dNQ~�]Iu�fHuBR ~ m m�N[ f � fkbdNQe RP_^ TYeXm�Nlm�`irSPIw NQwIm�WXf�f��XeXwxfkP�Px`dNQ~�New ¢%fkT T|R$�'u�WXfk~'&"`dP R � �Xfo[ ~ ZXT`\fnwo] @P R,^ ]qRP � " $Sy ��m `dP|ZXP�Z Rbdbv^�mxWXf rkRPxf m�W\R m Nl~Xf [ f � fkbdNQeaP$}Qfk~afkw R m�`d~X} w�ZX~\rSmx`cNl~XPw NQw m�WXf"P�ftsQZafk~\rSf � S }��o�n] WXNmu�f � fnwh`d~$NlZXw0rkRPxfQ]�m�WXf"w�for ZXw�wxfk~\rSf|P�Za}Q}QfnP�m�P"[ f � fnbcNleX`d~X} R}Qfk~afkw R m�`d~X}�w ZX~\rSmx`dNQ~w�NQwk� � S }��o�n]_R P�`dm�`dP mxWXf0rSNQT`X`d~\R m�`dNQ~"m�W Rm�ReXe foRwxP�NQ~0`\Nlm�W Px`i[ fkPNmw�wxfoRwxw R~a}Qfo[ � fkw�Px`dNQ~ New mxWXfzf��XeXw�fkPxP�`dNQ~<Nmwi¢%fkT T|R0�cy�� N\]Nu�fq`d~ m�wxN [ Z\rSfzm�WXf�`X` � R w�`iRmxff��Xe\Nl~Xfk~ m�`iR b }Qfk~Xfnw Rmx`d~X}'w ZX~\r m�`dNQ~

�I}��s*)m�� PY�S q � � � S }��=� m S

�!B 1��m mxWXfk~ w NlbdbcNmu�P+w wxNQT ¢%fkT T|R"�Q]N`N^�T�ZXbdm�`deXbv^ `d~X}q`dm�P�mJu�N"P�`i[ fkPz`N^#m S R~\[YPxZXT TY`c~a}

N � fkw`� � ��} mxWXf0wSR~X}lfhNew � R bc`i[ `dmJ^"Nmw�m�WXf0wxforSZXwxw�fk~ rSfU�k]%m�W\R m

�I}��s*5mc� P @�� � � * �3m@ � f��Xe � �3mN}�@ 2��,�@ �� m{} �C2 �o��1

��WXfIw ZX~\r m�`dNQ~!mN} �_2 �=��ReXe foR w�PqmxN Rl[kjSZXPxm%w NQw�mxWXf�`\NlZX~\[XR w_^|rSNQ~\[ `cmx`dNQ~XP,yq f PxW\Rbdb�rSNQ~XPx`i[ fkw0mxWXf rkR P�f!@ P ��}�m�WXfYT NlP�mzeXw RlrSm�`irkR b rkR P�fw�NQw rSNlT eXZam�fkw [aRm R

`d~$m�WXf'w�NQw�TVNew�`X`dmzP�mxw�`d~X}QP���y"��WX`dPhrnRP�f�`dbdbdZXP�mxw R m�fkPzP�`dTYeXbv^ Rbdb�m�Waf�eXw�`d~\rS`deXbdfkPz`d~ � Nlb � fo[`d~ m�Waf R~\R bv^_Px`dPUy��+�Xm�fk~XPx`dNQ~$mxN�WX`d}QWXfkw�} � �Xfo[5�C@ w�NQbdbdNmu�P�m�WXfIP RTYfqwxNQZXmxf R~\[Ye NQPxfkPq~XNe\Rwxm�`irSZXbiR wB[ `u� rSZabcmJ^A� mxWXfzw�fkPxZXbdmzw Nlw }lfk~XfkwSRb @ `cP�Pxm R m�fo[|Rm�mxWXf0fk~ [ New mxWX`dP�P�forSmx`dNQ~ y

q fqP�mSRwxm#u�`dm�WYm�WXf0ftsQZ Rm�`dNl~�I}�� *)m�� P ��� � �s* �3m

�� e���� i I � mN}S� 2 �=� * }J¡��

q WXfk~ � P �Q]tm�Waf�w�fkbiR m�`dNQ~}J¡�� Px`cTYeXbd` � fkP R~\[zW RP�mxWXf�Nc` � `dNQZaP P�NQbdZXmx`dNQ~Rm e � ]R P�`dm P�WXNlZXbi[ ]}Q` � fn~ m�Waf r NQT`X`d~\R m�NQwx`iRbXNlw�`d}Q`d~ New mxWXf0eXwxN�`XbdfkT�yP��~ m�w�NX[ Z rSf RIP�Za`cmSRm`XbdfzT�ZXbdm�`deXbd`dfkw,�

� }�� *)m�� P e���� i I e�� h � i e������ i ����� P f��Xe �3m� 2 � " *

P�N0mxW\Rm��P}�� *)m��%� P �I}�� *)m��., � }�� *)m���PSRm�`dP � fkP�RzP�`dT eabcfnw w�ZX~\rSmx`cNl~\RbafoslZ\Rmx`cNl~�Nmw m�WXf w NQwxT�P}�� *)m�� P ���P}�� * �Om0,Q�c� ��� }��s*5mc�qmxW\Rm `dPhPxNQb � Rm`abcf�`M^<`c~ [ fkm�fnw�T `d~\R m�f r N_f4� rS`dfk~ m�P&��mxWXfk~m�WXfnw�f�w�fnP�ZXbdm�Rbdm�fkwx~\Rmx`d~X}�}C`XZXm � ~X`dm�fU� `X`d~XNQTY` R b P�ZXT4f��XeXwxfkP�Px`dNQ~XP�w NQw lnm S (��I}�� *)m��n]�R~ [

Page 14: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

m�WXfnP�f$Rwxf ~ Rm�Zaw Rb�rkR ~\[ `i[XRmxfkP'w Nlw R<m�wxfoRmxT fk~ m'`M^�yO`irSf�� P `d~ m�fn}Qw R bJy ��Waf rSN f/� rS`dfk~ mxP� � }��o� P� B-l m � ( �P}�� *)m���P R m�`dPJwC^

� � }��=� P � r d � � � � � }��=� � � � }��o��*u�WXfkwxf ��� }��=� P � B-lnm � ( � }��s*5mc� R ~\[ � }��s*)m�� P m{} �_2 �=�/, � }��s*5mc��y���W_ZaPo]XNl~XfzW\RP

� � }��=� P }.2 �,� � d r � } � 2 �o�� 2 � r d � � � �

� 2 ��" � d r *R~\[ � S }��=� P �

S��-qsr

�� " �

� 2 ��" S d �� � }��=� 1

��~XP�fnw�m�`d~X}�mxWXfzf��XeXw�fnP�P�`dNl~Hw Nlw � � }��=�k]:u fz}lfkm� SP}��=� P �

� �� 2 � " S d r S�

�-qsr �� " }/20�U� � d r � � 2 �

� 2 � r d � � � 1 }����

��~ e\R w�mx` r ZXbiRwo] � �,}��=� P � r }��=� P �l]XR~\[

� I }��=� P �3I� 2 � I * � � }��o� P � � }�� � �OI$�

}�� 2 � I ��}Dd�2 � � � * � }��o� P � }�� � �4�3I � d � � � �����}�� 2 � I ��}Cd�2 � � ��}�� 2 � � 1

�I`XP�fkw � f0mxW\Rm�ftRQrxW � S }��o��`dPqRIw R m�`dNQ~\R b=w w RlrSm�`dNl~�u�`dm�WYe\NlbcfnPqRmq� r d r i � f��XeP}�� � t�aJ, � ��w NQw� \ � \ ��] R~ [u�`dm�W [ fn}Qw�fnf rI �+}P� � �U�U2 �cyP��m `dP�Rm R ~N^ wSRm�f0rSbdfoR w�w�w�NQT }�����mxW\Rm�foRQrxW� S }��=��`cP�R~ Rbv^ m�`ir�`d~|m�WXf0[ `dP|x 9 � 9 \ ��1 d\�cy�+�XeXw�fkPxP�`dNQ~aPhbd`vxQf'}����qR w�f0~ Rm�Zaw Rb�rkR~ [ `i[XRmxfkPIw NQwqR"wxfkeXw�fnP�fk~ m R m�`dNQ~ � `iR"`d~ m�fk}lw RbdP�New

m�WXfzPxNms�rkRbdbdfo[|y�`irSf mJ^_e f�y%�qf � ~Xf0mxWXf�`\fkmSR�w ZX~\r m�`dNQ~ xQfnw�~Xfkb� SP}��U�z� P }V� 2 �,�CB

}S� 2��U�t}���2��U� ����� }V� 2��U� P}V�P�} � 2��U�

}P� � � 2��,� 1

��WXfk~�]�R P�PxZXT `d~X}|m�W Rm<� `dP0~XfoR w �l]+w NQwI`c~aP�m R ~\rSf 9 �;2C� 9 \ rr � ]�mxWXf Pxm R~ [XRwS[ m�WafkNQw|^}C`\R P�fo[YNl~ mxWXfzw�fkPx`i[ ZXf0mxWXfkNQwxfkT ��eaw�N � `i[ fkP

� So}��o� P 2 �� 2 � " S d r �

� � a b�

� 2 �� 2 � r d� � � SP}��U� j �0* }����

u�WXfkwxf�� `dP0RYe\NlP�`dm�` � fkbv^ Nlw�`dfk~ m�ft[ rSNQ~ m�NlZXw0mxW\Rmzfk~\r `cwSrSbdfkP"m�WXf�e NQ`d~ m�P���*-1-1�1)*/��`XZXm0~XNNQmxWXfkw Px`d~X}QZXbiR w�`dmJ^�New m�WXf<`c~ mxfk}QwSR~\[PyD��WXf$~af��Xm Pxm�fkeCrSNl~XP�`dP�mxP|`c~ f � RbdZ\R m�`d~X}¤}��c�`N^w�fkPx`i[ ZXfkP R w m�fnwqfk~XbiR w�}Q`d~X}Ym�WXf�rSNl~_mxNQZXw'}�P�fkf g�biRkjSNlbcfnmhR~ [H� fo[ }lf�u�`ir|x } �t�Q�� c�%w NlwhR ~$f��Nse\NlP�`dm�`dNl~�Nmw0mxWXf$}Qfn~Xfkw R bzm�WXfkNlw_^5��y ��WXf w�RQrSmxNQw�New � S }��,��`d~Am�WXf<`c~ mxfk}QwSR~\[AW RP�e NQbdfkPRm

� � }��=� P bd~B� � � � � abd~�� 2 bc~ � 1

�+�Xm�fk~ [ `d~X} mxWXf|`d~_mxfk}QwSRb�`d~�m�Waf ZaP�Z\R bzuBR,^ mxN R<biRw�}lf rSNl~ m�NQZaw�m�WXfk~¤^ `dfkbi[ P�R~�ft�aRlrSmw�fkeaw�fkPxfk~ m Rmx`dNQ~

� S=}��=� P �� 2 ��" S d r � 2 �

bd~o}���,K�o� Y��-q d Y � S � � � }��=� � 1 }S�U���

Page 15: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

� P �!"G�l]\mxWXf0mxfkw�TYPhrSNlw�w�fnP�e NQ~\[ `d~X}|mxN ���P ��`d~|m�WXf"P�ZaTVm�fk~\[vm�N [ f � ~X`dm�f"bd`dT `dm�Pu�WX`dbdf mxWXf�^�Rwxf T�ZXbdmx`ceabc` fo[ `N^ R0w�RQr m�NQwINmw � 2 �+yY��W_ZaPo]�m�Waf [ NlT `d~\R~ mzrSNQ~ m�wx`v`XZXm�`dNl~`d~H} �,��� rSNQTYfkP%w w�NlTEm�fnw�T Pqr NQw�wxfkP�e NQ~ [ `d~X}|m�N � P �5y���WXfkwxfQ]=u f0W R � f � � } �,� P ��u�WX`dbdfm�WXf'w�RQrSmxNQw

}S�42 � � }��=�_�zrkR~ rSfkbdP NlZXm�u�`dm�W } � 2 �=�k]�P�N|m�W\R m�u�f Nc`Xm R `c~�]�RP0ft� e forSmxfo[ ]

bd`cT�X r � SP}��=� P �cy��WXfzP RTYfzbc`dTY`cm�eXwxNXrSfkP�PzeXwxN � ` [ fkP�~Xf��XmqmxWXf � R bcZafqNmw�mxWXf0R � fkwSR}Qfl]e�Rl � S (�� P ���S } �,�k]

~\RTYfkbv^_]�Rl � S ( P �6� 2 b

� �v S d rbd~�� 2 �

bd~q� �������� ���

� S } � � ��* � ��� � � }S�U� P � �� � � abd~B� 1

��^YP�mSR~\[XR w [|RP|^ T eXmxNQm�`irSP�Nmw�m�WXfI}_RTYT R w ZX~\rSmx`dNQ~� l � S ( P �6� � bdNQ} I � 2 b

� � �bd~�� 2 �bd~�� �

�������� ��� }S� 2 � � � e I ? ����� ��� h S

� . } �,�P �6� � bdNQ} I � ��� } bdNQ} I �P� � . }S�U��*

u�WXfkwxf � `dP�mxWXf�` NQZX~\[ fo[0e fkwx`cNX[ `ir+w�ZX~\rSmx`cNl~0}Q` � fk~�`M^zmxWXf gaNQZXwx`cfnw�f��Xe\R ~XP�`dNQ~"Rm` N � f6�tWXfkwxf� P �+1  �¡�¡l�X�, �§C1-1 1k`dP���ZXbdfkw,� P�rSNl~XP�mSR~ mUy � Px`dT `dbiRw `aZXm TYNQwxfqrSNQTYeXbd` rnRm�ft[ rSNlT eXZam Rmx`dNQ~}Q` � fnP mxWXf � Rwx`iR~\rSf Nmw�m�Waf [ `cPxm�wx` `aZXm�`dNQ~$R P

��l5kl � S ( P � ���S } �U� � � �S } �,�A2 � �S } �,� I P �6� � �'}�bc~ I �P� 1q f Rwxf�~XNmuH`d~ RYe NQP�`dmx`cNl~$m�N$R ~\Rbv^t�kf"m�WXf�bd`dT `dm�[ `dP�m�wx`v`XZXm�`dNl~ y�q f'uBR ~ mqm�N|eXwxN � f

m�W\R m mxWXf0~XNlw�T|Rbd`��kfo[ � Rwx`iRm`Xbdf���S P � S 2��6�` �6�

rSNQ~ � fkw�}lfkP�m�NzmxWXf�P�mSR~\[XR w [I~XNQwxT R b � Rwx`iRm�fcy gaNQw�m�W Rm�eXZXwxe\NlP�fQ]l`dm `dP�fk~XNlZX}QW�mxN0rSNQ~XPx`i[ fkw� � S } k � P e d3g ` I i S � S } e g>i I S ��*R~\["fnP�m Re`Xbd`dP�W mxW\Rm�`dm rSNl~ � fkw�}lfkP�e NQ`d~ mJu�`cPxf�m�N e g h i I w Nlw R~N^ � �Xfo[ k y���Wa`cP�NQ~Xbv^"w�foslZX`dw�fnPR�bdNXrkRb�R ~\Rbv^ P�`dPzNmw � S }��o� w Nlw ��~afoRw��Q]�R~\[<`dP � fnw_^�T�Z\rxW `d~�bd`c~af�u�`dm�W�NQZXwzeXwxf � `cNlZXPR~\R bv^_PxfkPUyIq f0mxW_ZaPhwxfkf��\RTY`d~Xf ��slZ\R m�`dNQ~ }S�U�c�zu�`dm�W � P e g>i I S y � P�` f�w Nlw�fQ] Nl~Xbv^|m�WXfm�fkwxT r NQw�wxfkP�e NQ~ [ `d~X} mxN � P � [ NQT `d~\R m�fkP�RP|^ T eXmxNQm�`irkR bdb ^�u�WXfk~ �#")�l]XR~\[0u�f � ~\[

� � S } k � P e d3g ` I i S � e g>i I S� 2 e g>i I S �

S d r � � � . } �,� � *w NQwA�A���)� k R P��#"%$Sy���ZXm�m�WXfn~�]XbdNXrkRb ft� e R~XPx`cNl~XP�Nmw�mxWXf � w�Pxmzw�RlrSm�Nlwz^_`dfkbi[� � S } k � P e g h i I � . }S�U��1q fhrkR ~$m�Wafk~ rSNl~\rSbdZ\[ fzNQ~$rSNl~ � fkwx}Qfk~\r f mxN�m�WXf0Pxm R ~\[XRwS[|~XNlw�T R bu[ `cPxm�wx` `aZXm�`dNQ~0`N^ rSNl~Nsm�`d~ ZX`dmJ^0m�WafkNQwxfkT P w NQw�fk`dm�Wafkw�¢�ReXbiRlrSfqmxw R~aPJw Nlw�T P } m Rex `c~a} k w�ftRb���NlwBgaNQZaw�`dfkw�mxw R~aPJw Nlw�T P} mSRmx `d~X} k `cT|R}l`c~ Rw_^5�$y

��WXf eXwxN Nmwh}lfk~XfkwSRbd`��kfkP�`dT TYfo[ `iRmxfkbv^|m�N�m�WXf$rkR P�f|Nmw0R$}lfk~XfkwSRbz`XZ\r|xlfkm�e\RwSRTYfkm�fkw@ � �Xfo[ ] u�WXfkw�fYm�WXf0`XZ\r|xQfnm�`d~X}�NQe fkw R m�`dNQ~XP�RTYNQZX~ m m�N�m�WXfYf��Xm�w RlrSm�`dNl~�Nmwq[ `d}Q`dmxP�w w�NlT~ ZXT`\fnw�P�`c~Ym�WXfE@I¨ R w_^ ~ ZXT` fkw�P_^ P�mxfkT¦y�q fzPxZXT T|Rw�`��kf�m�Waf0w�fkPxZXbdm�P `c~Ym�WXf w NQbdbdNmu�`d~X}oy

�,�

Page 16: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

� � � �ok � � ��� �� � S �!�� ����L����� �!��� < $ � ���!���� <)�����5� ��><�� " !)��� ��� ��)� ��5���� ��><�� "�& �������$�<���� �)� ���E������� � � ��� �!�! � " �����R@ ! �A���)�%& ������� �� #" <_���O�!� �)���O�0<�E� ����� < " �E<��)�����%"! ��� �� " �� ���� <�� ��� � ��� "CH � $ � � " �� B�� P @R,N}�@ 2 �U� �� ������ � "��#"%$ ��Rl � S0( P B � � � bdNQ} � � � � } bdNl} � �P� � . } �,� * ��l5kl � S0( P B��@ 2�� � � �'} bd~ I �P� *

������� � � � " � "�� <-< ��T��� ���><���� �!$���� �� ��><���H � ���R� �� < $ � S � " � "��� �� /< �� �)����� � �O<���� ������ S 2 B�� �` � M2O" K �U�* B��@ 2 �

� 1

q fhNc`XP�fnw � f"`d~|e\RPxP�`d~X}�m�W Rmo]:w wxNQTEmxWXfkPxf R ~\Rbv^ m�`irz[ f � fkbdNQeXTYfk~ m�Po]am�WXf"[ `dP�m�wx`v`XZXm�`dNl~NmwJQ S 2 � � � ��w�fnP�fkT`XbdfkP �0m�W Rm�Nmw�m�WafqP�ZaTENmwJ� 2 � `d~\[ fke\fn~\[ fk~ m�}QfnNQT fnm�w�`ir � R w�`iRm`XbdfkPu�`dm�W TYfoR~$�-,�@y���Waf R ~\Rbv^ P�`dP R bdP�N"P�ZX}l}QfkPxm�Po] � ` RIm�Waf ��fkwxw_^cs �JP�P�fnfk~ `d~XftsQZ Rbd`dm�`dfkPo]lm�W Rmm�WXfzPxe\fkft[|Nmw rSNl~ � fkw�}lfk~\rSfIm�N�m�Wafh~aNQw�T|Rb bd`cTY`dmJ[ `cPxm�wx` `aZXm�`dNQ~|`dP��'}P� d r i IXbd~ I �P��y

q f�x ~XNmu m�W\R m�~XNQwxT Rb�bd`dT `dm�`d~X}|[ `dP�m�wx`v`XZXm�`dNl~XP Rwxf$Nmw mxfk~ RPxP�NXrS`iRmxfo[ u�`cmxW R�e\fkw sm�ZXw|`\Rmx` � f R~\R b ^ Px`cPYNmw Px`d~X}QZXbiR w�`dm�`dfkPYNQw$rSw�`dmx` rnRb0e NQ`d~ m�P,y gaNQw|`d~XP�mSR~\rSfl]zp_RQrnsQZafkm R~ [�t�ke\R ~5xQNmu�P|x `�} �t�Q�a�U� [ fkw�` � f�R ~XNlw�T R bh[ `dPxm�w�`v`XZam�`dNQ~ w wxNQT R~ Rbdm�fkwx~\Rmx`d~X}�PxZXT `N^ Re\fnw�m�Zaw_`\R m�` � f0U|fkbdbd`d~Ns�bc`vxlfBR eXeXw�N RQrxW y���WXf eXw�fnP�fk~ mhrnRP�fzeXwxN � ` [ fkP�m�WXf � w�Pxm�f��\RTYeXbdf�NmwJRe\fnw�m�Zaw_`\R m�` � f0R~ Rbv^ P�`dPqReXeabc`dfo[ m�N yO` r f�� P `d~ m�fk}lw R b w�fkeXwxfkP�fn~_mSRmx`cNl~XPUyA� � �in[� � j � �okmj[�-�J�

gXNlwzu�W\Rmxf � fkwI~uR � NQw�New�r NQT eabcfnm�fzP�Nlw�m�`d~X}`N^ `XZ\r|xlfkm�`d~X} ]Xm�Waf0P�Nlw�m�`d~X}YeXw�NXrSfnP�P0T�ZXPxmrSNQ~ mx`c~ ZXf `d~ ����� `XZ r_xlfkm�P,y � P�P�ZaT fqmxW\Rm�mxWXf�`XZ\r|xQfnm�PU�aP�Nlw�m�`d~X} R bd}QNQwx`dm�WXTDZXP�fkP � p NQe fkw R sm�`dNQ~aP mxN PxNQw�mqR � bdfqNew Px`p�nf4t5y���WXf0[ `dP�mxw�`v`XZXmx`dNQ~\R b\foslZ\R m�`dNQ~�w NQw�� S ] m�WXf0rSNlP�m�New P�Nlw�mx`c~a}\]`dP mxWXfkw�ftw NQwxf bd`vxQf�}����%`aZXmzu�`dm�WXNlZXm `d~\[ ` rnRm�Nlw�P,�

� S MP } � � � � � � h � ������� � � �� � �A* }S�Q�U�� Rbd`i['w Nlw$� � �9�ou�`dmxW & P ��`d~9��� " �� � � � ��� ���U<��� o] R~\[7& P @�} � �Xfo[5� `d~ �C����� � �U<��! Uy� } R`d~�]lm�WXf slZ\R ~ m�`dmJ^

=SH� P � � � � � � h � ����� � � � `dP mxWXf|NQ~Xbv^ P�mxNXr�W RP�mx`ir r NQT e NQ~afk~ m R ~\[ u�f|P�W\R bcb w NXrSZXP�NlZXw�P�mxZ\[N^�NQ~�`dm,y ��~ m�w�NX[ Z rSfm�WXf�eaw�N�` Rm`X`dbd`dmJ^$}Qfk~afkw R m�`d~X} w Za~\rSm�`dNl~XP � S }��=� P �Rl���� �-(OR ~\[ � S }��o� P � l �2���-(_y���^�RrSNQ~ [ `dm�`dNQ~X`d~X}�Rwx}QZXTYfk~ m Nl~|m�WXf0PxW\RwxfkPzNmw�m�WXf�`aZ\r|xQfkmxPo] bd` xlfzm�W\R mzu f0ZaP�fo[|`d~|P�fnbcftrSm�`dNQ~�]u fIW\R � f�R [ ftrSNQTYe\NlP�fo[<w�fkeaw�fkPxfk~ m Rmx`dNQ~�RPzRYeXw�NX[ Z\r m#w�NQbdbdNmu�`c~a}�w wxNQTVmxWXf r NQ~\[ `dmx`cNl~\Rb`d~\[ fke fk~\[ fn~\rSf"Nmw mxWXf0RQrSmx`dNQ~|`d~ m�Waf�`XZ\r|xQfnm�PUy

� � ��� l � � <������ ���� S=}��o� P �!B& S �? � 587�7�7 5 ? q S

� ? ��}��=�� r B @ ����� @ � ? $}��=�

� � B � ���� "���� ����� "_<� ����������O<�� �/� � ��� ��� � ���� � ��� � "�<�� � ��><�� "�<�$ ����%��� � � �� <�� � r � ����� � � � P �!H

�l�

Page 17: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

�4HJIKH ��� "! �� � � �� ��� � �U<��! ������gXNlw mxWX`dP�w Nlw�T+Nmw�`XZ\r|xQfnm�P�NQwxm�`d~X}'u fzrSNQ~aP�`i[ fkw�mxWXfIw ZX~\rSmx`dNQ~\R b\foslZ\R m�`dNQ~YNmw�¢%fkT T|Rh�

u�WXfk~�P�e forS`iRbd`��kfo[<m�NYm�WXf rnRP�f & P ��y�� e\ftrS`iRbd`��kfo[<m�N|m�WXf�rkR P�f#& P ��]\mxWXf"w�`d}QW mzW\R~ [P�`i[ fzNmw�mxWX`dPqfoslZ\R m�`dNQ~$rkR ~H`\f � `df�u�fo[$R PqmxWXf�� m�W�rSN f/� rS`dfk~ mq`d~$R"}Qfk~afkw R m�`d~X}w�ZX~\rSmx`cNl~ yq fhrkR ~|f��XeXw�fkPxPzm�WXfzP�e forS`iR bc`��kft[|foslZ\Rmx`dNQ~ `d~|m�Waf#w�NQw�T

� S=}��=� P �!B� S lnm S (�� Y�

p�q � � p }��=� m pt�B � S 1��WX`dP�w�fkeaw�fkPxfk~ m Rmx`dNQ~�RQ[ T `dm�P�m�WXf�w NlbcbdNmu�`d~X} r fk~ m�w R b�bd`dT `dm�w�fnP�ZXbdmUy ��WXf0mxWXfkNlw�fkT w NQbdbdNmu�Pw w�NlT R"w R m�WXfnwq}Qfn~Xfkw R b�wxfkP�ZXbdm `c~$g�biRkjSNlbcfnmo]X^�N�`Xbdfkmxf0R~\[0�q`dNlb R�} �t�Q�l���iw NQw�W\R P�WX`d~X}u�`dmxWbd`c~afoRw eXw�Nc`X`d~X}u�WX`irxW¦`XwxN_Rl[ bv^ Pxm R m�fkPzm�W Rmo]%ZX~\[ fkwzPxZX`dm Rm`abcf"rSNQ~\[ `cmx`dNQ~XPt]ur N_f4� rS`dfk~ m�P0New`X` � Rwx` R m�f�}lfk~XfkwSRm�`d~X} w ZX~ rSm�`dNQ~aP wSR`dP�fo[ m�N�biRw�}lf e Nmu fnw�P'w NlbcbdNmu+R¦\0R ZXP�Px`iR~ biR,u�y�q fu Nlw_xYm�WXwxNQZX}lW$P�NlT fzNmw mxWXf [ fnm R`dbdPqmxN Nc`Xm R `c~|mxWXf � w�P�mzmJu�N�T NlT fk~ m�P�RPIu fnbcb�`d~$NQwS[ fkwm�N rSNlT eXbdfkmxfkbv^ rxW\R w RQr m�fkwx`p�nf�m�WXf"bd`cTY`dm�` ~a}0~XNQwxT R b�[ `dP�m�wx`v`XZXm�`dNl~ yzq f0PxW\Rbdb R P�PxZXT fzm�W Rmu�`dm�WX`d~$mxWXf©`aZ\r|xQfkmxP R��xw�foR P�NQ~ Rm`Xbdf��|P�Nlw�mx`c~a} Rbd}lNQw�`dmxWXT `dPzZXPxfo[Py � bdb�Pxm R ~\[XRwS[�P�Nlw�m�`d~X}Rbd}QNlw�`dm�WaT P W\R � f�e\Nlb ^ ~XNlT `iRbmx`dT f%u Nlw�P�m s rnRP�fI`\fnW\R � `cNlwUy���W ZXP�u�fqRPxP�ZXTYf�w�NQw�f��\R T eXbdfm�W\R m�� p \ t�� ]cw NQw�PxNQTYf � �Xfo[���� �:y� � � �ok � � �� �� � S �!� ����%�)< "! �<�$ ��� " �� � � � ��� � �U<��! < "�<��! �L�)���O�0<� � ��� "CH�� �-�0� < " �$�<�� "�<�� � � � �)�����8��� ���� ���n��<���� ���� � ���3� � �)�;��� ���� � �������! #" � " �!"�� p \ t��7<)��� �)� ��><���"�)< "! ������ ���� #" �)� �'� ! ���� ���� �!� ��� � ���� �)< "! _< $T<���� � ���!���! ������=< �����5� �� <�� &4H � �����

� S 2 }S� � sF �G�` � M2O"%KS}��+* I H I � *������� �

F P e d r Y�p-q � � l � p (t�B * H I P e d r Y�

p�q � �Rl � Ip (t�B 29F I 1

# �5<-<�$+y £�Nl~XP�`i[ fnw � S=} e ? g �n] R ~\[ �sS=} e ? g �n]�mxWXf rxW\R w RlrSm�fkwx`dP�m�`ir*w ZX~\rSmx`dNQ~XP0New !S�R~ [ �3S�]w�fkPxe\ftrSm�` � fnb ^Ny ¢ fkm0ZaP [ fn~XNQmxf�m�WXf0`X` � Rw�`iR m�f0}lfk~XfkwSRm�`d~X} w ZX~\rSmx`dNQ~'o Yp�q � � p }��=�/m p ,-t�B `N^�}��s*5mc��y���WXfk~H`N^�£�RZ r�WN^P� P%w NQwxT�ZXbiR�} P�fnf R ~M^�Pxm R ~\[XRwS[0`\N N�xYNQ~$rSNlT eXbdf�� R~\R bv^_Px`dP��k]

� So}��o� P �!B�0a �E� S �

S }��s*5mc�m S 5 r j m*u�WXfkwxf �+`dP�R~N^ r bcNlP�fo[YrSNQ~ mxNQZXw�fk~\rSbdNlP�`d~X}0mxWXfzNQw�`d}l`c~+yPq fqrxWXN NQP�f �+mxN�` fhRIe\Rwxm�`irSZXbiRwrSNQ~ mxNQZXw�rSNQ~aP�`dP�mx`c~a} New m�Wafhbd`d~Xf P�fk}lT fk~ m�rSNQ~X~aforSm�`d~X}��A2 � � m�N�� � � �&} w NQw�P�NlT f � �Xfo[���X�"R~\["PxNQT f biRw�}lf��8� R ~\[ R"rSbdNQPx`d~X}�}�bdf�w m���RwSr�New m�WafhrS`dw r bcf0rSfn~_mxfkw�ft[$Rm�m�WXfzNlw�`d}Q`d~R~\["e RP�Px`d~X} mxWXw�NlZX}QW|mxWXfkP�fzmJu�N e NQ`d~ m�P,y � P�� "%$ ] Nl~XfhrkR ~ rxWXfor|xYm�W\R m mxWXfz`c~ mxfk}QwSRbNQ~Ym�WXf R w rzReaeXw�N RQrxWXfkP��5y

� N�f � R bcZ Rm�f�mxWXf�w�fnT R`d~X`d~X}�bc`d~Xf�`d~ m�fk}lw R b_RP|^ T eXmxNQm�`irkR bdb ^ `M^ m�WXf�P RQ[a[ bdf�e\Nl`d~_m TYfkm�WaN [} Pxfkf�q NQ~a}} �t�Q�Q�c�k]cw Nlw�`d~XP�mSR~\rSf,�k]5u�wx`dm�fzm�WXfIb R P�m�foslZ\Rmx`dNQ~|`d~ m�Waf�w NQwxT¦�

� S=}��=� P �!B�0a �E� S b� 5 ? Y

d ? YNe S�� ) ��� � +j mm * }S�o���

�t�

Page 18: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

u�WXfkwxf`M^�[ f � ~X`dmx`cNl~ ��}��s*)m�� P bd~ [ �}��s*5mc�/,0m�]My'q f"P�W\R bdb�f � fn~_mxZ\Rbdbv^$bdfkm �L".��y"��WXfP Rl[X[ bdfze\Nl`c~ m�`dP�m�WXfzP�e forS`iR b � RbdZXfzNew m"m�W Rm�P�Nlb � fkP�mxWXfzP RQ[a[ bdfhe NQ`d~ m�foslZ\R m�`dNQ~

m� � }��s*5mc� P �}��s*5mc�+� }S�Ub����WXf�[ fkwx` � R m�` � f�`dP u�`dmxWhwxfkP�e forSm�m�N4m5yA� ~Xf rkR ~ � fnw�`�wC^qmxW\Rm ~afoRw!� P �l]um P � � �'}S��2 �o�J`cPR P RQ[a[ bdfqe NQ`d~ m�Nmw m�WXf `d~_mxfk}QwSR~\["`d~ }S�o���$y���Wafkw�f�w�NQw�fl]5u�fq[ f�w Nlw�T+m�WXf bd`c~af�Nmw `c~ mxfk}QwSRm�`dNl~m�N0`\for NQT f"NQ~af rSNl~X~Xfor m�`d~X} � 2 � $GmxN � � �>$GR~ [$}lNQ`d~X} mxWXw�NlZX}QW9m P �"m�WXwxNQZX}lW R ~R~X}lbdfqeX`ir|x `c~a} ZXe|mxWXfzP�m�fnfke\fnP�m [ fnP rSfk~ m Nmw�m�WXfIw Za~\rSm�`dNl~ �+y

y�fkeXbiRlrS`d~X} �!BP`N^$`dm�P R P_^ T eXmxNQmx` r�� m�`dw�bd`d~X}=� PzReXeaw�N,�X`dT Rmx`dNQ~�] R~\[�ZXPx`d~X}|m�WXf�PSRQ[X[ bdfe\Nl`d~_m�T fnm�WXNX[ }�RP � ")�,� � SP}��=� � S }��s*t�U�

e S�� � ��� }��s*o�,� *u�WXfkwxf mxWXf�[ fkwx` � R m�` � f<`c~ m�WXf�[ fn~XNQTY`c~ Rm�Nlw�`dP u�`dmxW w�fkPxe\ftrSm mxN m5y ¢%fkm|ZXP|~XNmu Pxfkm� P e ? g ]XR ~\[Yf��Xe\R~ [ S } e ? g *5mc��RwxNQZX~\[ k P ��} `Jy f�yXRwxNQZX~ [ � P �U��`d~ e Nmu fnw�P�Nmw k u�`dmxWrSN f/� rS`dfk~ m�P"m�W Rm�Rw�f�TYNQTYfk~ m�PzNmw�m�WXf$rSNlP�m,y¦� fk~XNlm�`d~X}$mxWXf � wxP�m"mJu N<T NQTYfk~ m�P Nmw�� pw�fkPxe\ftrSm�` � fnb ^ `N^#F p R~\[ � p ] ~XfoR w k P ��u fzNc`Xm R `c~

S } e ? g *5mc� P f��Xe � �qbd~ Y�p�q � � p } e ? g � m pt�B

P f��Xe � �qbd~ � Y�p�q � � m pt�B �

F p m pt�B � k 2 � p m p�2B�t�B k I � � �'} k � � � 1

¢ fkmxm�`d~X}<�#")� `dT eXbd`dfkP m ")�Q]XR ~\[0u fzW\R � f

S } e ? g *t�U� P ft� e � � bc~ � e �Q� � F � k 2'H I k I��

� �'} k � �����*u�WXfkwxf

F � P e d r Y�p-q � F pt�B * H I � P e d r Y�

p�q � � pt�B 29F I 1�+�Xe\R~ [ `d~X}�m�WXf"bdNQ} Rw�`dmxWXT u�`dmxW$m�WXf"ZXPxZ\Rb rnRbirSZXbdZXP foslZ\Rbd`dmJ^|bc~=}S� � W=� P W 2'W I ,Q� ��'}�W � �n]Nu fz}Qfnm � S=} e ? g � P ��/ e � � ? g ; � e�� S ? g�d�� h S g h i I 5�� ) S g � +� � ��� } e ? g *o�,� 1��WXf�RP�PxZXT eam�`dNQ~zm�W Rm�mxWXf�P�Nlw�mx`c~a}hRbd}lNQw�`dmxWXT u�`dmxWX`d~�`XZ\r|xQfnm�P�`dP wxfoRPxNQ~\Re`XbdfQ]mu�`dm�W�u Nlw�P�m srkRPxfze\Nlb ^ ~XNlT `iRb mx`cTYfQ]l}QZ\R w R~ mxfkfkP4F p P �'}�t��U��R ~\[�� p P �'}�t�I �,��y���W ZXPz` NQmxW Pxfkw�`dfkP `d~F R ~\[!HJIzrSNQ~ � fnw�}Qf"R~\[YNQ~af rnR~ RlrkrSZXwSRm�fnb ^$rSNlT eXZam�fqmxWXfk`dw � R bdZXfkP�ZXe$m�N R ~N^�~_ZaT`\fkwNmw�eXbiRQrSfkP,y

g�`d~\R bdb ^ ] P�fkm k P , ` � w Nlw R � �Xfo[ ]�R~\[�bdfkm��f" $ } PxN$`d~\[ fkft[ �9" �U��yY��WXfw�foRl[ fkwzrkR~$rxWXfor|x|m�W\R m � ��� } , ` �A*t�U�A")��y�� N ]

� � f��Xe � � ST2 } � � sF �M�` � � ��" e d�� h � h g h i I �

�,b

Page 19: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

m�WXfIw�`d}QW mqW R~\[|Px`i[ f `dP m�WXf rxW\R w RlrSm�fkwx`dP�m�`ir�w Za~\rSm�`dNl~$Nmw KS}��+* AI HJI,�qR ~\[|NewBrSNQZaw�P�f�rSNl~Ns� fkwx}Qfk~ rSf0Nmw�rxW\RwSRQrSmxfkw�`dP�mx`ir�w Za~\rSm�`dNl~XP�`dT eXbd`dfkP�u ftRmx r NQ~ � fkwx}Qfk~ rSf�y E

gXNlwhmxWXf"P�m R ~\[XR w [ �� ��5��� �-� �� ��� �!�! ��><�� �U<��! �} Pxfkf�� ~ ZXmxW¤} �o�c¡�bc�_�k] � p � tN}�tE2 �U�.,Q�5y� N\]�F P �-,Q�"R~\[!HJI P  �,ed\]XR~ [�m�Waf0e\Rwxm�`irSZXbiR wqrSfk~ m�wSRb�bd`dT `dm�m�WafkNQwxfkT�`\ftrSNQTYfkP

� S 2 } � � A,Q���G�` � M2O" K � �*  d I � 1��~�m�WXf e\Rwxm�`irSZXbiRw � �!� ���!" �� �_� ���!���! ��U<��! t]�u�WXfn~ � ]lm�WXf P�NQwxm�`d~X} R bd}QNQwx`dm�WXT8u�`dm�Wa`c~ R

`XZ\r|xQfnm `dP+`XZ\r|xQfkm�PxNQw�m�`dm�Pxfkb�w ]mxWXf wxfkP�Zabcm�Pxm�`dbdb_WaNQbi[ Po]R bcmxWXNQZa}QW0mxWXf PSRQ[X[ bcf�e NQ`d~ m Rwx}QZXTYfk~ m`\ftrSNQTYfkP�P�bd`d}QW mxb ^zTYNQw�f�[ fkbd`irkR m�f�y���WXf P�Z5`am�bdfkmJ^"WXfkw�f `dP�m�W\R m�mJu�N0m�forxWX~a` rnRb e\Nl`c~ mxP Rwx`cPxf��

��y���WXf w�ZX~\rSmx`cNl~ �I}��s*5mc�¦� P o Yp�q � � p }��o�.m p ,ut�B�`d~ � NQb � fkP mxWXf���� ���O<� �Xw�ZX~\rSmx`cNl~XP� p }��o��R~\[YmxWXf0P Rl[X[ bdfze\Nl`d~_m�foslZ\R m�`dNQ~�} �,b�� `\ftrSNQTYfkPU�m�� � }�� *)m�� P �I}��s*5mc� 1

��WXf$ft� e R~XPx`cNl~ m�ftr�Wa~X`isQZaf$m�W\R m�bdfo[Am�N�[ fkm�fkwxT `d~X`d~X}�m�WXf<P RQ[a[ bdf$e\Nl`d~_m R m#m P� � �'} � 2 �o��Pxm�`dbdb WXNQbi[ P � fkw_` Rm�`dT�u�`dmxWXNQZXm�R~N^|r�W R~X}lfkPUy�5y���WXfzrSNQ~\[ `cmx`dNQ~"m�W\R m�� p�� t��Q]ew NQw � �X�X] ZX~X`�w NQwxT bv^Iw NQw�RbdbXP R T eXbdf�Pxe\RQr fhe NQ`d~ m�P�`cP

~XNYbcNl~X}Qfnw � Rbd`i[Py � P0[ `dP rSZaP�P�ft[$`d~$mxWXf0`d~ m�w�NX[ Z rSm�`dNQ~�]\mxWXfkwxf R w�f0wSRw�f�rkR P�fkP�u�WXfkwxfm�Waf y�ftrSZXw�Px` � f ��Z\r|xQfnm*� Nlw�m"T R,^|m RexQf R w_`X`dm�wSRwx`cbv^$bdNl~X}$m�`dTYf�y M�Nmu�f � fkwo]�R bcb u fw�ftRbdbv^�~Xfkfo[|`d~Ym�WXfzeXwxN_New `dP�~XNlmBRIZX~X`�w Nlw�T�` NQZX~ [ Nl~ � p `dm�Pxfkb�w ]N`XZXm�wSRmxWXfkw�NQ~Y`dm�PT ftR~ R~ [ � Rw�`iR ~\rSf�y���m�`dP R~YfoRP|^�`c~ [ Z\rSmx`cNl~�m�N"P�WXNmuAmxW\Rm F p \ �-t R ~\[ � p \ §-t5y��W ZXPz` NQm�W|Pxfkw�`dfkPz`d~#F R~\[!HJI0r NQ~ � fkwx}Qf0R~ [ Nl~Xf0rkR~$RlrkrSZXwSRm�fnb ^$rSNlT eXZam�fqmxWXfk`dw� RbdZXfnP�ZXe|m�N R~N^�~ ZXT` fkw�Nmw eab RlrSfkP w w�NlTEf��\RQrSm w�for ZXw�wxfk~\rSfkP,y

q `dm�W� P �l] m�WXf r fk~ m�w R b�bd`dT `dm�m�WXfnNQw�fnTVm RmxlfkP�m�Waf�w NQbdbdNmu�`d~X}zP�e forS`iRb�w NQwxT¦y

�=k � � � l5k�� � � ��� �)< "! 4<�$�� � � ���!" �� ��� ���!���! �U<��! "�� �� "�� ��"� S 2 }��+1 b��Q�c�Q�cbQ���a��1-1 1 �G�` � M2O"%KS}J�*�§1 dM c§�¡�§c�md �UbC1 1-1 ��1

��WXf rSNlP�m"WXfkw�fY`dP0m�WXfYm�Nlm Rb�~ ZXT` fkwzNmw#`XZ\r|xlfkm�`d~X}$Nle\fnw Rmx`dNQ~XP"e\fnwJw Nlw�T ft[$mxWXw�NlZX}QWXNlZXmm�WXfzfk~ mx`cwxf0P�Nlw�mx`c~a}oy�4HJGKH ������� � �J<��!

gXNlwA������� ���U<��! o]�& P @ � � ft[0R~\[ m�WXf R bd}QNQwx`dm�WXT `dP�w�forSZaw�P�` � f `d~0mxWXf�`XZ\r|xlfkm�P%} P �,��y��WXf `XZ\r|xQfnm�`d~X}�NQe fkw R m�`dNQ~XP�Wafkw�f R T NlZX~ m0m�N�m�WXf|f��Xmxw RQr m�`dNQ~ANmw0[ `d}Q`dm�P�w wxNQTL~ ZXT` fkw�P`d~�m�Waf @I¨ R w_^A~ ZXT` fkw�P_^ P�mxfkT¦yS¢ fkm���S=}��=�` f$m�Waf$eXw�Nc`\Rm`a`cbd`dmJ^�}Qfk~Xfnw Rmx`d~X} w Za~\rSm�`dNl~Nmw0m�Waf rSNQPxm�� S ]qR ~\[��%}��s*5mc� P o Yp-q � � p }��o�.m p ,-t�Bvy ��sQZ Rm�`dNl~ }S�Q�,��m�Wafk~X` forSNQTYfkP R[ `dP�mxw�`v`XZXmx`cNl~\Rb w�ftrSZXw�wxfk~\rSf R ~\[ ¢ fkTYT Rz�"}Q` � fkP ZaPqm�WafhwxforSZXwxP�` � f�w ZX~ rSm�`dNQ~ Rb foslZ\Rmx`cNl~

�%}�� *)m�� P � � � �s* �Om@ � � m{} � 2 �=� 1 }S��dM�

�$d

Page 20: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

��WXf R ~\Rbv^ P�`dP�`dPqRQ[XR eXm�ft[ u�`dm�W$TY`c~aNQw�r�W R~X}lf�w w�NlT p RQrkslZXfnmhR~ [$y|{fk}l~X`dfkw�}S�o�l�Q���%u�`dmxWP�NlT fqTYfkm�WaN [ NQbdNQ}l` rnRbXwxf � ~XfkTYfk~ m�Pz` NQwxw�Nmu�fo[�w w�NlT p RQrkslZXfkmzR~\[0�t�ke\R ~5xQNmu�P|x `�} �t�Q�l����y� � � �ok � ��� � �� � S �!�% ���� �)< "! _< $ ������� � �J<��! !.����� �!���T<�$R��� �u� � � ��5� �! ��><���"�& < "�<��! �'�)���O�0<� � ��� "CH � ����� } � S 2�� S �., ` � S &� �3� "R��� ��� "! �� �#��� ��><��7���3� ��� � <� ��� "% /< ����"! ���O�����5� �3<���� ���J���� � � &��KS}J�*t�U� ��� ��

� S P bd~`� � � �bc~4@� � � r } bd~��P� " �

bd~4@ � �'} bd~��P��*� S P � � �*}�@�� ��� I } bd~��P� � � �'} bd~ I �P��*

������� ��'}�@�� P �

bd~4@ � �d � bc~q� � �Y�

�-qsr/ bd~=} � � @ d � � � } � � @ d � � d I ; � *

���O� ����8$���� �� ��><�� " � r }�W=� �����O� � I }�Wo�R��� � ����� �><-���#�.$���� �� �� <�� " ��� �� "�� �����O���4�3� � ����R���O������ �><-� bd~4@<H� � � l5k���p ��Waf R � fkwSR}Qf0uBR P�w NlZX~\[�`N^ � ~ ZXmxW�R~\[ �qf���w�Za` j ~���m�WXf|R~\R bv^_Px`dP�w NQwIm�WXfrkRPxf @ P � `dPheaw�fkPxfk~ m�fo[ `c~ �q~ ZXmxW }S�o�c¡�by� eXe+y �,bX�t¨u�UbedM�$yhyOfkbiRm�ft[ � R w�`iR~\r f R~\R bv^_PxfkPReXe foR w�`c~"� `cwxP rxWXfk~aWXNmw fnwo] ^�w�NX[ `d~X}lfkwo] R~\[ �t�ne\R~5xlNmu�P_x `�} �t�Q�l����y# �5<-<�$4< $ � ���5<�� �����%y���WXf�eXw�N New�`cP�[ ` � `i[ fo[I`d~_mxNzm�WXwxfkfqe\R w�mxPU��m�Waf�T foR ~ � R bcZafBR ~\Rbv^ P�`dPo]m�WXf � R w�`iR~\r f R ~\Rbv^ P�`dPt]_R ~\[ � ~\Rbdbv^�m�Wafhbd`dT `dm�[ `dP�mxw�`v`XZXmx`dNQ~|w�fkPxZXbdmUy� �5���T���� ���C���O��� � " � "CH�¢ fkm#�Rl � S0( P �AS�]R~\[��%}�m�� P o YS q � � SOm S e d � ,6�!B�` f�mxWXfB^�Nl`cPxP�Nl~}Qfk~afkw R m�`d~X}w�ZX~\rSmx`cNl~$Nmw�m�WXf"P�foslZXfn~\rSf [ � S ]My ��Rmx `d~X} [ fkw�` � Rmx` � fkP Nmw#}S��dM� u�`dm�W$wxfkP�e forSmm�N<�$Rm � P �I^_`dfkbi[ P

�%}�m�� P� � �%} �0*5mc� e d � � P @�� � m@ � � m 2 m e d � * }S�U ��

u�`dm�W���}���� P �:y�� ^|P�m�wSR`d}QW m w NQw|uBR w [�`dmxfkw R m�`dNQ~0u fz}Qfnm

�%}�m�� P m Y��-q � }S� 2 e d � i �� �L1

��WXf R P_^ T eam�NQmx`ir0foslZX` � R bcfn~_mINmw��%}�m��I`cP"N�`am R`d~Xft[ � `iR|mxWXf Uvfkbdbc`d~ mxw R~aPJw Nlw�T����c}��,� P� Y� ��}�W=�/W )d r j W0u�WX`ir�WYW\RP�mxWXf rSbdNlP�fo[�w Nlw�T f��XeXw�fkPxP�`dNQ~+�

� � }��,� P 2 �}��U�

�_2 @ 5 r *[ f � ~afo[ w NQw��I}��U� � }/2q�*�20�U��}�gaNQw R ~�f��Xmxfk~XP�` � f Pxm�Z\[{^�NmwqmxWXf Uvfkbdbc`d~ mxw R~aPJw Nlw�TLPxfkfg�b RnjSNQbdfkmt]�\zNlZXw [ Nl~�] R ~\[¤� ZXT R P} �t�Q�� c�_�$yA��WXf|P�`d~X}QZab R w�f��Xe\R~aP�`dNQ~ANmw�� � }��,� R~ [�Rw�fkPx`i[ ZXfhr NQT eaZXm R m�`dNQ~0New�m�WXf `d~ � fkw�PxfhU|fnbcbd`d~"m�w R ~XPJw�NQw�T��%}�Wo� P rI ? � � 5 ? Y d Y � � }��U�.W d j �l]w NQw�R~N^ � ��}/2q�*�20�U�n]N^_`dfkbi[Ym�Waf R P_^ T eam�NQmx`ir�f��Xe\R ~XP�`dNQ~�]

�%}�Wo� P � bd~=}�W=� � � �bd~4@� ��� r } bd~CWo� � W

bc~C@ � �'}�W d�� � *�, 

Page 21: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

w NQw�R ~M^�Rw|`X`dm�wSRw_^ � �X�X] R~ [ W � Rw|^ `c~a}h`d~�R0rSNl~Xfq`d~\rSbdZ\[ fo["`d~�m�WXf w�`d}QW m�W\R b�w%rSNlT eXbdf��eXbiR~Xfcy���WXf w ZX~\rSmx`dNQ~ � r }�W=��`dP�`i[ fk~ mx` � fo[0`M^Y`dm�PqgaNQZXwx`cfnw mxw R~aPJw Nlw�T¦�

��r }�W=� P ������ � �

� � � � abc~4@ � e I ? � � c i � � � *

��Nmu0]mu�f�~Xfkfo["mxNzm�w R ~XP�biR m�f�m�Wa`cP�RP_^ TYeXm�Nlm�`ir�foslZX` � Rbdfk~ m�Nmw �%}�W=��`d~ m�N0R~�RP|^_TYeXm�Nlm�`irw�fkPxZXbdm Nl~ �ASPy���NhmxWX`dP fn~\[u�f�T RexQf�ZXP�f Nmw�m�Wafh[ fke NQ`dPxP�NQ~a`p�tRm�`dNl~�bcfnT T R�`d~ m�wxNX[ Z\rSfo[ `d~p_RlrkslZXfkm�R~\[�y|{fk}Q~X`dfkwI} �t�Q�l����R ~\["f��Xm�fk~aP�` � fkbv^ [ f � fkbdNQe fo[ `c~�p RQrkslZXfnmqR~\[�t�ne\R~5xlNmu�P_x `} �t�Q�Q�c��y��~ p_RQrnsQZafkm R~\[ �B�ke\R~:xQNmu�P_x `I} �t�Q�Q�c�Iu f � ~\[�m�Wafw NlbcbdNmu�`d~X}Yw�fkPxZXbdmUy � PxP�ZXTYf�m�WXf

mJu N�w NlbcbdNmu�`d~X}0rSNl~\[ `dm�`dNQ~aPU�}�`���m�Wafkw�f|f��X`dP�mxP R$r NQ~XfY`c~ rSbdZ\[ `d~X}$mxWXf e NQPx`cmx` � f R,�X`dP�u�WXfnw�f mxWXf ^�Nl`cPxP�Nl~�m�wSR~XP w NQwxT�%}�m���W RPqR"e NQbv^ ~XNQTY` R b }Qw�Nmu�mxW|Nmw Nlw [ fnw�m�� �P}�m��%u�WXfkwxf ��}�m���`dPqR"PxbcNmu�bv^ � R w_^ `d~X}w ZX~ rSm�`dNQ~+y

} `d`���NQZam�P�`i[ f�mxWXfhr NQ~Xf 9 �%}�m�� e � 9 e d�� � � `dPJR w ZX~\rSmx`dNQ~"m�W\R m [ forkR,^ P�mxN��kfkwxN�w�R P�m�fnw�m�W\R ~ R~N^e NQbv^ ~XNQTY` R bJy��WXfk~�� S P �%}V�P� � �'}P��� d r �P}P�P�_��y�UvNQw�f }Qfk~afkw R bcbv^�mxWXfkw�fzf��X`dP�mxPqR0[ NlZ5`XbdfqPxfoslZXfk~\rSf& ?np P�Z\rxW$mxW\Rm

� S P ?�q �� ?�q �p-q I ��p-q? & ?np � ? � ) p + }V�P� � � � � � d � ��}V�P� � *

u�WXfkwxf � ) p + }�W=� P�mSR~\[ PPw Nlw�m�WafAt mxW [ fkw�` � Rmx` � f�Nmw��%}�Wo�$y���WXf�[ NQZ5`abcf�P�foslZXfk~ rSf�`dP ` [ fk~ m�` � fo[`N^ o Y?�q � o Yp�q? & ?np W ?���p P f��XeP}�W�bd~=} � � � ��2 W � �,y%��~ e Rw�mx`irSZXbiRw � S P ��}V�P��2 S I � ) I + }V�P� ��'}V��� d I���}V�P�_�$y

��WXf0rSNQ~\[ `cmx`dNQ~�} `���`dP�P R m�`dP � ft[0w NQw � P �zR~\[ �%}�Wo� P bc~4W+y���N rxWXfor|x$rSNQ~\[ `cmx`dNQ~H}�`d` �u fzmSRmxQf"R�rSNQ~Xf� � Nmw R ~X}Qbdf� � RwxNQZX~ [ mxWXf0e NQPx`cmx` � f R � `dP,y�q f0[ f � ~Xf0mxWXf [ NQT R `d~� �RP0mxWXf [ NQT R `d~$NQZXmxP�`i[ f�mxWXf rSNl~Xf PxZ\rxW�mxW\Rm 9 m 9 �8}�@ � *)@ � 5 r ��y���NQmx`irSf mxW\RmTm � � �`dT eXbd`dfkP�m�,0@ ��� � d r y�q fz[ f � ~Xf� � m�N` fhmxWXfzT R � `dT�ZXT � R bdZXfqNew 9 �%}�mc� e � ,�m 9 e d�� � � Nl~m�WX`dPq[ NlT R `c~�]QNlZXw�N�`QjSftrSm�` � fI`cP�mxN�eXw�N � fzm�W\R m�� � m�fn~\[ Pzm�N �kfnw�N R mqR"P�ZX`dmSRm`Xbdfzw R m�f�yz� ^ZXP�`d~X}"m�Waf�w ZX~\r m�`dNQ~\R b foslZ\Rmx`dNQ~�u�fzN�`XmSR`d~ mxWXf0`d~XfoslZ\R bd`cmJ^P�

� � 5 r \ T R ��� M & � � 9 @ �%}�m�,0@�� e �m 9 e d�� � � � 9 e � 2 � 9 e d�� � �

\ � � e )�� ��� � d r + � =�� � e d � = � � e )�� ��� � d r + � =�� *u�WX`irxW eXwxN � fkPIm�W\R m0m�WXf�PxfoslZXfk~\r f � � rSNQ~ � fnw�}QfnP0m�N¦�|R m RYwSRm�f|RmzT NlP�m f��Xe }|}�rSNlP � 2�U�.@ � d r ��y�O�����>��� �!�!���3��� � " � "CH q f�~XNmuEmxZXw�~�m�N�m�WXf � Rwx`iR~\rSf|R~\[ � w�P�m�`d~ m�wxNX[ Z\rSf|m�Wafv^�Nl`cPxP�Nl~}Qfk~afkw R m�`d~X}'w ZX~ rSm�`dNQ~YNmw�m�WXf0PxforSNl~\[0w�RlrSm�Nlw�`iRb TYNQT fn~_m�� }�mc���

� }�mc� P I� I � �%}S��*)m�� e d � � 1

�,§

Page 22: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

� w mxfkw�P�NlT fzRbd}Qf�`aw RINQ~Xf � ~\[ P� }�m�� P @�� � m@ � � ��@Rm � � m@ � � �0m � � � m@ � � }�@ I 2 @�� � I � m@ � � m I 1 }S�U§��

��~ m�w�NX[ Z rSf�m�WXf'w�ZX~\rSmx`cNl~ � }�mc�z[ f � ~Xft[ `N^ � }�m�� P � }�m�� � ��}�m���2 ��Ie}�m��Iu�WX`irxW `dPzm�WXf� Rwx` R ~\rSf�Newqm�WXf$^�NQ`dP�PxNQ~X`��kft[�rSNlP�mUy }D��m T�ZXPxm�` f ~aNQm�`irSft[ m�W Rm � }�mc�0`dP"~XNQm"m�WXf|^�NQ`dPJsP�Nl~ }Qfk~Xfnw Rmx`d~X}Hw�ZX~\rSmx`cNl~�New � S y � ��WXf � Rwx` R ~\rSf � S `dP"m�w�` � `iRbdbv^$N�`am R`d~Xft[�`M^ mxWXf [ f�se\Nl`dP�P�Nl~X`��oRmx`dNQ~�Nmw � }�m�� � ��Im}�m���R w m�fkw�PxZ5`Xmxw RQr m�`d~X}�� IS R~ [ mxWXfkwxf�w NQwxf [ fke NQ`dPxP�NQ~a`p�tRm�`dNl~w�fkPxZXbdm�P eXw�N � fhmxN©` f0New }QwxfoRm�Wafkbde y

��WXfIw ZX~\rSmx`dNQ~ � }�mc��P R m�`dP � fnPqm�Waf�w NQbdbdNmu�`d~X}Iw ZX~\r m�`dNQ~\R b foslZ\Rmx`dNQ~ �� }�m�� P @ � � m@ � � �0m � � � m@ � � �0m e d � �%}�m�� � m 2'm e d � � m I e d I

�1

q f�`d~_mxw�NX[ Z\r f m�Waf U|fkbdbd`d~ m�wSR~XP w NQwxT � � }��U�"New � }�W=��y ��m�w NQbdbdNmu�PIw w�NlT } �U c�zm�W Rm"m�WXfU|fkbdbd`d~ m�wSR~XP w NQwxTENmw � � }�W=��`dP�}��_2��U�

}��U�.,N} �_2 @ ��y�q f }Qfkm,�

� � }��U� P �� 2'@ 5 r �0@ 5 r �

}�� � �,�

� 2 @ 5 r 2}�� � �,� � �0}��U� " *

u�`dm�W�0}��,� P

}�� � ��� � � d I d� � �Y�

�-q � }S� 2 }S� � @ d � � d� d I � 1��WXf$RP|^_TYeXm�Nlm�`ir�ft� e R~XPx`cNl~ANmw � }�W=�"w�fnP�ZXbdm�P�w w�NlT R<w�fnP�`i[ ZXf R~\R bv^_Px`dP New mxWXf$U|fkbdbd`d~m�wSR~XP w NQwxT¦yC��WXf RP|^ T eXmxNQm�`irYf��Xe\R ~XP�`dNQ~ Nmw � S `dP|[ fkbd`irkRmxf¦` forkR ZXP�f New rkR~ rSfkbiRmx`cNl~XP`\fnmJu fkfn~�e\fkwx`dN [ ` riw ZX~ rSm�`dNQ~aP&�Pxfkf�}V� `dw�PSr�Wafk~XWXNew fkwo]X^Jw�NX[ `d~X}Qfnwo]QR ~\[��t�ke R~5xlNmu�P_x `P} �t�Q�l����y��f � fkw�mxWXfkbdfkPxPo]�u�f rkR~ � ~XfkPxP�f m�Waf$P�Z5`am�bdfkm�`dfkP$R P�u�RP [ NQ~Xf$`d~ p RQrkslZXfnmvR ~\[Ay|{fk}l~X`dfkw} �t�Q�Q�c����m�WXfzwxfkbiRm�`dNl~

� S P � }V�P�s2 �+} � � }V�P�_� I � � � bd~ I � � *WXNQbi[ P0R PhPxN NQ~ RP � }�mc� P � }�m�� � } �%}�mc�_�/I P R m�`dP � fnP rSNQ~ [ `dm�`dNQ~ } `d`���NewOR ~\Rbv^ m�`ir0[ fne\Nl`cP sP�Nl~X`��oRmx`cNl~ y���WX`dP biRPxmqrxWXfor|xw NlbdbcNmu�P�m�WXf0PSRTYfhRwx}QZXTYfk~ m RP%w�NQw �%}�mc��y g�`dw�Pxmo] `dm�`dPBr bcftRwm�W\R m�rSNQ~\[ `cmx`dNQ~0} `d`���WaNQbi[ P�w Nlw�� � }�m��$y�� forSNl~\[ ]lm�N0eaw�N � f�rSNl~\[ `dm�`dNQ~0} `d`���w NQw ��}�m�� u f�[ f � ~Xf� � � m�N ` f�m�WXfYT R � `dT"ZXT � R bcZaf New 9 � }�mc� e � ,�m 9 e d�� � � `d~�m�WXf|[ NQT|R`d~ � � y � ^ ZXPx`d~X}|m�WXfw ZX~\r m�`dNQ~\R b\ftsQZ Rm�`dNl~¦}S�U§c� w NQwCm�� � � 5 r u fzNc`Xm R `c~|mxWXfz`c~afoslZ\Rbd`dmJ^P�

���

� }�mc� e �m ��� e d � � � \ � � � e )�� ��� � d r + � � �

� � ���� @�� � m@ � � � � � m@ � � e�� i � �

�� e d � � � i � ft� e � }�@ 2 �,� �krSNQP � 2��,� 9 m 9@ �

� }�@ I 2 @�� � ���� � m@ � e �

���� e d � � � i � � I �m ft� e � � � 2 �@ � }�rSNlP � 2A�U� 9 m 9

�9 m 9 e )�� ��� � d r + � � � 1

��WX`dPq[ f � ~afkP0R~|`d~\[ Z\rSmx` � fz`d~XfoslZ\Rbd`dmJ^` fkmJu fnfk~ � � � 5 r R~\[ � � � ]5u�WX`irxW|`dT eXbd`dfkP�mxW\Rm m�WXfP�foslZXfn~\rSf � � � rSNQ~ � fnw�}QfnPqm�N��"RmqR"wSRmxf R m�T NlP�m�f��Xe+}_}�rSNQP � 2��,�/@ � d r �$y

�,¡

Page 23: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

@ �*}�@��� d31 b� ��c�Q�l�md_�c�C1 1-1b �01 ���Q�cb�¡c �¡�¡l�C1 1-1d �01d�o�Q�c§�§l���Q�l�C1 1-1  1 �a�U�X�,bQ�a�U�� ed41 1-1§ 1 ¡c Q�Q�cbQ�c¡�¡�bc�C1 1-1¡ 1 §c§Q��§c Q�l��b�§a��1 1-1� 1  l��§��c��bc Q��¡ed41 1-1

��Rm`Xbdf �c��£�N f/� r `cfn~_m�Newk�|`d~ m�Waf RP|^_TYeXm�Nlm�`ir�f��Xe\R ~XP�`dNQ~|New m�Waf � Rwx` R ~\rSf Nmw mxWXf rSNlP�m�New������� � �U<��! ,y�q`u� fkw�fn~_mx`iRm�`d~X}0} �, �� ^ `cfnb [ PqR�w Za~\rSm�`dNl~\Rb foslZ\R m�`dNQ~�w NQw � � w w�NlT�u�WX`irxW u�fz}Qfkmt]XR,w mxfkw

P�NlT fhR bd}Qf�`XwSRX]lm�WXf"U|fkbdbd`c~Ym�wSR~XP w NQwxT New�} � � }�Wo�|�/Ic��N}�� 2 �U�

}��,�

} � 2 @ � I �}�� 2�� d � }��U�� 2 @ �

��}��,�� 2 @ *

u�WXfkwxf��}��U� P

}�� � �U�t}�� d 2 ���s2�� d� )d I}�� � ���

� � }�� � �,� ���� � / � 2 }S� � @ d � � d� d r ; 2 �

}��U� �

��� � / � 2 } � � @ d � � d ;� � }�� � �c� �

��� � @ d � } � � @ d � � d )d I 2��}�� � �,� �

��� � @ d � } � � @ d � � d )d r 1M�fkwxf���}��U��`dP�R~ Rbv^ m�`ir�RwxNQZX~ [ � P �:y��OP�`d~X}zm�WXfqRe`\N � f�u�f�N�`XmSR`d~ mxWXf�U|fkbdbd`c~"m�wSR~XP w NQwxTNmw � }�mc�A2 m{} � � }�m��|�/Ic�

}�� � �U� l � d� )d r 2 � 2 �{}�� � �,� (

� 2 @ 5 r ��0}��U� 2 ��}�� � �,�

� 2'@ 5 r 1��m�w�NQbdbdNmu�P mxW\Rm

� S 2 � � � � }P�P� � I � � 2 � � bc~q�bd~4@ �

�0}/20�U� 2 ��}��c�bd~4@ � � I } bd~��P� " 1

��Rm`Xbdf��0bd`dP�mxP�m�WXf�R � fkwSR}lf � RbdZXfkP��'}�@���Nmw � S ,6� R PhR*w ZX~\rSmx`dNQ~$New @ ]5w�NQwqmxWXf � w�Pxmzw f�u� RbdZXfkP�Nmw�@y� � �E� ��� "! �� �#��� ��><���H+q f�~XNmu�m�ZXwx~ mxNqmxWXf�biRP�m�e\Rwxm�Nmw\mxWXf eaw�N Nmw�rSNQ~ rSfkw�~a`c~a}hmxWXf�R~\R b ^ Px`cPNmwqmxWXf bd`dT `dm�`d~X}|[ `dP�mxw�`v`XZXmx`cNl~ y$��N$mxWX`dP fn~\[ u�f|NQe fkw R m�f [ `cwxforSmxb ^ u�`dm�W m�Wafw ZX~ rSm�`dNQ~ RbfoslZ\Rmx`dNQ~X}S��dN��yXq f|[ fk~XNlm�fH`N^��P}��o�"mxWXf slZ\R~ mx`cmJ^ bd~4@R,{} bd~4@ 2 bd~ �o�$yXq fY~XNQmxf$`d~e\RPxP�`d~X}"m�W\R m�`dm�P Rmx`dP � fkP,�

@ � �@ ��� ) � + P ��1q fhR bcPxN ~aNQm�fIm�W\R m���} �,� P �cy

��~ eXwxfke\R w Rmx`dNQ~�w NQw�[ fke NQ`dPxP�NQ~a`p�tRm�`dNl~©u�fBR }_R `c~"rSNQ~XPx`i[ fkw�m�WXf�rSNQ~af � � y+q f�u�`dbdbQeXwxN � fm�W\R m�m�WXfnw�f"`cPzR"w�foR b�~Xfk`d}QWN` NQw�WaN_NX[���}S�U��New�m�WXf � R w�`iRm`abcf �|PxZ\rxW mxW\Rm�bd~ �%}�� *)m���ft� `dPxm�P

�t�

Page 24: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

R~\[�`dP��*}�m � ) � + �n]�u�WXfk~'m<m�fk~\[ P mxN$`d~ � ~X`dmJ^�`c~aP�`i[ f�m�Waf rSNl~Xf�� � y q f�eXwxNXrSfkfo[�`d~ mJu NP�mxfkeXPUy

g�`dwxP�m"P�m�fne � u fYeXw�N � f mxW\Rm"m�WXfnw�f$f��X`dP�mxP � �$PxZ\rxWAm�W\R m�w Nlw m � � � � eaw�NQe fkwxmJ^��}�m�� WXNQbi[ Pt] u�`dm�W�eXwxNQe fkw�mJ^���}�mc��` fk`d~X} 9 �%}��s*)m�� 9 �E��f��XeP} m � ) � + ��y0q f RP�PxZXT f"m�W Rm� � �3,�@ ��� w Nlw P�NlT fH� � � ��� � ��y8q f|wxfo[ f � ~af m�WXf$`d~\r w�foR P�`d~X}�[ NQT R `d~XP� � P [ m*�m � � � *�� � � 9 m 9 \ � � d � ]�w NQw P�NQTYf�� � �5y�� `d~\rSf<�<`cP w�foR b�u f"W\R � fIm�WXfw NQbdbdNmu�`d~X}zeXw�Nle\fnw�mJ^P� m � � � 5 r 2 � ��� �Om0,�@ � � � y

¢ fkm � � � rSNlP �Ny%¢ fkmqR P�P�ZaT fzm�W\R m �|`dP�`d~ R~|`d~ m�fkw � Rb PxZ\rxW$m�W\R m �P}��o� � �-,Q��R~ [9 � 9 � �5y+q f � ���CP�Z r�W|mxW\Rm%w NlwqRbdbJW�� � � �� � e � c � e � ��� � c �� b�W � ��f��XeP} AW r i I���y� `d~\rSf 9 �%} �0*5mc� 9 P 9 e � 9 P f��XeP}�rSNQP � 9 m 9 �k]+`N^ R$rSNlT e\RlrSm�~XfnP�P R w�}QZaT fk~ mzm�WXfnw�f ft� `dPxm�P

RY~Xfk`d}QWN` NQw�WaN_NX[ ��}S�U�zNew �'w Nlw � PxZ\rxW m�W\R m�w Nlw0Rbdbz}��s*)m���� ��}S�U� @ � � � 9 �%}�� *)m�� 9 ���f��XeP} 9 m 9 � ) � + y���WXfkwxf�w NQwxf0eXwxNQe fkw�mJ^���}�mc��WXNQbi[ P�NQ~ � � y��^�`d~\[ Z\rSmx`dNQ~ u�f�eXw�N � f�m�W\R m0eXw�Nle\fnw�mJ^���}�mc�0WXNlbi[ PzNQ~�Rbdb � � y ¢%fkm ZaP RPxP�ZXTYf�`cmWXNQbi[ P�Nl~ � � R~\[Ybdfkm ZXPqmSRmxQfEm � � � 5 r 2 � � y#� ^vR eXeXbv^ `d~X} ftsQZ Rm�`dNl~ } �$dM��R~ [|ZXP�`d~X}m�WXfIw�RlrSm�m�W Rm �3m�,�@ � � � u�fz}Qfkm

���%}�� *)m�� �

�� �

���� � �s* m4�@ � �

��2 �

�}S� 2 �=�/m �

�� � � f��XeP} 9 m 9 � ) � + �s2 b 9 m 9 � ��f��XeP} 9 m 9 � ) � + � *u�WX`irxW eXwxN � fkPI`M^�`d~\[ Z\rSm�`dNl~ mxWXfzeXw�Nle\fnw�mJ^���}�m���N � fkw � � 5 r y� � � l5k�� � � ^ P�`dTY`cbiR w R w�}QZaT fk~ m�P0u f rkR ~ eXw�N � f mxWXf rSNQZX~ mxfkw�e\R w�m|Nmw��}�m��n]� � }�mc���9 �%}��s*5mc� 9 � rI ft� e�} � 9 m 9 � ) � + �%w�NQwhR bdb mL,� � � R~\[�w NlwqPxNQT f � � �l]+} ~XNlm�`irSf"m�W\R mq`d~|m�WX`dPrkRPxf � � rSNlP �m�$y

� forSNl~\[�P�mxfke ��u�f eXwxN � f"m�W\R mIw NQw�}��s*5mc� � ��}S�U� @ � � ] bd~ �%}��s*)m�� P �'}�m � ) � + �Iu�WXfk~m�"%$Sy�q fq~XNlm�`irSfzm�W\R m�m�WXf w ZX~\rSmx`dNQ~ bd~ �%}�� *)m���P R m�`dP � fkPqmxWXfIw ZX~\rSmx`dNQ~\R b foslZ\Rmx`cNl~bc~ �%}�� *)m�� P @�bc~ � �6�s* �3m@ � 2��:}��s*5mc� * }S�U¡��

u�`dm�W�5}�m* �o� P bd~P} �A2�} � 2 �o�.m�, �%}��s*5mc�J� R ~\[�RQrnrSNQwS[ `d~X} mxN0m�WafqeXwxf � `cNlZXP�P�m�fne �:}��s*5mc� P�'} ft� e�}/2� Am � ) � + d�� �_�k]:u�`dm�W���� �"Rw|`X`dm�wSRw�`dbv^�P�T|Rbdb�]mu�WXfk~Lm�" $ y

¢ fkm � � `\f�mxWXf�T R � `dT�ZXT � RbdZXf"N � fkw � � Nmw%w ZX~\rSmx`dNQ~ 9 bd~ �%}��s*5mc�/,0m � )�+ 9 y ��N|}Q` � f

R~�ZXeXe fkw�` NQZX~ [ w�NQw � � 5 r RP R w Za~\rSm�`dNl~�Nmw � � *�u�f mSRmxlf m � � � 5 r 2 � � yX��P�`d~X}foslZ\Rmx`dNQ~H}S�U¡c��`cm w NlbcbdNmu�P�mxW\Rm���

bd~ �%}�� *)m��m � )�+ �

��\ � ��� � � f��XeP}.2 Am � ) � + d�� � � *

R~\[vm�WXfkwxf�w Nlw�f � � 5 r \ � �#� �'}�f��Xe }.2�} � � d � � � ) � + d�� �_��y�£�bdfoR w�bv^|bd`cT P�ZXe � � � $GR~ [m�WXfnw�f�w Nlw�f0mxWXfzP�for NQ~\[|Pxm�fke<`cP�eaw�N � fn~ y

q f0~Xfkfo[ R ~ `d~ m�fnw�T ft[ `iRm�fIm�forxWX~X`irkR b�w�fnP�ZXbdmz`d~ Nlw [ fkwzmxN eaw�N � f"m�Waf rSNl~ � fkwx}Qfk~\r f m�N~XNQwxT R b\[ `dP�mxw�`v`XZXmx`cNl~ y�q fqeaw�N � fzmxW\Rmt]Nw NlwBR bcb `d~ m�fn}QfkwxP ��R ~\[EtX]

�%�� }��s*5mc��� P

? 5 p� ?m p bd~ �%}�� *)m�� P �'}�m � ) � + 5 � � 1�t�

Page 25: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

� Z\rxW `c~ mxfkw�TYfo[ `iRmxf$w�fkPxZXbdm�P0w NlbcbdNmu w w�NlT)mJu NArSNQ~aP�`i[ fkwSRm�`dNl~XPU� � wxP�m u�f mSRmxQf�m�Waf � m�W[ fkwx` � R m�` � f�New foslZ\R m�`dNQ~ }S��dN��`d~ Nlw [ fnw�m�N"fkP�mSRm`Xbd`dP�W|Rw_`a`cmxw R w_^�e NQbv^ ~XNQTY` R b }Qw�Nmu�mxW�Nmw�m�WXfw�RQr m�NQwxP �

�%�� }�� *)m��., �%}�� *)m��$y�� for NQ~\[ u fIm Rmxlf0m�Waf�t mxW [ fkwx` � Rm�` � f0Nmw�m�Waf0foslZ\Rmx`dNQ~ }S�U¡��

R~\[0u�fzZXP�f0mxWXf0e NQbv^ ~XNQTY`iRbXNlw [ fkw Nmw ��%�� `c~�� % & �

��% ��� �5}�� *)m���`d~|NQwS[ fkwqmxN�fkP�mSRm`Xbd`dP�W<m�WXf

f��Xe\ftrSm�fo[vw�fkPxZXbdmqZXPx`c~a}�P�`dT `dbiRw�Rwx}QZXTYfk~ m�P�RPzu�`dm�W|mxWXf�� � � P,y��WXfkw�ftw NQwxf�u fzW\R � fzm�WXfzf��XeXwxfkP�Px`cNl~

bc~ ��} e g *)m�� P m � ��}�m�� k � � }�mc� k I� � k � ��}�m* k � 1��W\R~:x_P�m�N0mxWXfq`d~ m�fkwxT fo[ ` R m�f�m�forxWX~a` rnRb w�fnP�ZXbdm�P%u�fqW\R � f ��}�m* k � P �'}�m � ) � + 5 � �iw Nlw k `c~ Rw�foR b�~Xfn`c}lWN`\Nlw�WXN NX[YNmw��5y���WXf0~aNQw�T|Rb bd`cTY`dm�`d~X}0[ `dP�mxw�`v`XZXmx`cNl~|Nmw�m�WXf"^�Nl`dP�P�Nl~$m�wSR~XP w NQwxT�%}��s*)m�� e d � rSNlT fkP%w�w�NQT��

e d � �%} e g>i ` � )�+ *)m�� f��XeP}/2 �%}�m�� k , � � }�m��5� P f��Xe � k I� � ��}�m* k � k � � d � i I }�m�� � *

u�WX`irxW m�fn~\[ PqmxN e g h i I�y��~ NQw [ fkw�m�N$mxw R ~XP�biRmxf mxWX`dP wxfkP�ZXbdm�mxN � S } e g �0Nl~Xf ~Xfnfo[ P�m�N R} R`d~�w�f�w fnw�m�N [ fne\Nl`cP sP�Nl~X`��oRmx`cNl~ y���N�m�WX`dP�fk~ [ u f0rkR ~$ZXPxf0��WXfkNlw�fkTYPq��R~\[|�"Nmw�p RQrkslZXfkmzR~\[ �t�ne\R~5xlNmu�P_x `} �t�Q�Q�c�Pu�`dm�W � P ��,l� � �Iu�WX`irxW `dT eab ^�mxWXfqrSNl~ � fkw�}lfk~\rSf�New � S=} e g>i � � � f��Xe+}/2 �AS k , ` � S5�m�N"m�WXfIP�m R ~\[XR w [Y~XNQwxT R b � R w�`iRmxfq`d~ [ `dPxm�w�`v`XZam�`dNQ~$R~ [�`d~|T NQTYfk~ m�P,yPq fq~Xfnfo[ ` f�w NQwxf0m�NrxWXfor|x R ~�foslZX` � Rbdfk~ m�Nmw rSNl~\[ `dm�`dNl~�}�`c`��n]m�W\R m�`dP 9 �%} e g>i � � *5mc� 9 e d S 9 [ forSwxfoRPxfkPzw�RP�mxfkw�mxW\R~R~N^�e NQbv^ ~XNQTY` R bX`d~�� u�WXfk~7m7,� � � R~\[ 9 m 9 P ��y���WX`dP�eXwxNQe fkw�mJ^|`dP�foRP|^ mxN rxWXfor|x|P�`d~\rSfu�`dm�W eaw�NQe fkwxmJ^ � � }�m��$�

����%} e g>i � � *5mc� �

��

\ �� f��Xe � � � � )������ � + �

\ �� f��Xe � } � � � � bd~`�` � S � � � � 1 E

� � !���h,n ��h,h+�����q fhR~ Rbv^t�kfo[ � Rwx`cNlZXP ~uR � Nlw�P�Nmw�`XZ\r|xQfnm�P�fkbdforSmx`dNQ~ R ~\[YP�NQwxm�`d~X}�Rbd}QNlw�`dm�WaT PUy � rSNQT�s

e\NlZX~\[0^�Nl`cPxP�Nl~ bd`dT `dm=uBR P w�NQZX~\[ w NQw ��� " �� � � � ��� ��� ��� �!�� �� <���]lR~\["rSfk~ m�wSRbXbd`dT `dm m�WXfnNQw�fnT Pu fnw�f%w NlZX~\[ w NQw�m�WXf�wxfkP�m�Nmw\PxfkbdforSmx`cNl~ R~\[IP�Nlw�mx`c~a}hTYfkm�WaN [ PUy+q fBrSNl~XP�`i[ fnw�fo[Y[ `dP�m�wx`v`XZXm�` � fRbd}QNlw�`dm�WaT Pzu�WXfk~�m�WXf�~ ZXT` fkw0New�`aZ\r|xQfkmxP `dP0mxWXf PSRT f�RPIm�WXf�~ ZXT` fkw0New�xlf�^ PUy7� ZXwR~\R bv^_Px`dPhrkR ~¦` f ft� mxfk~\[ ft[ m�N|Nlm�WXfkwzPx`cmxZ\Rmx`dNQ~XP�u�`dm�W R�biRwx}Qf"~ ZXT`\fnwqNmwz`XZ\r|xlfkm�P,y gaNQw`d~XP�mSR~\rSfl] NQ~Xbv^YT `d~XNQw�TYNX[ ` � rkRmx`dNQ~ New m�Waf eXwxN Nmw PzNmw%`\Nlm�W9��� "! �� �#��� ��� �� � � � �� ��><�� R~ [��� "! �� � � � ��� � �J<��! �u�`dbdb�}Q` � f�mxWXf R ~\Rbv^ P�`dPzw�foslZX`dwxfo[�w Nlw R$[ `dPxm�w�`v`XZam�` � f R bc}lNQwx`cmxWXT u�`dmxW@ P 8 � �+:_]:w NlwqR0e NQPx`dm�` � fzw�ftRb r NQ~XPxm R~ m � y

� T R bcble\fnw�`dNX[ `ir�~\Z rSm�Z\R m�`dNQ~aPUy�mJ^ eX`irkRb `d~"m�WX`dP�mJ^ e f New%R ~\Rbv^ P�`dPo]lReXe foRw�`c~Im�WXf�wxfkP�ZXbdmxPNmw wxforSZXwxP�` � f`aZ\r|xQfkmx`c~a}vR bd}QNQwx`dm�WXTYP�`\R P�fo[<NQ~ [ `d}Q`dmSRb [aRm R:yz��WXfkPxf'~\Z\rSmxZ\Rmx`cNl~XP0Rwxf Newm�wxZXbv^�R~A`d}Q~XNlw Rm`abcfYT R }Q~X`dm�Z [ fQ]�R~ [�PxWXNQZab [ ~XNQm R{�uftrSm mxWXf$eXwSRQrSmx`cNl~XfkwxPU� [ forS`dP�`dNQ~ANewu�WXfkmxWXfkwqmxN rxWXN NlP�f R'`XZ r_xlfkm�`d~X} R bd}QNQwx`dm�WXT+NQw�~aNQmUy

��WXfqR � fkwSR}lf�s rnRP�f w�fkPxZXbdm�w NlwC�����O����� ������� ���U<��! ��� "�bdNQ~X}�` fkfk~�x ~XNmu�~"P�`d~\r f$� ~ ZXm�W} �t��¡�b9�eXe y �,bX�t¨u�UbedM��eXZ5`abc`dPxWXfo[�`dm w NQw�m�WXf � wxP�m�m�`dTYf�y � ZXw�eXwxN_New rSN � fnw�P�m�Wa`cP�NQbi["wxfkP�ZXbdm,y

�c�

Page 26: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

��WXf�bd`dT `dm�`d~X}�[ `dP�mxw�`v`XZXmx`cNl~ wxfkP�ZabcmxP R w�fY~Xf�u+`d~ mxWXf rSNl~ m�f��Xm0NewBwSRQ[ `�� P�NQwxm�`d~X}=y�� `dT `dbiRww�fkPxZXbdm�P WXNQbi[0w Nlw�m�WXfIf��Xm�fkwx~\Rb�e Rm�W|bdfk~X}lm�W$New�m�w�`dfkP'}�p_RQrnsQZafkm0R~\[$y|{fk}Q~a`cfnw�} �o�l�Q�c�_��y%��~w�RQr mo]XmxWXf�rSNQPxmqNmwC���0��� � �U<��� B`dPzR�P�e forS`iR b�x `d~\[YNmw�e\R m�W$bdfk~a}Qm�W<`c~|wSR~\[ NlT @Is�Rw_^|mxw�`dfkPNQ~"�Hxlf�^ PJ[ m�WX`dPqrSNlP�m�`dP�m�Waf0m�Nlm Rb e Rm�W|bdfk~X}lm�W|m�N�Rbdb ~XNl~Ns�fkT eXmJ^"f��Xm�fnw�~\R b ~aN [ fkPUy

f�n[�A����� � ��� ��� � �+jUh � ��WafBR ZXm�WXNlw�P�Rw�f�m�W R~5xcw ZXblm�N0U$R w_xQNqyO`dfo[ fkbcw Nlw�P�f � fkwSRbXWXfnbce{w ZXb[ `dP rSZaP�P�`dNl~XPUy���Waf � wxP�mzRZXmxWXNQwIu�`cPxWXfkPzm�N�mxW\R~:x �_� yz� � w NQw�PxZXeXe NQw�mx`d~X} WX`dP P Rm`:`\Rmx` rnRbbdfoR � f�y���WX`dP�u�NQw|x©u�RP�PxZXeXe NQwxm�fo[ `c~�e Rw�m `M^"m�Waf ¢ Nl~X}z��fkw�TEy�fnP�foR w rxW$^�w�Noj forSm���� �)<� �� � }��E�c�Q�ed�dM��Nmw�m�WXf"��ZXw�Nle\ftR~H��~X`dNl~ y� ���&� k � �in � h

� � �����������\� �� ��� � ��� � �_! ������� "!# �%$#��$'&)(*�����,+%-.� ����(�/*��+�0�(*��1%$32 � /�(*��(*�����%���4� 65'7'8'9%:<;>=%?A@B9%7C :*9�D#E'F<F'@G7%H>I�E�?A?JE�:�F �4KLK4�LM"N �%

O �P����/�$'QR�'� � �TSU��&<V�$#�A�XW �\� ��Y 24$#�A��� �\� 0�+4$'/'�TW �\�Z����$'/��'�\[ ]� ���|\0�V�$'-��\^ \��"� M O�!#_ 9%`ba%F)?dcdF)?A@B;3=%?JE'Fe9�8>I�9�D#=%?A@B9%7LfPg�a�:<h�E�ibF�=%7Lj>k6j%hb=%7LD#E'F� W\/*����&'$'(����v� �%��1�$'/��*��(l-mW\/�$'���'�W\/*����&'$)(������ �R$'Qn^�$'/���$'-

o �Zp%0������]q ���"� Mbr !#skutT9%a�:�F'E�@G7 C :l9%`#=%`�@wv�@B?Aiyx4z4E<9%:#i�r � $)1%/��b-�$��\� ���"����{�!#PI�E<D�?Aa�:lEP|�9%?AE'FP9%7,}~a�D<�%E�?�kev H%9%:<@B?�z4;�F� SU��/�V%p � 0���$'/'�\SX����(���� � � $)1%/��b-�$��\� �� ���mq ������&'��$'V4�\ �������%�!# �61�$'/ � ��$3(*� Y $>+L$'p � 1�����/��b�X�%����(�/*��+�0�(*��1%$�����/�(*�����

� ������/*��(�p Y � �t\9%;Z�]a�?A@B7�H ���L��� N�M { � ��+4���*��$)Q~��&)����[ ���"� M ��!# �%��/�(*������+%-,�%����(�/*��+�0�(*��1�$�2 � /�(*��(*�����%����� e5'7'8'9%:<;>=%?A@B9%7 C :*9�D#E'F<F#�

@B7%H�I�E�?A?AEb:�F � ��� N { M �\p�/*����&<p��T� ������� �!# � $ � /�&<p ����� � ��������/�(*������/�$ � �\�%0 Y +4$)/�� P�%�]kPv H%9%:#@B?�z4;�F ����� N r � � � �b�����|� ���Z��$'1�$)/���$#��('� � ��WT��2�24$'����$'/'�v� .� ���H�%(�/�������� � ����� M ��!# �U�%(�$'���%��+ ��$

� � ��p �����b� � � � ��( � &'&'$'��� Y $'(�p��%���A��/���-%� ��Y ��&�����$)� yk�t]��x�:*=%7�F'=%D�?A@B9%7�F69%7��e=%?J=%`<=�F)Eg�i�F'?AE�;�F �%��� o �� N o r�r

� ��� �'� �b��$'('�eW R�������o�!# �P��(�p�$�2L$'/*�A��/ Y�� ��&'$�$'1 � ��0 � (*�����n�b�e$'�%(�$'��� ��+%��$mp � ��p%����� �kPD�?A=5'7'8'9%:<;3=%?J@GD#= ���4 �� o r � N o�{��

�¡% ��� �'� �b��$'('�]W �L�P��0�/���������� � � �����R0 Y�� �'��W ����������! !,$<�������Y\/ � ���*�A��/ Y � � ���"�6��- Y 2�(���(*¢��&'�'£J� � / Y ���%��&z�%0 Y � �x4z4E<9%:*E�?A@BD<=�v�t\9%;Z�]a�?JE�:Rg�D�@BE�74D#E ��K%�4��� o N ���%

�� ��� �'� �b��$'('�6W �sW���+%��$'(�$��6W s� ���¥¤R���b� � ��� Z��"������!# �P��(�p�$ � � � ��-%�*���,�b�6������$ � /�2�/���+ �����p � ��p%����� ������� �A\$'&<p��%��& � �%�Z$'24��/�( o�O�{�� \� � 2�2L$ � /R��� kev H%9%:<@B?�z4;>@GD#=�

�O% ��� �'� �b��$'('�sW T� ���|�%$'����$'QZ��&<V4��� X���������!# !,$<�������¥(�/ � ���*�¦��/ Y � � ��� � ��- Y 2�(���(*��&'�'£0�����%��(�$�%��§�$'/�$'��&'$'� � ��� �d��&'$�¨ � ���%(�$)��/ � ��� yxLz4E#9%:lEb?A@BD<=�v]t\9%;~�]a�?AE�: g�D�@BE�74D<E ��K%�4�]� "¡ N �O r

�o% �P������$'('��� ������� r !# �P��� ��/�$)&'( � ����/�$'���*�����,����/�( _ k65 _�© fRx�E#D<z474@Gªba�EPE�?�g�D�@BE�74D<EZ5'7)8'9%:«�;3=%?J@Gªba�E'F � ¬�� �O�o N "O M

r � � � /�$�� � ���"��{%�!# � ����� � � ������/*��(�p Y­{���!#>tT9%;>;3a�7L@BD#=%?A@B9%7�FR9�8Rk�t�� �4��� o�O% N o�O�O%��% ^ � &)®%0�$'('�UW T� ��� �°¯$)���%��$'/'� ! d��"����{�!# \/*��$�2 � /�(*��(*�����%���4�m2�/��%&'$'���'£h�4� Y ��(*����� �~����(�/*��+�0%¢

(*������� PI�E#D�?Aa�:lE�|e9%?AE"F6@B7mtT9%;~�]a�?AEb:Zg�D�@BE�74D<E �%��K���� "��{ N O "¡ �%2�/*������$'/'� �R$'Q²±X��/�V �{% ^ � &)®%0�$'('�UW ]� ���v�°¯$)���%��$'/'��! X���������!# � ��/ Y�� �\��� Y ��(*�����m�%����(�/*��+�0�(*�������A��/�(�p�$��*���'$ � ���

(�p�$�$'�%(�$'/�� � �X2 � (�p°��$)����(�p����\(�/*��$'�'�X�����������Z$'��$ � /�&<p �Z$'24��/�( ��O M M ^ � &)®%0�$'('�sW T� ���$� �)2 � ��V��bQR��V��6[ s������%�!# �P� � ��-%�*�����b�~� ������( � �6(�/*��$'�3Q~��(�p Y�� /�V���1�� � �

��$'24$'����$)��&'- 65#cdcXc³x�:l=%7�F'=%D�?A@B9%7�F~9%7�5'7'8'9%:<;3=%?J@G9%7mx4z4E<9%:#i �4¬L��� r%M ¡ N r%M � ��% ^ � &)®%0�$'('�]W L� ��� �%�'2 � ��V���Q ��V��s[ ]���������!# �P� � ��-%(*��& � �Z��$'24�����������%��� � (*����� � ���,��(�� � 2�2 ����¢

& � (*�������'��(���+4$32�0�+ ������p�$'����� x4z4E<9%:*E�?A@BD#=�vTt\9%;~�]a�?AE�: g�D�@BE�74D<E

�a�

Page 27: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

��% q ��/���&<p�$'��p��b�A$'/'�sW �]WU/��%�%������$'/'� � ]� ��� � �)2 � ��V��bQR��V��A�X[ X���������!# �P��(�p�$�1 � /*� � ��&'$y�b�(�p�$�$'�%(�$'/�� � �\2 � (�p���$'����(�p,��� � ��- Y�Y $)(�/*��&>�%���b��( � �X(�/*��$ R��@wF)D�:*E�?AEZk~�%��v�@GE#j���=%?�z4E�;>=%?A@BD'F ������ �O�� N r o%

O�¡% qP�%0�(�p�� � X���� M o�!# x4z4E�k�:<?P9�8,tT9%;~�]a�?AEb: C :l9#H%:l=%;>;3@B7%H���f°g�9%:#?A@B7%Hy=%74j,g�E<=%:*D<z4@B7%H4�P���%�������%¢*[�$'�*��$'-����Z$ � �%�������\! � ��� � &#p%0���$'(�(�� O � ! � p Y ��0���� � �\!,�%� � /�/�$'�'� � T� ��� � Y -%(�p�$���� d��"������!# �P� � ��-%�*��������#P0%��&<V%��$#��$'&'('£h�P�

� ������/*��(�p Y �¦��/3��/���$'/���( � (*����(*��&)� _ kP5 _e©�� x4z4E<9%:*E�?A@BD#=�v]5'7)8'9%:#;3=%?A@BD'F�=%7Lj,kZ�%��v�@BD#=%?A@B9%7%F ������ O���� N O M {%

O�O% W���(�(�$#�A�\S m�������{�!# W � (�p�� ��� � / � ����� Y � ������( � �s(�/�$'$�£d��� Y ��(*�������%����(�/*��+�0�(*�����L� 3kPj%h�=%74D<E"F@B7�kZ�%��v�@BE#j C :l9%`#=%`�@wv�@B?Ai ��K���� �o�� N "���%

O�o% �°¯$'���%��$'/'�u! ]� ���¥^ � &'®%0�$'('�]W ����������!# �R$'Q /�$)��0 ��(�������(�p�$3�*���'$����Z(�/*��$'� e5#cXcdc³x�:*=%7�F<�=%D�?A@B9%7�F69%7�5'7'8'9%:<;>=%?A@B9%7�x4z4E<9%:<i �L¬���� O�¡�o N O�¡��%

O r �bY.Y ����$)���_! 4��"��� "!# �P� � ��-%�*���R�b�u�~¢l(�/�$'$)� _ kP5 _�©� 5'7'8'9%:<;3=%?J@G9%7 C :*9�D<E"F<F)@B7%HPI�E�?A?JE�: �K���� �o% N "o M

O��% [��������Q� ����������!\k�F'i�;~�]?A9%?A@BD\kZ�%�]:*9�%@B;3=%?J@G9%7 FT9�8\5'74?AE*H%:l=�v�F# �6& � ��$ Y ��&6W\/�$'���'��P/*� � �������������/*��� �

�l�

Page 28: Analytic Variations on Bucket Selection and Sorting · Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To

�oT�:CF&R>#5�>\OV>GK-26>POPK-26>e�j��Q��jW �t)/OEOP,/:<T6>Nx+Z?>GK-2�T6)/=��)/;C>A5�>#��,4T6KMgNa X�OP,/ft)/:C*Mx+]�,/.`=�36*�*EKU:C>PT�Fb:��6LN36>+x� �N�#O-36>#5[3%I/,/OP5[:<T�XA)+F-,/T�:CLN36>+x/XA8��/�&�{x&��� � �+�����b�t�eQ#Y����AY`�\W��#]�

�AT�:CF[R>#5�>\OV>GK-26>POPK-26>A�b��Q\�bW Q�>UT�T6>M*Gx+��O-:C*E,�x&]�,4.`=�36*�3�T�:C_+>POP*b:CF-,/:<OE>A5�>#XA>G,/3�;<:C>P3yx/�&�/���[�#Q������ Y�]�>M5�>Gw�oT�:CF&R>#5�>\OP>MK-26>POPK-26>A�b�\Q��bW Qo2��)/T6>PabWo;<=?>M*Gx � �+�{x+, _N>PT[36>�5�>\;b~ y3�OP)/=t>+x/�+�+�+�+�|0��\�\ZAX����\���#Z Y[Z"0�W�Q9ZA�b�

�AT�:CF&R>#5�>�OP>MK-26>UOVK-26>A�j��Q��jW Q�)[KMLN36>PT6KG)/3�OVFUx z#)/.�,/:<T6>A5�>��y)4;<36KM>M,43yx+Q�)[KMLN36>PT6KM)43�OEFMx/XA8 �/�&�{x�/�&�+�4�c��]�(�AY[��W� ]�>G5�>Mw

�AT�:CF&R>#5�>�OP>MK-26>UOVK-26>A�j��Q��jW Y[)/=�2�:C,/abWAT�Fj:<=?)G;<:C*Mx/�/�+���|OV)436FE>\5�>M*A��36KP:C)/;C>G*Mx+XA8��N��x&� � �+�&�cY��\8�(��bWoa W\��ZA�b8��\�t�EY]�>G5�>Mw

{��[ `dm�fnZXw�_� yz� � ]o� NQT|R`d~Xf�[ f���NlbcZ rSfoRZ�]Xy�NXrkslZXfk~\r NQZXwxmo]o��^C�,�� X]N¡Q�a�U cb©¢��;£�M ���5� ��¥ £�fo[ f��

}�gaw R~ rSfU�������� !"!�#�#�#%$�&('*)+&�,$ -.)�_�5�5�8�l�md_� s §cbQ�l�