【AcWing 802. 区间和】

需要离散化的标志：一组需要当作数组下标的数据的值域范围非常大（比如-10^9——10^9），但是其个数却为有限个而且相对值域大小来说十分少（稀疏），因此无法也没有必要开一个对应长度的数组，只需要将这有限个点从特别大的值域中映射到一个大小合适的较小的离散化区域内。
重点&难点：
1.映射数组的长度如何选择？
答：映射数组的长度取决于需要离散化的数据（去重后）的个数，不仅包括修改的数据，还包括查询，移动等各种操作的数据，换句话说：只要出现过的数组下标都算作离散化的数据个数，如对n个点进行了操作，然后对m个[l,r]区间进行了查询，那么离散化的数据总数就是n+2m个，对这n+2m个数进行去重后的个数就是映射数组需要开的长度大小
2.映射算法如何设计？下标值x经映射后成为什么值？
答：对有序，无重的下标集进行二分搜索，返回第一个大于等于x的下标值（因为所有查询操作[l,r]已提前参与了下标集的构建，所以这里一定是等于x的值）
3.抽象化算法流程如何设计？
答：（1）处理所有输入，先把所有的操作用pair记录下来而不实际操作，包括查询操作在内。同时把遇到的所有下标丢进下标集vector<int>alls
（2）对alls进行排序，去重
（3）处理非查询操作，对于每个下标x，将其替换为find[x]，比如逻辑上需要对b[x]+=20，应该实际执行b[find[x]]+=20，因为find[x]将大的不正常的x映射到了0——alls.size()-1之间（或者根据find的设计映射到1——alls.size()之间，甚至任何一个长度相等的范围内）
（4）进行切题的预处理，比如在区间和的题目中，处理前缀和数组
（5）最后处理查询操作，同样注意将x替换为find[x]