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

A ciência da computação teórica forneceu alguns exemplos do "preço da abstração". Os dois mais proeminentes são para eliminação e classificação gaussiana. Nomeadamente: Sabe-se que a eliminação gaussiana é ideal para, digamos, calcular o determinante se você restringir as operações a linhas e colunas como um todo [1]. Obviamente, o …

112 ds.algorithms  reference-request  big-list  lower-bounds 

Ao projetar um algoritmo para um novo problema, se não conseguir encontrar um algoritmo de tempo polinomial depois de um tempo, talvez eu tente provar que é NP-difícil. Se for bem-sucedido, expliquei por que não consegui encontrar o algoritmo de tempo polinomial. Não é que eu tenha certeza de que …

58 cc.complexity-theory  lower-bounds  conditional-results 

Quais são os melhores limites inferiores de corrente para o tempo e a profundidade do circuito para o 3SAT?

46 cc.complexity-theory  lower-bounds  sat 

Nos anos 80, Razborov mostrou famosa que existem funções booleanas explícitas e monótonas (como a função CLIQUE) que exigem exponencialmente muitos portões AND e OR para calcular. No entanto, a base {AND, OR} sobre o domínio booleano {0,1} é apenas um exemplo de um conjunto de portas interessante que deixa …

40 lower-bounds  circuit-complexity  circuit-families 

Deixe o PRIMES (também conhecido como teste de primalidade ) ser o problema: Dado um número natural , é um número primo?nnnnnn Que FACTORING seja o problema: Dados os números naturais , com , tem um fator com ?nnnmmm1 ≤ m ≤ n1≤m≤n1 \leq m \leq nnnnddd1 < d< m1<d<m1 …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

A ganância, por falta de uma palavra melhor, é boa. Um dos primeiros paradigmas algorítmicos ensinados no curso introdutório de algoritmos é a abordagem gananciosa . A abordagem gananciosa resulta em algoritmos simples e intuitivos para muitos problemas em P. Mais interessante, para alguns problemas difíceis de NP, o algoritmo …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

Alguns anos atrás, Joel Friedman havia algum trabalho relacionado aos limites inferiores do circuito à cohomologia de Grothendieck (veja artigos: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ) Essa linha de pensamento trouxe novas idéias para a complexidade booleana ou continua sendo uma curiosidade matemática?

33 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions 

Seja uma função booleana e pensemos em f como uma função de a . Nesta linguagem, a expansão de Fourier de f é simplesmente a expansão de f em termos de monômios quadrados livres. (Esses monômios formam uma base para o espaço de funções reais em . A soma dos …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

O recente resultado do limite inferior da complexidade do circuito de Ryan Williams fornece uma técnica de prova que usa o resultado do limite superior para provar os limites inferiores da complexidade. Suresh Venkat, em sua resposta a esta pergunta, existem resultados contra-intuitivos em ciência da computação teórica? , forneceu …

29 cc.complexity-theory  lower-bounds 

Preciso calcular a mediana em execução: Entrada: nnn , kkk , vetor .( x1, x2, … , Xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Saída: vetor , em que é a mediana de .y i ( x i , x i + 1 , … , x i + k - 1 )( …

25 ds.algorithms  ds.data-structures  lower-bounds 

Questão: Qual é o limite inferior do tamanho da fórmula mais conhecido para uma função explícita no AC 0 ? Existe uma função explícita com um limite inferior Ω(n2)Ω(n2)\Omega(n^2) ? Fundo: Como a maioria dos limites inferiores, os limites inferiores do tamanho da fórmula são difíceis de encontrar. Estou interessado …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

É claro que qualquer problema que seja decidível no espaço de log determinístico ( ) é executado no máximo no tempo polinomial ( ). Existe uma grande variedade de classes de complexidade entre e . Exemplos incluem , , , , , . Acredita-se que .P L P N L …

24 cc.complexity-theory  lower-bounds  space-bounded 

Um polinômio é uma projeção monótona de um polinômio g ( y 1 , … , y m ) se m = poli ( n ) , e existe uma atribuição π : { y 1 , … , y m } → { x 1 , … , x …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

I know that trivially the OR function on nnn variables x1,…,xnx1,…,xnx_1,\ldots, x_n can be represented exactly by the polynomial p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) as such: p(x1,…,xn)=1−∏ni=1(1−xi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right), which is of degree nnn. Mas como eu poderia mostrar, o que parece óbvio, que se é um polinômio que representa exatamente a …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

Na sequência de uma pergunta anterior , Quais são os melhores limites inferiores do espaço atual para o SAT? Com um limite inferior do espaço, quero dizer aqui o número de células da worktape usadas por uma máquina de Turing que usa um alfabeto binário da worktape. Um termo aditivo …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity