（简记）一类支配点对解决区间查询问题

前言：最近好像见了挺多这种题，记录一下。

支配点对

我们经常遇到树上或区间上关于 \(x,y\in[l,r]\) 一类的区间统计问题，且通常要求区间内点两两任意匹配并统计总贡献，这个贡献不具有简单可加性。我们往往通过找支配点对可以解决部分这类问题。

具体来说，支配点对是一种合法点对 \((l,r)\)，满足其不包含更小相同贡献的合法点对 \((l',r')\)（即不存在 \([l',r']\) 使得 \(l\le l'\land r'\le r\)）。通过树上启发式合并，我们可以证明这样的点对是 \(O(n\log n)\) 的，因为任意形态树跨子树相邻点配对都是选较小集合然后有只有相邻两个（即常数个）匹配。

由于树上启发式合并所需访问集合总大小为 \(O(n\log n)\)，所以点对数目也是。这么说有点抽象，可以前往树上启发式合并博客查看详解。

这类题目统计答案通常都需要用到扫描线，且通常是带权数点问题，可能是 \(\sum/\min/\max\) 之一，具体问题具体分析即可。

结合扫描线

请前往扫描线博客：扫描线维护支配点对答案。

结合扫描线 & 点分治

请前往点分治博客：P9058 [Ynoi2004] rpmtdq。