Rust-Programming/sparse_vector/README.md

Sparse Vector Implementations

This repository aims at comparing various implementations of sparse vectors.

What is a sparse vector?

A sparse vector is a vector in which most of its elements are zero.

That makes is easier to store because the many zero elements must not be stored.

Though this comes a the cost that we may need to decide between memory saving and computation time.

Implementations overview

• Hashmap
• Index Array
• Compressed Index Array

Index Array

We can omit all zero elements by storing an index array alongside all non zero values. Each value will be associated with an index in from the index array. This model is only efficient in memory size when the amount of zero elements is at least 50%. Since I used usize to store the indices, which is equal to a u64 in 64-bit architectures, The required memory is:

mem(N) = non_zero_elements * (8 Bytes + 8 Bytes)

One significant downside is the cost of finding each corresponding entry when performing calculations such as the dot product. For this I used a binary search which gives a nive speedup.

Hashmap Implementation

This implementation uses a hashmap to associate a value with its corresponding index in the vectors column. In Theory this should be as efficient in memory size as the previous array index method.

But in comparision this method requires signifacantly more memory since a hashmap allocates more memory than it can fill in order to reduce collisions.

It has one significant benefit, that being speed in calculations. Looking up values in a hashmap is generally faster than performing a binary seach. Also inserting and deleting is an O(1) operation.

Compressed Index Array

In order to reduce the size required to store the indices of each value we can compress them by only storing the relative offset to the previous value:

Uncompressed Index	0	7	13	33	45	47	48	57	...	34567
Compressed Index	0	7	6	20	12	2	1	9	...	23

This yields smaller values. Thus we can savely reduce the bandwidth of available bits to store.

In this implementation I reduced to size from 64 to 16 bit. This makes memory usage a lot smaller, but computation gets a lot heavier, since all values have to be decompressed on the fly. A possible improvement would be to cache uncompressed values. May be worth investigating futher.

Comparision

The following values were achieved by using a randomly initialized vector with a length of 10^10 elements from which 2% were non zero. The dot product implementation was single threaded.

Implementation	Size on Heap (GB)	Runtime of dot product (s)
Naive	80	N/A
Index Array	3.6	6.254261896
Hashmap	5.4	0.732189927
Compressed Index Array	2.0	> 120