Задачи, которые нужно уменьшить для доказательства нижней границы

Какие стандартные задачи мы можем уменьшить, чтобы доказать нижних оценок? $\Omega(n\log n)$

Конечно, проблемы состояния, отличные от сортировки и четкости элементов.

cc.complexity-theory lower-bounds

— Винаяк Патхак
источник

В какой вычислительной модели?

— MCH

Хорошая точка зрения. Я имел в виду модель, основанную на сравнении.

— Винаяк Патхак

$\Omega(n\log n)$

$n$
$n$
$n$
$n$
Включение множеств: Учитывая два набора действительных чисел, является ли подмножество другого?
$[n]$

Первые три наиболее часто используются в вычислительной геометрии.

— Jeffε
источник

не имеет значения в сторону: первые три также являются каноническими сложными задачами для нижних границ алгоритма потоков на основе сложности связи.

— Суреш Венкат

@SureshVenkat - Я видел, как множество дизъюнктов и равенство использовались для проверки нижних границ при потоковой передаче. У вас есть пример отличимости элементов?

— Винаяк Патхак

По крайней мере, одно место, которое я видел, было при анализе алгоритмов в модели W-потока. В общем, ЭД тесно связана с бит-вектором (или множеством) дизъюнктивности

— Суреш Венкат