从证明

为了证明下界，我们可以减少哪些标准问题？$\Omega(n\log n)$

当然，除了排序和元素区别之外，还存在其他状态问题。

Ben-Or直接证明 了代数计算树模型中几个基本问​​题的下界：$\Omega(n\log n)$

• 元素区别：给定实数数组，元素区别吗？$n$
• 集不相交：给定两组实数，它们有一个共同的元素吗？$n$
• 集合相等性：给定两组实数，一个数组是否是另一个的排列？$n$
• 度量问题：给定实际间隔，它们的并集的总长度是多少？$n$
• 集包含：给定两组实数，其中一个是另一个的子集吗？
• $[n]$

前三个是计算几何中最常用的。