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

É sabido que a complexidade da consulta quântica de erro limitado da função é . Agora, a questão é: se queremos que nosso algoritmo quântico seja bem-sucedido para cada entrada com probabilidade em vez dos usuais . Agora, em termos de quais seriam os limites superior e inferior apropriados?Θ ( …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Editar: agora existe uma pergunta de acompanhamento relacionada a esta postagem. Definições Seja ccc e kkk números inteiros. Usamos a notação [i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} . Um c×cc×cc \times c matriz M=(mi,j)M=(mi,j)M = (m_{i,j}) é dito ser um ccc Para- kkk coloração matriz se mantém o seguinte: temos mi,j∈[k]mi,j∈[k]m_{i,j} \in [k] …

9 co.combinatorics  lower-bounds  dc.distributed-comp 

Na complexidade da árvore de decisão de uma função booleana, um método de limite inferior muito bem conhecido é encontrar um polinômio (aproximado) que represente a função. Paturi deu uma caracterização para funções booleanas simétricas (parciais e totais) em termos de uma quantidade indicada ΓΓ\Gamma : Teorema ( Paturi ): …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

O teorema da hierarquia de tempo permite mostrar que, por exemplo, existem problemas em P que não podem ser resolvidos no tempo menos que const * n ^ 2 por uma máquina de Turing. Mas dê alguns conselhos à máquina de Turing e todas as apostas estão fora. Ainda não …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

Primeiro, peça desculpas se esta pergunta é apropriada ou trivial para este site. Sou físico procurando ajuda fora de sua zona de conforto. Em PRL 87 167902 (2001) , alega-se que "... para um arbitrariamente pequeno , existe um código de correção de erros com (para alguma constante ) tal …

8 reference-request  lower-bounds  quantum-information 

Você recebe uma matriz binária de tamanho .nnn Quero mostrar que nenhum algoritmo pode fazer o seguinte (ou surpreender-se e descobrir que esses algoritmos existem afinal): 1) Pré-processe a matriz de entrada usando tempo ilimitado, mas apenas usando bits .O ( n )O(n)O(n) 2) Responda às consultas em tempo constante, …

8 ds.algorithms  lower-bounds  it.information-theory 

Em https://en.wikipedia.org/wiki/Geometric_complexity_theory , é mencionado que ".. Ketan Mulmuley acredita que o programa, se viável, provavelmente levará cerca de 100 anos para resolver o problema P vs. NP". Parece indicar que o único programa atualmente viável poderia enfrentar sérios obstáculos. Quais são alguns dos obstáculos em que o programa pode …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Estou procurando mais problemas em com limites mais baixos de complexidade de tempo clássica. Algumas pessoas podem se perguntar como você pode provar um limite tão baixo. Ver abaixo.PPP Limites inferiores exponenciais: Reivindicação: Se você tiver um problema que é E X P T I M E completo com reduções …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

A complexidade da comunicação (CC) é a única abordagem conhecida para algoritmos de streaming com limites mais baixos? Existem outras técnicas, mesmo que limites inferiores condicionais ? Em geral, estamos satisfeitos com o progresso alcançado via CC? Ou buscar técnicas alternativas (mesmo que condicionais) seria uma direção interessante?

8 lower-bounds  streaming-algorithms  proof-techniques 

Relacionado a uma pergunta recente ( limites no tamanho do menor NFA para L_k-distinct ) Noam Nisan solicitou um método para fornecer um limite inferior melhor para o tamanho de um NFA do que o obtido nos limites da complexidade da comunicação. O que se segue é uma versão especial …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

Existe algum limite inferior não trivial no tempo de execução dos algoritmos de gráfico na RAM / PRAM / modelos de computação? Não estou procurando os resultados da dureza NP aqui. A seguir está um resultado que eu pude encontrar [veja ref L92]: 3-A coloração de um ciclo n requer …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

esta é uma reescrita de outra questão recente [1] que não foi bem estabelecida (tinha uma simplificação semi-óbvia, mea culpa), mas acho que ainda há uma questão não trivial no centro. vi problemas semelhantes na literatura, mas não esse em particular. escreverei em termos de vetores de bits, porque é …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

Seja uma dada matriz quadrada. Existe alguma evidência de que ultrapassar limites inferiores quadráticos para modo que possa ser difícil?B det ( B ) = por ( A )UMAAABBBdet ( B ) = por ( A )det(B)=per(A)\text{det}(B) = \text{per}(A) Existe alguma conjectura plausível que implique que provar limites mais baixos …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

Estou procurando uma referência para a (clássica) complexidade de comunicação aleatória unidirecional quando o universo pode ser grande. Digamos que Alice e Bob tenham conjuntos de tamanho escolhidos entre um universo de tamanho U e Bob queira determinar se a interseção de seus conjuntos está vazia ou não. Gostaria prov …

8 cc.complexity-theory  reference-request  lower-bounds  communication-complexity 

Gostaria de verificar o status do limite inferior do espaço para resolver o problema de conectividade no fluxo em passes. O Ω ( n / p ) foi declarado na literatura, mas parece ser um problema ligeiramente diferente. Perdi alguma coisa? Detalhes abaixo. pppΩ(n/p)Ω(n/p)\Omega(n/p) Dado um gráfico de n vértices …

8 lower-bounds  data-streams