Двоичное дерево, хранящее частичные суммы: название и существующие реализации

Рассмотрим последовательность из n положительных действительных чисел (a_i) и ее последовательность частичной суммы (s_i ). Учитывая число x ∊ (0, s_n], мы должны найти i такое, что s_i−1 ‹ x ≤ s_i. Также мы хотим иметь возможность изменить один из a_i без необходимости обновления всех частичных сумм. Оба можно сделать за O(log n) время с использованием двоичного дерева с a_i в качестве значений конечных узлов, а значения нелистовых узлов представляют собой сумму значений соответствующие дочерние элементы. Если n известно и фиксировано, дерево не должно быть самобалансирующимся и может быть эффективно сохранено в виде линейного массива. Кроме того, если n является степенью двойки, требуется только 2 n − 1 элементов массива. См. Blue et al., Phys. Rev. E 51 (1995), стр. R867– R868 для приложения.Учитывая универсальность проблемы и простоту решения, интересно, имеет ли эта структура данных конкретное имя и существуют ли существующие реализации (желательно в С++). Я уже реализовал это сам, но написание структур данных с нуля для меня всегда кажется изобретением велосипеда — я был бы удивлен, если бы никто не сделал этого раньше.