Struct orx_priority_queue::DaryHeapOfIndices
source · pub struct DaryHeapOfIndices<N, K, const D: usize = 2>{ /* private fields */ }
Expand description
A d-ary heap which implements both PriorityQueue
and PriorityQueueDecKey
.
See PriorityQueueDecKey
for additional functionalities.
DaryHeapOfIndices
achieves the additional features by making use of a fixed size position
array which allows to track the position of nodes on the heap.
It has the limitation that the nodes must implement HasIndex
.
This trait has a single simple method fn index(&self) -> usize
which acts as a unique identifier
of the actual underlying node which is coming from a closed set.
Consider for instance the usage of the heap as the priority queue of Dijkstra’s shortest path algorithm.
The nodes are actual nodes of the graph which is a closed set and can be identified by node indices from
zero to N-1
, where N
is the number of nodes. This heap fits very well such mathematical algorithms
due to the following:
- using a fixed size array could be considered as a fast
HashMap
. - we often reuse such heaps many times to solve many problems on the same network, compensating for the allocation of the positions array once.
- further, compared to a basic priority queue (or to
std::collections::BinaryHeap
), it reduces the space complexity of the Dijkstra’s algorithm from O(N^2) to O(N) by enabling thedecrease_key
operation.
However, for situations where
- the number of nodes entering the queue is very sparse compared to the size of the set of nodes, or
- it is not convenient to index the sets,
DaryHeapWithMap
provides a more flexible approach.
§Flexibility (DaryHeapWithMap
) vs Performance (DaryHeapOfIndices
)
DaryHeapWithMap
(hence its variants such as BinaryHeapWithMap
) does not require to know
the absolute size of the closed set.
Furthermore, the node type needs to implement Hash + Eq
rather than HasIndex
trait defined in this crate.
Due to these, DaryHeapWithMap
might be considered as the more flexible PriorityQueueDecKey
variant.
On the other hand, DaryHeapOfIndices
(hence its variants such as BinaryHeapOfIndices
),
provides significantly faster accesses to positions of nodes on the heap.
This is important for PriorityQueueDecKey
operations such as decrease_key
or contains
.
Furthermore, in many algorithms such as certain network algorithms where nodes enter and exit the queue,
index_bound
can often trivially be set to number of nodes.
§Examples
§Heap as a PriorityQueue
Usage of d-ary heap as a basic priority queue.
use orx_priority_queue::*;
fn test_priority_queue<P>(mut pq: P)
where
P: PriorityQueue<usize, f64>
{
pq.clear();
pq.push(0, 42.0);
assert_eq!(Some(&0), pq.peek().map(|x| x.node()));
assert_eq!(Some(&42.0), pq.peek().map(|x| x.key()));
pq.push(1, 7.0);
assert_eq!(Some(&1), pq.peek().map(|x| x.node()));
assert_eq!(Some(&7.0), pq.peek().map(|x| x.key()));
let popped = pq.pop();
assert_eq!(Some((1, 7.0)), popped);
let popped = pq.pop();
assert_eq!(Some((0, 42.0)), popped);
assert!(pq.is_empty());
}
// d-hap heap using id's to locate existing nodes (although decrease-key is not used here)
test_priority_queue(DaryHeapOfIndices::<_, _, 4>::with_index_bound(32));
// using type aliases to simplify signatures
test_priority_queue(BinaryHeapOfIndices::with_index_bound(16));
test_priority_queue(QuaternaryHeapOfIndices::with_index_bound(16));
test_priority_queue(QuaternaryHeapOfIndices::with_index_bound(16));
§Heap as a PriorityQueueDecKey
Usage of a d-ary heap as a priority queue with decrease key operation and its variants.
use orx_priority_queue::*;
fn test_priority_queue_deckey<P>(mut pq: P)
where
P: PriorityQueueDecKey<usize, f64>
{
pq.clear();
pq.push(0, 42.0);
assert_eq!(Some(&0), pq.peek().map(|x| x.node()));
assert_eq!(Some(&42.0), pq.peek().map(|x| x.key()));
pq.push(1, 17.0);
assert_eq!(Some(&1), pq.peek().map(|x| x.node()));
assert_eq!(Some(&17.0), pq.peek().map(|x| x.key()));
pq.decrease_key(&0, 7.0);
assert_eq!(Some(&0), pq.peek().map(|x| x.node()));
assert_eq!(Some(&7.0), pq.peek().map(|x| x.key()));
let res_try_deckey = pq.try_decrease_key(&1, 20.0);
assert_eq!(res_try_deckey, ResTryDecreaseKey::Unchanged);
let popped = pq.pop();
assert_eq!(Some((0, 7.0)), popped);
let popped = pq.pop();
assert_eq!(Some((1, 17.0)), popped);
assert!(pq.is_empty());
}
// d-ary heap using id's to locate existing nodes
test_priority_queue_deckey(DaryHeapOfIndices::<_, _, 3>::with_index_bound(32));
// using type aliases to simplify signatures
test_priority_queue_deckey(BinaryHeapOfIndices::with_index_bound(16));
test_priority_queue_deckey(QuaternaryHeapOfIndices::with_index_bound(16));
test_priority_queue_deckey(QuaternaryHeapOfIndices::with_index_bound(16));
Implementations§
source§impl<N, K, const D: usize> DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> DaryHeapOfIndices<N, K, D>
sourcepub fn with_index_bound(index_bound: usize) -> Self
pub fn with_index_bound(index_bound: usize) -> Self
As explained in DaryHeapOfIndices
,
this heap is useful when the nodes come from a closed set with a known size.
Therefore, the heap has a strict exclusive upper bound on the index of a node which can enter the heap,
defined by the argument with_index_bound
.
The closed set of indices which can enter the heap is [0, 1, …, index_bound
).
The upper bound on the indices of a DaryHeapOfIndices
can be obtained by the index_bound
method.
§Examples
use orx_priority_queue::*;
// set of possible nodes which can enter the heap is closed and has 16 elements
let mut pq = BinaryHeapOfIndices::with_index_bound(16);
assert_eq!(16, pq.index_bound());
// 8-th node enters the queue with key of 100.0
pq.push(7usize, 100.0);
// third node enters
pq.push(2, 42.0);
// the following line would've panicked since there exist no node with index 16 in the closed set [0, 1, ..., 15]
// pq.push(16, 7.0);
sourcepub fn index_bound(&self) -> usize
pub fn index_bound(&self) -> usize
Cardinality of the closed set which the nodes are sampled from.
§Panics
Panics if a node with an index greater than or equal to the index_bound
is pushed to the queue.
sourcepub const fn d() -> usize
pub const fn d() -> usize
Returns the ‘d’ of the d-ary heap. In other words, it represents the maximum number of children that each node on the heap can have.
sourcepub fn as_slice(&self) -> &[(N, K)]
pub fn as_slice(&self) -> &[(N, K)]
Returns the nodes and keys currently in the queue as a slice; not necessarily sorted.
§Examples
use orx_priority_queue::*;
let mut queue = QuaternaryHeapWithMap::default();
queue.push("x", 42);
queue.push("y", 7);
queue.push("z", 99);
let slice = queue.as_slice();
assert_eq!(3, slice.len());
assert!(slice.contains(&("x", 42)));
assert!(slice.contains(&("y", 7)));
assert!(slice.contains(&("z", 99)));
Trait Implementations§
source§impl<N, K, const D: usize> Clone for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> Clone for DaryHeapOfIndices<N, K, D>
source§fn clone(&self) -> DaryHeapOfIndices<N, K, D>
fn clone(&self) -> DaryHeapOfIndices<N, K, D>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<N, K, const D: usize> Debug for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> Debug for DaryHeapOfIndices<N, K, D>
source§impl<N, K, const D: usize> PriorityQueue<N, K> for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> PriorityQueue<N, K> for DaryHeapOfIndices<N, K, D>
source§type NodeKey<'a> = &'a (N, K)
where
Self: 'a,
N: 'a,
K: 'a
type NodeKey<'a> = &'a (N, K) where Self: 'a, N: 'a, K: 'a
source§type Iter<'a> = Iter<'a, (N, K)>
where
Self: 'a,
N: 'a,
K: 'a
type Iter<'a> = Iter<'a, (N, K)> where Self: 'a, N: 'a, K: 'a
source§fn peek(&self) -> Option<&(N, K)>
fn peek(&self) -> Option<&(N, K)>
source§fn pop(&mut self) -> Option<(N, K)>
fn pop(&mut self) -> Option<(N, K)>
source§fn pop_node(&mut self) -> Option<N>
fn pop_node(&mut self) -> Option<N>
source§fn pop_key(&mut self) -> Option<K>
fn pop_key(&mut self) -> Option<K>
source§fn push_then_pop(&mut self, node: N, key: K) -> (N, K)
fn push_then_pop(&mut self, node: N, key: K) -> (N, K)
source§impl<N, K, const D: usize> PriorityQueueDecKey<N, K> for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> PriorityQueueDecKey<N, K> for DaryHeapOfIndices<N, K, D>
source§fn contains(&self, node: &N) -> bool
fn contains(&self, node: &N) -> bool
node
is in the queue or not. Read moresource§fn key_of(&self, node: &N) -> Option<K>
fn key_of(&self, node: &N) -> Option<K>
node
if it is in the queue;
returns None otherwise. Read moresource§fn decrease_key(&mut self, node: &N, decreased_key: K)
fn decrease_key(&mut self, node: &N, decreased_key: K)
source§fn update_key(&mut self, node: &N, new_key: K) -> ResUpdateKey
fn update_key(&mut self, node: &N, new_key: K) -> ResUpdateKey
node
which is already in the queue as the given new_key
;
and returns the result of the operation: Read moresource§fn remove(&mut self, node: &N) -> K
fn remove(&mut self, node: &N) -> K
node
from the queue; and returns its current key. Read moresource§fn try_decrease_key(&mut self, node: &N, new_key: K) -> ResTryDecreaseKey
fn try_decrease_key(&mut self, node: &N, new_key: K) -> ResTryDecreaseKey
node
which is already in the queue if its prior key is strictly larger than the new_key
;
otherwise, it does nothing leaving the queue unchanged. Read moresource§fn decrease_key_or_push(&mut self, node: &N, key: K) -> ResDecreaseKeyOrPush
fn decrease_key_or_push(&mut self, node: &N, key: K) -> ResDecreaseKeyOrPush
node
is present in the queue: Read moresource§fn update_key_or_push(&mut self, node: &N, key: K) -> ResUpdateKeyOrPush
fn update_key_or_push(&mut self, node: &N, key: K) -> ResUpdateKeyOrPush
node
is present in the queue: Read moresource§fn try_decrease_key_or_push(
&mut self,
node: &N,
key: K,
) -> ResTryDecreaseKeyOrPush
fn try_decrease_key_or_push( &mut self, node: &N, key: K, ) -> ResTryDecreaseKeyOrPush
Auto Trait Implementations§
impl<N, K, const D: usize> Freeze for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> RefUnwindSafe for DaryHeapOfIndices<N, K, D>where
N: RefUnwindSafe,
K: RefUnwindSafe,
impl<N, K, const D: usize> Send for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> Sync for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> Unpin for DaryHeapOfIndices<N, K, D>
impl<N, K, const D: usize> UnwindSafe for DaryHeapOfIndices<N, K, D>where
N: UnwindSafe,
K: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)