TADM2E 3.15

Init:

 k=0

Insert X:

 k = k+1; 
 A[X] = k; 
 B[k] = X;

Search X:

 return (A[X] < k) and (B[A[X]] == X)

Delete X:

 A[k] = A[X]; 
 B[A[X]] = B[k]; 
 k = k-1;