Problemas para reduzir de para provar um limite inferior

12

Quais são os problemas padrão dos quais podemos reduzir para provar limites inferiores?Ω(nlogn)

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

Vinayak Pathak
fonte
9
Em qual modelo computacional?
MCH
Bom ponto. Eu quis dizer o modelo baseado em comparação.
Vinayak Pathak

Respostas:

18

Ben-Or provou diretamente limites inferiores para vários problemas fundamentais no modelo de árvore de computação algébrica:Ω(nlogn)

  • 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
3
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
1
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