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

Em outro tópico , Joe Fitzsimons perguntou sobre "os melhores limites inferiores atuais no 3SAT". Eu gostaria de seguir o outro caminho: qual é o melhor limite superior atual no 3SAT? Em outras palavras, qual é a complexidade de tempo do solucionador SAT mais eficiente? Em particular, é concebível encontrar …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Esta é uma pergunta sobre a complexidade do circuito. (As definições estão na parte inferior.) Yao e Beigel-Tarui mostraram que toda família de circuitos de tamanho s possui uma família de circuitos equivalente de tamanho s p o l y ( log s ) de profundidade dois , em que …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

Usando o algoritmo carry look ahead, podemos calcular a adição usando uma profundidade de tamanho polinomial 5 (ou 4?) família de circuitos C 0 . É possível reduzir a profundidade? Podemos calcular a adição de dois números binários usando uma família de circuitos de tamanho polinomial com profundidade menor que …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Entendo que a integridade de Turing requer memória ilimitada e tempo ilimitado. No entanto, há uma quantidade finita de átomos nesse serviço, tornando a memória limitada. Por exemplo, mesmo que seja irracional, não há como armazenar mais do que um certo número de dígitos, mesmo que todos os átomos do …

17 computability  upper-bounds 

Considere o seguinte modelo de circuito simples monótono: cada porta é apenas um OR binário. Qual é a complexidade de uma função f ( x ) = A x emf(x)=Axf(x)=Ax que AAA é uma matriz booleana n × nn×nn \times n com O ( n )O(n)O(n) 0's? Pode ser calculado …

14 ds.algorithms  circuit-complexity  upper-bounds 

Seja G uma árvore em 2n vértices. A largura de árvore de G, tw (G) = 1. Agora, suponha que adicionemos n arestas a G para obter um gráfico H. Um limite superior fácil de tw (H) é n + 1. Isso é essencialmente o melhor possível? Parece de alguma …

14 upper-bounds  treewidth 

Um problema CNF SAT NP é difícil quando o número total (mas não a largura) das cláusulas de 3 ou mais termos é delimitado acima por uma constante? Que tal especificamente quando existe apenas uma dessas cláusulas?

10 np-hardness  sat  upper-bounds 

Suponha que consideremos 3-SAT com variáveis ​​e cláusulas c . Estou pesquisando um método que parece ter O ( v 2 + log c ) tempo / espaço para resolver qualquer problema de SAT que se encaixe nessa descrição, dentro de um erro que pode ser ajustado para uma quantia …

10 ds.algorithms  sat  upper-bounds 

Gostaria de saber o estado atual da transição de fase para k-sat aleatório, dadas n variáveis ​​e cláusulas m, qual é o melhor conhecido c = m / n para os limites superior e inferior.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Seja xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} para i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , com a promessa de que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (onde a soma está acima ). Então, qual é a complexidade de determinar se ?ZZ\mathbb{Z}x=1x=1x = 1 Observe que trivialmente o problema está em porque iff x = 1 . A …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Defina como um gráfico direcionado aleatoriamente ( vértices; colocamos aresta entre dois vértices com probabilidade ).n pG(n,p)G(n,p)G(n, p)nnnppp Quais são os resultados conhecidos para o seguinte problema: Corrija dois vértices e . Qual é a probabilidade de que existe pelo menos um caminho (de comprimento no máximo ) entre e …

8 graph-theory  upper-bounds  random-walks  random-graphs