Perguntas com a marcação «lower-bounds»

Na teoria dos algoritmos distribuídos, existem problemas com limites inferiores, como Ω(n2)Ω(n2)\Omega(n^2), que são "grandes" (ou seja, maiores que Ω(nlogn)Ω(nregistro⁡n)\Omega(n\log n)) e não trivial. Gostaria de saber se existem problemas com limites semelhantes na teoria do algoritmo serial, quero dizer de ordem muito maior queΩ(nlogn)Ω(nregistro⁡n)\Omega(n\log n). Com trivial, quero dizer …

8 algorithms  complexity-theory  lower-bounds 

Me pediram para encontrar os argumentos do adversário necessários para encontrar os limites inferiores para a seleção e o tipo de inserção. Não consegui encontrar uma referência a ele em nenhum lugar. Eu tenho algumas dúvidas sobre isso. Entendo que argumentos adversários são geralmente usados ​​para encontrar limites mais baixos …

8 algorithms  algorithm-analysis  proof-techniques  lower-bounds 

Eu aprendi recentemente que, para qualquer instância de um problema do k-SAT com mmm cláusulas e nnnliterais, temos uma atribuição de literais de modo que pelo menos cláusulas sejam atendidas.m ( 1 -2- k)m(1 1-2-k)m(1 - 2^{-k}) Eu queria saber se podemos mostrar um limite inferior (não trivial) do tipo …

7 graphs  satisfiability  lower-bounds 

Há um resultado básico na complexidade do circuito que diz: Existe uma linguagem que não pode ser resolvida com circuitos do tamanho .o(2nn)o(2nn)o(\frac{2^n}{n}) O argumento é um argumento simples de contagem do número de funções booleanas e do número de circuitos distintos. Veja, por exemplo, estas notas de aula . …

7 complexity-theory  lower-bounds  circuits 

Por uma máquina de Turing de baunilha, quero dizer uma máquina de Turing com uma fita (sem fitas especiais de entrada ou saída). O problema é como se segue: a fita é inicialmente vazia, com excepção de uma série de s e s terminadas por um caractere de fim-de-corda. A …

7 complexity-theory  turing-machines  time-complexity  lower-bounds