析合树

[Ir1d]

https://oi-wiki.org/ds/divide-combine/

OI Wiki 是一个编程竞赛知识整合站点，提供有趣又实用的编程竞赛知识以及其他有帮助的内容，帮助广大编程竞赛爱好者更快更深入地学习编程竞赛

[xyjg]

析点的性质那里是不是把不属于符号打错了

[sshwy]

@xyjg 是的。。。感谢指出

[interestingLSY]

连续段的性质那里 $A \cup B \in I_P$ 是不是应该要求 $A \cap B \neq \phi$?

[Nanarikom]

L[cnt] = R[cnt] = i;  // 这里的 L,R 是指值域的上下界

不是值域的上下界 是区间的左右端点的下标

---

注释里对 M 数组的解释很含糊。这个数组存储的是节点的最右儿子的下标区间的左端点，用来查询第一种操作（当前节点作为儿子并入栈顶节点）的合法性。
那么，做第一种操作的时候也应该记得维护这个事情，具体来说：

R[st[tp]] = i, add(st[tp], now), now = st[tp--];

虽然叉不掉（似乎），但是为了逻辑清晰，我觉得最好改成

R[st[tp]] = i, M[st[tp]] = l[now], add(st[tp], now), now = st[tp--];

---

这个 RMQ 的必要性在哪里啊
都用线段树+单调栈维护这个 (max - min) - (r - l)了
为啥还要用 RMQ 再维护一遍呢
querymin(左端点) == 0 不是一样的吗

---

贴一个代码供参考 CF526F

[hs-black]

连续段的运算需要保证 A,B 互不包含

[ghost]

叶子节点定义成析点是不是更好啊？毕竟如果是合点那么就有可能在构造中存在儿子节点。

[Lookcatbox]

新科技！

[Eletary]

性质部分是包含不是属于罢，没有定义连续段的属于