Skip to main content

segment_tree_query_ty

oxilean_std::data_structures::functions

Function segment_tree_query_ty 

Source 
pub fn segment_tree_query_ty() -> Expr
Expand description

segment_tree_query_log : ∀ n, QueryComplexity (segTree n) = O(log n)

Range queries on a segment tree of size n take O(log n) time.