Persistent Data Structures

 

 


    
    
 
 



  


    
        !
"


 


  
# $

 


 
 


  
 

%  

  
 
# &

  
 

  
 ! 
# &



  '
(   


  
 ! )

   
 
# *


 
 


   
 # +



  '
)

  (   
 
  
 
# ,  





 "    

  - 
   
 

# *
  !  



  
# '
    
 

 
  *  
! '  
)  
 
   
 
 
  
  
# .    !
 




! $/ 0   
 $/ 0 !!
 
       
#

   .   
  1'2 '"  !
 


  
  
 
  


 
 
 
  
# $

% 
 
  

  
   # 
  
!    
 ! 
' 

    
  
  ! 
   )
   
3 . 

 

    


 !    

   

   

  
!  4
 

 
 
)
 # * 

 
 ! 
 
' 

 
 
 
 

%   !


 # *


 





 " 
 

 

 
 
 

!

 
 
   (%
 
  
 


  
2

 


    2 +
#  5
' 

 
     
 
 
)
   
 /     
 
0# +
# ! 
% 
 ! 


 '# * 
  ( ( 

 
   !  
  
" % 
  
 !  
 ( 

    !  
  
"  
/  
0# *  !  

 '
  /
0 
  !
 
   /
0 
# 6!

 
  


  
  (
!


 ! 
)

7

 

 ' /
¾ 
0 
 /
¾ 0  
  


# 8

!

 ! 4
 
  



! 


# . !

 
9 
   

 


  
 !
 ( 
9   
   "
"  

    
# .  ! !
 



/
0 )
 
 
 /
0  
 /

0 

 
#   

    
 

 8! 
" '   !  '
  
2 
  


# 
 !
" 

  

 !    ! / 0   
 / 0 !! (  
  
  *4
 # ,
"
    


 '


%   
  
 
 

 


 !
#

     $
 !  '
  


     (  

 
# *
 
'! !  
!   
   
# /+  

 

 
!   
 

  4  
 #0 *  

)

)
 / 0  


 ( !
4 

  


! # '
!

 ( '
 / 0  
 

(  

  
( # /*    9
 
   !


(    ! 
# : 

  
!  / 0 


 ( 


  ! 

'
   

 
'#0

 


    2 ; 
 

 
 

# ,
 ( 
 
 
 
 !




   '
 
# . !
"

 ( 

 
 
  / 0 !!# /.  

 
  
  )
 
(
   
 # 
!
"

 
(  
 
   ( 
 
   
  
(   

  '
# * '
 / 0 
 ( 
 (

   
 # *

  

  

 
   

'  
)
 
    
#0

        :
  

   '
     


 # *
  
 


'  
 
  
  
  
 

(
    

! 

# *

( 

 
      
  
  

 -
 
# /*
 
 ! ! 
 
#0 <     
%
  
 = 
 

   
"  
% 
"  
# /

 
)
  

  
   
" 
 
#0 +
# ! 
% 
       
 

# <'  ( 

  
!   !
'


    
 
= " !  ' 
# 8
 
  
! 

 


/ 
 
0# 3 2 1 3 4 5 add 6 2 1 3 4 5 4 6 +
#  &     
 

 :
 



    
# :

 



%
    ( 

 # ,  (   / 0 
' 
- 

   
"  
/ 0 !!# ; 
 ( 
  
  !
# .  " 
  
9
 

 
 
(  





 
# *" /
0# &    
 4  !
  

  
#

     

 *4
 # 
 !  !   


   
     
 / 0 
 !!  / 0 (  
 
# 6

" ! 
    

 
 

# .
 
 !





# * %   
(  

-

  (  
 

   

" '
   

 

 
2
(

 


 -  
 % 
#    2>  !
  ( !  
# .

 
" ( ,


 !

  
 !

' 
( %   
 
  

 
# /*

 

(
 

  
 
 !

 #0 . 
( % 
  

 


( 
 
 !


( %  4 
 ! 
    

# $ 

   

 
   
( 
 
 !



 
( % 
  
 

# / 
( %   
!
 
# *
 !
" 
 
  
 
 
  !
"  

   
#0 <   
!' '
# /,


 ( 
 

    (
#0 . 

" ( % 
 
 !
(  ! 
(# $
!
 
( %  # ,
'
    

  
     # /*  !

!

 

" (
 ! 

 ! 
  
( %#0 *
 !

  
( 
  

! 
 !  
( %# /,

!

 

! 
" (
   ( % 
#0 + !

 
 

" 
 4 '
  # /*  
( 

" ( %  '     

 

# . 

  
-" 
-!
 

!    
   #0 +
# ! !  !'  

 
 

# *
( %
 
!  
# 4 lft lft 4 rt 2 insert 1 rt attime0 4 rt lft insert 3 2 lft rt 0:lft attime1 1:lft 2 lft rt 1 lft rt lft 2 0:lft lft rt 1 rt lft rt 3 lft rt +
# <  

 
 

# ,    
  
   
( %
%  
 
! 
# *  (  
   


 

 
  
 


 
  
   
 
  
 ! 7

  
(# 2 lft rt allbefore t ? t: lft allafter t +
#> 6! (   


 
#

 


    2 6!   
3 ,
 
 

  / 0 !! /   
/ 0   ( 

 0 4  !
" 
? /,
 
' 
( % 
 
!

  " #0 *
  
 ( 
)
 9
 # : ( '
 / 0  9
  
  / 0  9
 
# * 

! 
 
   !

/ 0   
  
    # *


   
4 

  

 
 

   

 
/   
 
 (0# *
 

 



 !
( %
 
#  !  
  ( 3  ( 
 

   
   !
  
  ( %# /,
  )
-    
! -   
" 


#0 @

  
  
#   / 0  
 
  


 

   
? /,3 + 

!
  
  
    
  

 # *

  !    !

  
 
" 
 
 

! 

# 5 !
'!  " 
 
 

! 

-

% 
 
 !
   

" 
    
 ? + !
'! 
 " ( % 
# * !
"


   

! 
 

   
 !  
#0 *
( 
(  ( % !  / 0 
 

   
# &   

 

   A B  / C A C 0 B / 0 
? # * !
"
 / C A0 B / 0  
,   2

 
3 ,
 
  
)

 
( %# *
    
    
 !  
 
    # . 
2


  
  
 !
 

% ( %
  
 / 0  
 
#

       
" 
  


 
  

  
 # # ,
! '! !  '


 

=  ! '  
 

 !

3 .      
  !

  

   # *

   # 
  !
!

    

  (  !
 /
0 ( /   /
0  
0
 
- 
? : 
 
% 
 

 '
 
2 ' 

  

 
# D
2 ' 

 '




 
 !   

 ( /    ( ! 
E ' 0# * ' -

 


  (  / 0- # *
F G 

 
E '  ( !  7
   
 

 


# : 

 
2 ' 

! 

  '



 
  

E '  

 

  


/  
 ( 

0# * !
    
E '  !    (  ! 



2

 # '  


 
  
 !
!" 

  '  

E '    
  


  !
 '


  

 
  


  / 0


2

 
 (#