ZKW线段树区间加区间取最值

本来以为是和zkw单点修改之类的简单技巧，但是今天卡常的时候学习了一下发现有点离谱。
树状数组的区间加区间求和是利用差分和一次前缀和来完成的，但是写在线段树上就不用差分了。
但是可以差分，并且zkw线段树提供了一种线段树式的差分方法：
对于每个点，只存一个标记$t{r}_x$，表示 max ⁡ f a x − max ⁡ x \max_{fa_x} - \max_{x} maxfax​​−maxx​</