Struct seg_tree::segment_tree::LazyPersistentSegmentTree
source · [−]pub struct LazyPersistentSegmentTree<T: PersistentNode + LazyNode> { /* private fields */ }
Expand description
Lazy persistent segment tree, it saves every version of itself, it has range queries and range updates.
It uses O(n+q*log(n))
space, where q
is the amount of updates, and assuming that each node uses O(1)
space.
Implementations
sourceimpl<T> LazyPersistentSegmentTree<T> where
T: PersistentNode + LazyNode + Clone,
impl<T> LazyPersistentSegmentTree<T> where
T: PersistentNode + LazyNode + Clone,
sourcepub fn build(values: &[T]) -> Self
pub fn build(values: &[T]) -> Self
Builds a lazy persistent segment tree from slice, each element of the slice will correspond to a leaf of the segment tree.
It has time complexity of O(n*log(n))
, assuming that combine has constant time complexity.
sourcepub fn query(&mut self, version: usize, left: usize, right: usize) -> Option<T>
pub fn query(&mut self, version: usize, left: usize, right: usize) -> Option<T>
Returns the result from the range [left,right] from the version of the segment tree.
It returns None if and only if range is empty.
It will panic if left or right are not in [0,n), or if version is not in [0,versions).
It has time complexity of O(log(n))
, assuming that combine, update_lazy_value and update_lazy_value have constant time complexity.
sourcepub fn update(
&mut self,
version: usize,
left: usize,
right: usize,
value: <T as Node>::Value
)
pub fn update(
&mut self,
version: usize,
left: usize,
right: usize,
value: <T as Node>::Value
)
It will panic if p is not in [0,n), or if version is not in [0,versions).
It has time complexity of O(log(n))
, assuming that combine, update_lazy_value and update_lazy_value have constant time complexity.
Auto Trait Implementations
impl<T> RefUnwindSafe for LazyPersistentSegmentTree<T> where
T: RefUnwindSafe,
impl<T> Send for LazyPersistentSegmentTree<T> where
T: Send,
impl<T> Sync for LazyPersistentSegmentTree<T> where
T: Sync,
impl<T> Unpin for LazyPersistentSegmentTree<T> where
T: Unpin,
impl<T> UnwindSafe for LazyPersistentSegmentTree<T> where
T: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more