Top-Down Skiplists

نویسندگان

  • Luis Barba
  • Pat Morin
چکیده

We describe todolists (top-down skiplists), a variant of skiplists (Pugh 1990) that can execute searches using at most log2−εn +O(1) binary comparisons per search and that have amortized update timeO(ε−1 logn). A variant of todolists, called working-todolists, can execute a search for any element x using log2−εw(x)+ o(logw(x)) binary comparisons and have amortized search time O(ε−1 logw(w)). Here, w(x) is the “working-set number” of x. No previous data structure is known to achieve a bound better than 4log2w(x) comparisons. We show through experiments that, if implemented carefully, todolists are comparable to other common dictionary implementations in terms of insertion times and outperform them in terms of search times. ∗School of Computer Science, Carleton University and Département d’Informatique, Université Libre de Bruxelles, [email protected] †School of Computer Science, Carleton University, [email protected] ar X iv :1 40 7. 79 17 v1 [ cs .D S] 3 0 Ju l 2 01 4

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Verification of Skiplists with Arbitrary Many Levels

We present an effective method for the formal verification of skiplists, including skiplists with arbitrary length and unbounded size. The core of the method is a novel theory of skiplists with a decidable satisfiability problem, which up to now has been an open problem. A skiplist is an imperative software data structure used to implement a set by maintaining several ordered singly-linked list...

متن کامل

A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height

This paper presents a theory of skiplists of arbitrary height, and shows decidability of the satisfiability problem for quantifier-free formulas. A skiplist is an imperative software data structure that implements sets by maintaining several levels of ordered singly-linked lists in memory, where each level is a sublist of its lower levels. Skiplists are widely used in practice because they offe...

متن کامل

A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention

Priority queues are fundamental to many multiprocessor applications. Several priority queue algorithms based on skiplists have been proposed, as skiplists allow concurrent accesses to different parts of the data structure in a simple way. However, for priority queues on multiprocessors, an inherent bottleneck is the operation that deletes the minimal element. We present a linearizable, lock-fre...

متن کامل

A Comparative Study of Effect of Bottom-up and Top-down Instructional Approaches on EFL Learners’ Vocabulary Recall and Retention

This quasi-experimental study investigated the effect of bottom-up and top-down instructional approaches on English as a foreign language (EFL) vocabulary recall and retention. To this end, 44 high school students from two intact classes were assigned to bottom-up (n = 21) and top-down (n = 23) groups. The participants were exposed to 20 hours of explicit vocabulary instruction during 10 weeks ...

متن کامل

Event-Related Potentials of Bottom-Up and Top-Down Processing of Emotional Faces

Introduction: Emotional stimulus is processed automatically in a bottom-up way or can be processed voluntarily in a top-down way. Imaging studies have indicated that bottom-up and top-down processing are mediated through different neural systems. However, temporal differentiation of top-down versus bottom-up processing of facial emotional expressions has remained to be clarified. The present st...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1407.7917  شماره 

صفحات  -

تاریخ انتشار 2014