Succinct dynamic data structures
We develop succinct data structures to represent (i) a sequence of values to support partial
sum and select queries and update (changing values) and (ii) a dynamic array consisting of …
sum and select queries and update (changing values) and (ii) a dynamic array consisting of …
Succinct dynamic dictionaries and trees
We consider space-efficient solutions to two dynamic data structuring problems. We first give
a representation of a set S ⊆ U=\left {0,..., m-1\right\},\left| S\right|= n that supports …
a representation of a set S ⊆ U=\left {0,..., m-1\right\},\left| S\right|= n that supports …
Space efficient linear time algorithms for BFS, DFS and applications
N Banerjee, S Chakraborty, V Raman… - Theory of Computing …, 2018 - Springer
Research on space efficient graph algorithms, particularly for st-connectivity, has a long
history including the celebrated polynomial time, O (lg n) bits 1 algorithm in undirected …
history including the celebrated polynomial time, O (lg n) bits 1 algorithm in undirected …
A hash table without hash functions, and how to get the most out of your random bits
W Kuszmaul - 2022 IEEE 63rd Annual Symposium on …, 2022 - ieeexplore.ieee.org
This paper considers the basic question of how strong of a probabilistic guarantee can a
hash table, storing n(1+Θ(1))\logn-bit key/value pairs, offer? Past work on this question has …
hash table, storing n(1+Θ(1))\logn-bit key/value pairs, offer? Past work on this question has …
[PDF][PDF] Representing dynamic binary trees succinctly
We introduce a new updatable representation of binary trees. The structure requires the
information theoretic minimum 2n+ o (n) bits and supports basic navigational operations in …
information theoretic minimum 2n+ o (n) bits and supports basic navigational operations in …
Improved space efficient algorithms for BFS, DFS and applications
N Banerjee, S Chakraborty, V Raman - International Computing and …, 2016 - Springer
Recent work by Elmasry et al.(STACS 2015) and Asano et al.(ISAAC 2014), reconsidered
classical fundamental graph algorithms focusing on improving the space complexity …
classical fundamental graph algorithms focusing on improving the space complexity …
Executing dynamic data-graph computations deterministically using chromatic scheduling
A data-graph computation—popularized by such programming systems as Galois, Pregel,
GraphLab, PowerGraph, and GraphChi—is an algorithm that performs local updates on the …
GraphLab, PowerGraph, and GraphChi—is an algorithm that performs local updates on the …
Decision procedures for extensions of the theory of arrays
S Ghilardi, E Nicolini, S Ranise, D Zucchelli - Annals of Mathematics and …, 2007 - Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Towards a mathematical
science of computation,” is central to Computer Science. Unfortunately, the theory alone is …
science of computation,” is central to Computer Science. Unfortunately, the theory alone is …