算法、区间更新、线段树