Struct nekolib::ds::RemovableHeap

pub struct RemovableHeap<T> { /* private fields */ }

削除可能ヒープ。

Idea

ヒープを二つ使う。

Implementation notes

peek() を &self にするため、remove() と pop() の直後はとりあえず force() している。

Examples

use nekolib::ds::RemovableHeap;

let mut heap = RemovableHeap::new();
heap.push(2);
heap.push(1);
heap.push(3);
heap.push(0);
assert_eq!(heap.peek(), Some(&3)); // {0, 1, 2, 3}

heap.remove(2);                    // {0, 1, 3}
assert_eq!(heap.pop(), Some(3));   // {0, 1}
assert_eq!(heap.peek(), Some(&1));
heap.remove(1);                    // {0}
assert_eq!(heap.peek(), Some(&0));
assert_eq!(heap.pop(), Some(0));   // {}
assert!(heap.is_empty());

削除する要素がヒープに入っていないとき、こまる。

use nekolib::ds::RemovableHeap;

let mut heap = RemovableHeap::new();
heap.push(1);
heap.remove(2);
heap.push(2);
heap.push(3);                      // {1, 2, 3}?
assert_eq!(heap.pop(), Some(3));   // seems good?
assert_ne!(heap.peek(), Some(&2)); // but...
assert_eq!(heap.peek(), Some(&1));

未来の push 操作を打ち消すというわけでもない。

use nekolib::ds::RemovableHeap;

let mut heap = RemovableHeap::new();
heap.push(1);
heap.push(2);
heap.remove(100);
heap.remove(3);
heap.push(101);
heap.push(3);                      // {1, 2, 101}?
assert_eq!(heap.pop(), Some(101)); // seems good, so far
assert_ne!(heap.peek(), Some(&2)); // but...
assert_eq!(heap.peek(), Some(&3));

Implementations

impl<T: Ord> RemovableHeap<T>

pub fn new() -> Self

空のヒープで初期化する。

pub fn push(&mut self, item: T)

要素を追加する。

pub fn remove(&mut self, item: T)

要素を削除する。

Notes

削除処理を遅延させて行うため、&T ではなく T であることに注意。

また、item はその時点でヒープに入っている要素のいずれかと等しい必要がある。 「未来に追加される要素を打ち消す」あるいは「単に無視する」という仕様は、 どちらも操作順しだいでどちらもうまくいかなくなるはず。

BTreeSet を使えば判定できるが、それなら最初から BTreeSet でやればよい。

pub fn pop(&mut self) -> Option<T>

最大値を取り出す。

pub fn peek(&self) -> Option<&T>

最大値を取得する。

pub fn is_empty(&self) -> bool

空のとき true を返す。

pub fn len(&self) -> usize

要素数を返す。

Trait Implementations

impl<T: Clone> Clone for RemovableHeap<T>

fn clone(&self) -> RemovableHeap<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.