2021-10-18 23:08:42 +08:00
|
|
|
/**
|
|
|
|
* @file
|
|
|
|
* @brief Implementation of [Segment Tree]
|
|
|
|
* (https://en.wikipedia.org/wiki/Segment_tree) data structure
|
|
|
|
*
|
|
|
|
* @details
|
|
|
|
* A segment tree, also known as a statistic tree, is a tree data structure used
|
|
|
|
* for storing information about intervals, or segments. Its classical version
|
|
|
|
* allows querying which of the stored segments contain a given point, but our
|
|
|
|
* modification allows us to perform (query) any binary operation on any range
|
|
|
|
* in the array in O(logN) time. Here, we have used addition (+).
|
|
|
|
* For range updates, we have used lazy propagation.
|
|
|
|
*
|
|
|
|
* * Space Complexity : O(NlogN) \n
|
|
|
|
* * Build Time Complexity : O(NlogN) \n
|
|
|
|
* * Query Time Complexity : O(logN) \n
|
|
|
|
*
|
|
|
|
* @author [Madhav Gaba](https://github.com/madhavgaba)
|
|
|
|
* @author [Soham Roy](https://github.com/sohamroy19)
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <cassert> /// for assert
|
|
|
|
#include <cmath> /// for log2
|
|
|
|
#include <iostream> /// for IO operations
|
|
|
|
#include <vector> /// for std::vector
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Constructs the initial segment tree
|
|
|
|
*
|
|
|
|
* @param arr input to construct the tree out of
|
|
|
|
* @param segtree the segment tree
|
|
|
|
* @param low inclusive lowest index of arr to begin at
|
|
|
|
* @param high inclusive highest index of arr to end at
|
|
|
|
* @param pos index of segtree to fill (eg. root node)
|
|
|
|
* @returns void
|
|
|
|
*/
|
|
|
|
void ConsTree(const std::vector<int64_t> &arr, std::vector<int64_t> *segtree,
|
|
|
|
uint64_t low, uint64_t high, uint64_t pos) {
|
2020-06-20 00:04:56 +08:00
|
|
|
if (low == high) {
|
2021-10-18 23:08:42 +08:00
|
|
|
(*segtree)[pos] = arr[low];
|
2020-06-20 00:04:56 +08:00
|
|
|
return;
|
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
uint64_t mid = (low + high) / 2;
|
2020-06-20 00:04:56 +08:00
|
|
|
ConsTree(arr, segtree, low, mid, 2 * pos + 1);
|
|
|
|
ConsTree(arr, segtree, mid + 1, high, 2 * pos + 2);
|
2021-10-18 23:08:42 +08:00
|
|
|
(*segtree)[pos] = (*segtree)[2 * pos + 1] + (*segtree)[2 * pos + 2];
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Returns the sum of all elements in a range
|
|
|
|
*
|
|
|
|
* @param segtree the segment tree
|
|
|
|
* @param lazy for lazy propagation
|
|
|
|
* @param qlow lower index of the required query
|
|
|
|
* @param qhigh higher index of the required query
|
|
|
|
* @param low lower index of query for this function call
|
|
|
|
* @param high higher index of query for this function call
|
|
|
|
* @param pos index of segtree to consider (eg. root node)
|
|
|
|
* @return result of the range query for this function call
|
|
|
|
*/
|
|
|
|
int64_t query(std::vector<int64_t> *segtree, std::vector<int64_t> *lazy,
|
|
|
|
uint64_t qlow, uint64_t qhigh, uint64_t low, uint64_t high,
|
|
|
|
uint64_t pos) {
|
|
|
|
if (low > high || qlow > high || low > qhigh) {
|
2020-06-20 00:04:56 +08:00
|
|
|
return 0;
|
2021-10-18 23:08:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if ((*lazy)[pos] != 0) {
|
|
|
|
(*segtree)[pos] += (*lazy)[pos] * (high - low + 1);
|
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
if (low != high) {
|
2021-10-18 23:08:42 +08:00
|
|
|
(*lazy)[2 * pos + 1] += (*lazy)[pos];
|
|
|
|
(*lazy)[2 * pos + 2] += (*lazy)[pos];
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
(*lazy)[pos] = 0;
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
if (qlow <= low && qhigh >= high) {
|
|
|
|
return (*segtree)[pos];
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t mid = (low + high) / 2;
|
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
return query(segtree, lazy, qlow, qhigh, low, mid, 2 * pos + 1) +
|
|
|
|
query(segtree, lazy, qlow, qhigh, mid + 1, high, 2 * pos + 2);
|
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Updates a range of the segment tree
|
|
|
|
*
|
|
|
|
* @param segtree the segment tree
|
|
|
|
* @param lazy for lazy propagation
|
|
|
|
* @param start lower index of the required query
|
|
|
|
* @param end higher index of the required query
|
|
|
|
* @param delta integer to add to each element of the range
|
|
|
|
* @param low lower index of query for this function call
|
|
|
|
* @param high higher index of query for this function call
|
|
|
|
* @param pos index of segtree to consider (eg. root node)
|
|
|
|
* @returns void
|
|
|
|
*/
|
|
|
|
void update(std::vector<int64_t> *segtree, std::vector<int64_t> *lazy,
|
|
|
|
int64_t start, int64_t end, int64_t delta, uint64_t low,
|
|
|
|
uint64_t high, uint64_t pos) {
|
|
|
|
if (low > high) {
|
2020-06-20 00:04:56 +08:00
|
|
|
return;
|
2021-10-18 23:08:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if ((*lazy)[pos] != 0) {
|
|
|
|
(*segtree)[pos] += (*lazy)[pos] * (high - low + 1);
|
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
if (low != high) {
|
2021-10-18 23:08:42 +08:00
|
|
|
(*lazy)[2 * pos + 1] += (*lazy)[pos];
|
|
|
|
(*lazy)[2 * pos + 2] += (*lazy)[pos];
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
(*lazy)[pos] = 0;
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
if (start > high || end < low) {
|
2020-06-20 00:04:56 +08:00
|
|
|
return;
|
2021-10-18 23:08:42 +08:00
|
|
|
}
|
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
if (start <= low && end >= high) {
|
2021-10-18 23:08:42 +08:00
|
|
|
(*segtree)[pos] += delta * (high - low + 1);
|
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
if (low != high) {
|
2021-10-18 23:08:42 +08:00
|
|
|
(*lazy)[2 * pos + 1] += delta;
|
|
|
|
(*lazy)[2 * pos + 2] += delta;
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
return;
|
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
uint64_t mid = (low + high) / 2;
|
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
update(segtree, lazy, start, end, delta, low, mid, 2 * pos + 1);
|
|
|
|
update(segtree, lazy, start, end, delta, mid + 1, high, 2 * pos + 2);
|
2021-10-18 23:08:42 +08:00
|
|
|
(*segtree)[pos] = (*segtree)[2 * pos + 1] + (*segtree)[2 * pos + 2];
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Self-test implementation
|
|
|
|
*
|
|
|
|
* @returns void
|
|
|
|
*/
|
|
|
|
static void test() {
|
2021-10-26 02:17:33 +08:00
|
|
|
auto max = static_cast<int64_t>(2 * pow(2, ceil(log2(7))) - 1);
|
2021-10-18 23:08:42 +08:00
|
|
|
assert(max == 15);
|
|
|
|
|
|
|
|
std::vector<int64_t> arr{1, 2, 3, 4, 5, 6, 7}, lazy(max), segtree(max);
|
|
|
|
ConsTree(arr, &segtree, 0, 7 - 1, 0);
|
|
|
|
|
|
|
|
assert(query(&segtree, &lazy, 1, 5, 0, 7 - 1, 0) == 2 + 3 + 4 + 5 + 6);
|
|
|
|
|
|
|
|
update(&segtree, &lazy, 2, 4, 1, 0, 7 - 1, 0);
|
|
|
|
assert(query(&segtree, &lazy, 1, 5, 0, 7 - 1, 0) == 2 + 4 + 5 + 6 + 6);
|
|
|
|
|
|
|
|
update(&segtree, &lazy, 0, 6, -2, 0, 7 - 1, 0);
|
|
|
|
assert(query(&segtree, &lazy, 0, 4, 0, 7 - 1, 0) == -1 + 0 + 2 + 3 + 4);
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Main function
|
|
|
|
*
|
|
|
|
* @return 0 on exit
|
|
|
|
*/
|
2020-06-20 00:04:56 +08:00
|
|
|
int main() {
|
2021-10-18 23:08:42 +08:00
|
|
|
test(); // run self-test implementations
|
|
|
|
|
|
|
|
std::cout << "Enter number of elements: ";
|
|
|
|
|
|
|
|
uint64_t n = 0;
|
|
|
|
std::cin >> n;
|
|
|
|
|
2021-10-26 02:17:33 +08:00
|
|
|
auto max = static_cast<uint64_t>(2 * pow(2, ceil(log2(n))) - 1);
|
2021-10-18 23:08:42 +08:00
|
|
|
std::vector<int64_t> arr(n), lazy(max), segtree(max);
|
|
|
|
|
|
|
|
int choice = 0;
|
|
|
|
std::cout << "\nDo you wish to enter each number?:\n"
|
|
|
|
"1: Yes\n"
|
|
|
|
"0: No (default initialize them to 0)\n";
|
|
|
|
|
|
|
|
std::cin >> choice;
|
|
|
|
if (choice == 1) {
|
|
|
|
std::cout << "Enter " << n << " numbers:\n";
|
|
|
|
for (int i = 1; i <= n; i++) {
|
|
|
|
std::cout << i << ": ";
|
|
|
|
std::cin >> arr[i];
|
2020-06-20 00:04:56 +08:00
|
|
|
}
|
|
|
|
}
|
2021-10-18 23:08:42 +08:00
|
|
|
|
|
|
|
ConsTree(arr, &segtree, 0, n - 1, 0);
|
|
|
|
|
|
|
|
do {
|
|
|
|
std::cout << "\nMake your choice:\n"
|
|
|
|
"1: Range update (input)\n"
|
|
|
|
"2: Range query (output)\n"
|
|
|
|
"0: Exit\n";
|
|
|
|
std::cin >> choice;
|
|
|
|
|
|
|
|
if (choice == 1) {
|
|
|
|
std::cout << "Enter 1-indexed lower bound, upper bound & value:\n";
|
|
|
|
|
|
|
|
uint64_t p = 1, q = 1, v = 0;
|
|
|
|
std::cin >> p >> q >> v;
|
|
|
|
update(&segtree, &lazy, p - 1, q - 1, v, 0, n - 1, 0);
|
|
|
|
} else if (choice == 2) {
|
|
|
|
std::cout << "Enter 1-indexed lower bound & upper bound:\n";
|
|
|
|
|
|
|
|
uint64_t p = 1, q = 1;
|
|
|
|
std::cin >> p >> q;
|
|
|
|
std::cout << query(&segtree, &lazy, p - 1, q - 1, 0, n - 1, 0);
|
|
|
|
std::cout << "\n";
|
|
|
|
}
|
|
|
|
} while (choice > 0);
|
|
|
|
|
2020-06-20 00:04:56 +08:00
|
|
|
return 0;
|
|
|
|
}
|