m


 à 


 à 
à

à  à

m

 


m

i 

i !

"
i m

i #$ 
$ "
%
&'
 
("'
)
 %&

 

m
 
m

m


*


 + ˜

,
' 
"
 -
i .
,
-"
 
 ˜ "
,
˜
"



ë L  ˜ L j 
ë j  ' ˜
ë   ˜
i  -L 
i 0' -/
L^j  ˜

m
 
!


0"


"  —
 à
Ê  à

' &1- 
 sequence ^ position à of pivot
i 0 ,^
 ^ ›
 subsequences L j  of the
elements of less than^ equal to^
 ë &  
or greater than the pivot^ resp.
i 0
ë
L^j ^ L j  a empty sequences
"
 &
˜ a 
Êà

 "
1

þ  è jàëÊ

"
,˜
ë a 
Ê 
Ê


#

 ,  ë ÿ ˜

+

 L
L Êë

&' ^ 
 ë  ˜

Ê

 j
L Êë

2 ^"

"& 
 - ë D ˜ }
'

Ê

 
L Êë

 L j 
m
 
m
2
$ 
&'

"
+%+
%
i #" 
,&'

ë 4' +&$ 

"
,
ë ' &$ 

i 2




i 2, +' &
*5

  à 


 à 
à

à  à
m
 3
#$ 
#$ "
!
,


 
 à 
)

 à 
 ) à )

à  à  à  )à )

à à 

m
 
#$ 
#$ "
!

^ 
,^"
,


 
 à 
)

  à 
 ) à )

à  à  à  )à )

à à 

m


#$ 
#$ "

!

^ 
,^+

 
 à à 
)

  àà 
 ) à )

à à  à  )à )

à à 

m
 )
#$ 
#$ "
 
,^6^+^/


 
 à 
)

   à   ) à )

à  à   à  )à )

à à

m

#$ 
#$ "
 
,^"
,


 
 à 
)

   à  
 
à )

à  à   )à ) à

à à

m
 5
#$ 
#$ "
!

^6^ 
,^+

 
 à 
)

   à  
 
à )

à  à   )à ) à

à à

m

#$ 
#$ "
7
^/


 
 à 



   à  

à

à  à   )à ) à

à à

m
 
0 
2

21&'
 1"
,
 
' 


 $
 
&L  
*   
*º
2 


""

 i Ê  
i « i 2 i

2 ^1 

&'


Ê2

" 

º 

 

å å

 
m
 
#$" 
2

0
 
,&'
' &
*
i 
 
*&L  @A?
i X
 &L  
*@A?

 

 


 
 
à
 



 X



 1
"++

% A2

i 8&"
+"
, -
3
)  5     3 

X

 

 X



m
 
#$" 
2
^!
!++


9- 2$" +&
'


ë 
2ë
9&"^1$"
i A2 
i 2
*&
" ' & 
 @A?A2
2&^1,  
  

ÊÚ ›Êa
i 9&"2log?A@^
$"
" 
*

i 2$"
& Ê Ê
›Êa
'


Êlog 

›Ê
a
2  1 Ê Ê Ê Ê ›Êa
& "

Ê

2 ^$" 


&'


Ê log 

 

 ›Êa
a

m
 3
(!m

m
+
" 
 
"
("

"^1  —
  
 ë 
Ê  


""
 
 sequence ^ ranks  and

 &
"  ›
sequence þith the
'   elements of rank betþeen  and

rearranged in increasing order
i  
"
,,
  

i  ' "
, 
,+1
ë  a a random integer betþeen  and

i   ˜ a  ëÊ

"
,,ë Ê
 ë
a  
ʘ

2 
,
  
 ë 
Ê  
 

i  1

 
 ë 
Ê  ë i 


i  1

ë

m
 
(!!



!& "

 
1

"

:
#4;

 "
#4;
#;
/ 
3 5
3 
 ) 
m "
,>

" 
/-

i /
 
&

 < $
i & 
&

 =$
i 1" 

/
/ 
3 5
3 
 ) 
m

m


 %&

 


 2
 ?

  


Ê2
  &  


"

 
 
Ê2
1& 
" 

Ê log 

"^
*

'
 &&
" 
expected

"
"
Ê log 
&&
" 

' 



Ê log 
&& 
" 

m
 )