即用 lzidlz_{id}lzid 表示线段树上点 ididid 所有后代的和矩阵要 ×baselzid\times base^{lz_{id}}×baselzid(basebasebase 表示矩阵快速幂中的底数)。
于是更新儿子节点和矩阵时需要计算 baselzbase^{lz}baselz。而这是模意义下的,在更新 lzlzlz 时我们习惯性地对 PPP 取模,这是错误的,basexbase^xbasex 与 basexmod Pbase^{x \mod P}basexmodP 在模 PPP 意义下并不同余。
改进措施:
pushdown