Finger Search in the Implicit Model.

We address the problem of creating a dictionary with the finger search property in the strict implicit model, where no information is stored between operations, except the array of elements. We show that for any implicit dictionary supporting finger searches in q(t) = Omega(log t) time, the time to move the finger to another element is Omega(q(-1) (log n)), where t is the rank distance between the query element and the finger. We present an optimal implicit static structure matching this lower bound. We furthermore present a near optimal implicit dynamic structure supporting search, change-finger, insert, and delete in times O(q(t)), O(q(-1) (log n) log n), O(log n), and O(log n), respectively, for any q(t) = Omega(log t). Finally we show that the search operation must take Omega(log n) time for the special case where the finger is always changed to the element returned by the last query.