关于标记永久化

线段树可以标记永久化，当且仅当：

1. tag 具有交换律。
2. 以下条件至少满足其中一个：
   1. 可以 pushup，比如区间取 max 求区间 max。
   2. 可以快速处理修改对任一区间（不一定被修改包含）的影响，比如平面取 max 求平面 max。

第一个条件并不强于第二个条件，是因为：即使对区间信息直接树套树，那套的还是原问题，这会无限递归，这个归纳并不合理。

Thanks @Alex_Wei。