~/talk

Pushing the Information-Theoretic Limits of Random Access Lists

Talkat ICFP 2025 · 2025-10-12..10-18
links:none on file
links:none on file
links:none on file
slides:none on file

Provides a concrete improvement to Myers lists: a simple variant reduces pointer traversals from 3⌈lg n⌉−5 to 2⌈lg(n+1)⌉−3 and a more complex design uses skip layers and uncle pointers to reach (1+1/σ)⌊lg n⌋+σ+9 traversals for chosen σ, asymptotically approaching the information‑theoretic ⌈lg(n+1)⌉−1. The structure preserves O(1) cons/tail and two outgoing pointers per cell, relies on a tree view and recurrence analysis, and reports artifacts and proofs in the paper.

AI-written summary · about

  1. 0:00Introduction
  2. 0:23Singly linked lists limits
  3. 1:26Myers list jump pointers
  4. 2:29Lookup complexity limits
  5. 3:54List structures as trees
  6. 7:07Lookup via tree traversal
  7. 9:35Improved Myers list binary
  8. 12:28Advanced Myers list balancing
  9. 16:48Pointer additions complexity
  10. 17:53Summary
  11. 18:20Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.