Problemas para reduzir de para provar um limite inferior

Quais são os problemas padrão dos quais podemos reduzir para provar limites inferiores? $\Omega(n\log n)$

Obviamente, declare outros problemas além de classificação e distinção de elementos.

cc.complexity-theory lower-bounds

— Vinayak Pathak
fonte

Em qual modelo computacional?

— MCH

Bom ponto. Eu quis dizer o modelo baseado em comparação.

— Vinayak Pathak

Ben-Or provou diretamente limites inferiores para vários problemas fundamentais no modelo de árvore de computação algébrica: $\Omega(n\log n)$

$n$
$n$
$n$
$n$
Inclusão de conjuntos: dados dois conjuntos de números reais, um é um subconjunto do outro?
$[n]$

Os três primeiros são os mais usados em geometria computacional.

— Jeffε
fonte

irrelevante à parte: os três primeiros também são os problemas canônicos para os limites inferiores do algoritmo de fluxo com base na complexidade da comunicação.

— Suresh Venkat

@SureshVenkat - Eu vi a disjunção de conjunto e a igualdade de conjunto sendo usadas para provar limites mais baixos no streaming. Você tem um exemplo de distinção de elemento?

— Vinayak Pathak

Pelo menos um lugar que vi foi na análise de algoritmos sob o modelo W-stream. Em geral, ED está intimamente relacionado com bits do vector (ou conjunto) disjunção

— Suresh Venkat