Predecessor on the Ultra-Wide Word RAM

Philip Bille, Inge Li Gørtz, Tord Stordalen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

75 Downloads (Pure)

Abstract

We consider the predecessor problem on the ultra-wide word RAM model of computation, which extends the word RAM model with ultrawords consisting of w2 bits [TAMC, 2015]. The model supports arithmetic and boolean operations on ultrawords, in addition to scattered memory operations that access or modify w (potentially non-contiguous) memory addresses simultaneously. The ultrawide word RAM model captures (and idealizes) modern vector processor architectures. Our main result is a simple, linear space data structure that supports predecessor in constant time and updates in amortized, expected constant time. This improves the space of the previous constant time solution that uses space in the order of the size of the universe. Our result is based on a new implementation of the classic x-fast trie data structure of Willard [Inform. Process. Lett. 17(2), 1983] combined with a new dictionary data structure that supports fast parallel lookups.
Original languageEnglish
Title of host publicationProceedings of the 18th Scandinavian Workshop and Symposium on Algorithms
Number of pages15
Volume227
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publication date2022
Article number18
DOIs
Publication statusPublished - 2022
Event18th Scandinavian Symposium and Workshops on Algorithm Theory - Vestarabryggja 15, Torshavn, Faroe Islands
Duration: 27 Jun 202229 Jun 2022
https://www.setur.fo/en/education/swat-2022/

Conference

Conference18th Scandinavian Symposium and Workshops on Algorithm Theory
LocationVestarabryggja 15
Country/TerritoryFaroe Islands
CityTorshavn
Period27/06/202229/06/2022
Internet address
SeriesLeibniz International Proceedings in Informatics, LIPIcs
ISSN1868-8969

Fingerprint

Dive into the research topics of 'Predecessor on the Ultra-Wide Word RAM'. Together they form a unique fingerprint.

Cite this