首先声明:“通用”并不是万能,只是能维护这些操作下的大多数常见的区间信息。
将数列中的每个元素视为一个一次函数 \(f_i(x)=k_ix+b_i\)。假设数列为 \(a\),则初始化 \(f_i(x)=0x+a_i\)。
区间加、区间乘操作可以视为将区间每个一次函数复合一个一次函数 \(g_j(x)=k_jx+b_j\),其中区间加 \(t_j\) 为 \(g_j(x)=1x+t_j\),区间乘 \(t_j\) 为 \(g_j(x)=t_jx+0\)。
对 \(g_j(f_i(x))\) 进行变形:
\[\begin{aligned} g_j(f_i(x))&=k_j(k_ix+b_i)+b_i\\ &=k_jk_ix+k_jb_i+b_i \end{aligned} \]得到一个新的一次函数,这个一次函数的斜率和截距可以通过两个函数的斜率和截距很方便地求出。同时根据以上公式,容易知道(在不少题解中都讲不清楚的)加法和乘法的优先级顺序。
区间推平为 \(t_j\) 可以视为复合一次函数 \(g_j(x)=0x+t_j\),区间取相反数可以视为复合一次函数 \(g_j(x)=-x+0\)。
综上,区间加、区间乘、区间推平、区间取相反数等类似操作都可以视为线段树维护一次函数,并进行一次函数复合操作。
更一般地,线段树可以视为维护元素半群和操作半群的数据结构,因此可以进行较为通用的封装。
标签:推平,线段,一次函数,区间,相反数,视为 From: https://www.cnblogs.com/ruierqwq/p/segment-tree-note.html