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, é...
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 a porta de saída é uma...
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...
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...
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 forma que tw (H) deve ser O (sqrt (n)), mas isso é...
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 por circuitos OR de tamanho linear? Mais...
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
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
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...
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...