JHeaps Library

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

What is this library?

This library contains various heap implementations written in Java.

It is easy to use
The data structures have a well defined interface
It is fast and well documented
The heaps are written in a similar way as in the JDK
It does not depend on other libraries, so classpathing 'jheaps.jar' is sufficient to use in your project.

What is a heap?

A heap is a priority queue data type which contains elements with keys (duplicate keys are permitted) from a totally-ordered universe. A min-oriented heap supports the following core operations:

MAKE-HEAP(): create an empty heap
INSERT(H,x): insert an element x into the heap
FIND-MIN(H): return an element with the smallest key
EXTRACT-MIN(H): remove the element with the smallest key
IS-EMPTY(H): is the heap empty?
SIZE(H): return the number of elements of the heap
CLEAR(H): remove all elements of the heap

A heap does not support a search operation. A special type of heap called explicit or addressable resolves this issue by returning a handle when inserting a new element. This handle can later be used to additionally perform the following operations:

DECREASE-KEY(H,x,k): decrease the key of element x to k
DELETE(H,x): delete the element x from the heap

Implicit heaps are represented using arrays. They are not addressable as the location of the elements in memory can change. However, they can be made to be addressable by using an additional layer of indirection. In this case we store handles inside the array. Each handle contains an additional integer property, designating the location in the array where the handle is stored.

Some heaps are meldable, that is they efficiently support the union operation:

MELD(H1,H2): add all elements of H2 into H1 and destroy H2

As a general rule, heaps using an array representation are not meldable.

Available Heaps

The library contains an extensive collection of heap data structures such as:

Tree-based
- Fibonacci mergeable and addressable heaps
- Simple Fibonacci heaps
- Pairing mergeable and addressable heaps
- Costless-meld variant of Pairing heaps
- Rank-Pairing (type-1) mergeable and addressable heaps
- Leftist mergeable and addressable heaps
- Explicit binary tree addressable heaps
- Binary tree soft heaps
- Skew heaps
Dag-based
- Hollow mergeable and addressable heaps
Double-ended mergeable and addressable heaps
- Reflected Fibonacci heaps
- Reflected Pairing heaps
Array-based
- Binary heaps
- Binary addressable heaps
- D-ary heaps
- D-ary addressable heaps
- Binary weak heaps
- Binary weak heaps supporting bulk insertion
- Highly optimized binary heaps for integer keys using the Wegener bottom-up heuristic and sentinel values
Double-ended array-based
- Binary MinMax heaps
Monotone heaps
- Addressable radix heaps with double, long, int or BigInteger keys
- Non-addressable radix heaps with double, long, int or BigInteger keys

Compatibility

The library requires JDK v1.8 and above.

Python Bindings

We also provide Python bindings which compile the Java library into a native shared library using GraalVM. The result is a native self-contained library with no dependency on the JVM! For more information see the following links:

d-michail / jheaps