Perguntas com a marcação «circuit-complexity»

Creio que as respostas a essa pergunta dão classes de tal forma que, para todos os polinômios , existe um problema na classe que não possui circuitos de tamanho p ( n ) . No entanto, estou perguntando sobre o tamanho do circuito ωpppp ( n )p(n)p(n) .ω( N )ω(n)\omega …

9 circuit-complexity  lower-bounds 

Qual é o melhor resultado para o número de portas em um circuito multiplicando dois números inteiros de n bits? O método óbvio gera portas . Existem abordagens melhores com as portas θ ( n log n log log n ) e θ ( n log n 2 log ∗ …

9 cc.complexity-theory  circuit-complexity 

Digamos que temos uma função booleana f: { - 1 , 1 }n→ { - 1 , 1 }f:{-1 1,1 1}n→{-1 1,1 1}f:\{-1,1\}^n\rightarrow \{-1,1\} e aplicamos a restrição aleatória δδ\delta em fff . Além disso, diga que a árvore de decisão TTT que calcula fff diminui para o tamanho O …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

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 

O algoritmo de Berkowitz fornece um circuito de tamanho polinomial com profundidade logarítmica para determinar uma matriz quadrada usando potências matriciais. O algoritmo usa implicitamente o cancelamento. O cancelamento é essencial para a obtenção de um circuito de tamanho polinomial com profundidade logarítmica ou linear para calcular o determinante (e …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Minha pergunta é sobre teoria finita de modelos / complexidade descritiva, então significará "primeira ordem sobre palavras binárias finitas, usando os predicados Rs e um predicado unário P verdadeiro na posição do 1 na palavra".FO(R)FO(R)FO(R) Gostaria de saber, existe alguma caracterização de com R algum predicado em N r para …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

DLOGTIME é definido em http://en.wikipedia.org/wiki/DLOGTIME é definido em http://en.wikipedia.org/wiki/L_%28complexity%29 NC e NC n são definidos em http: // en .wikipedia.org / wiki / NC_% 28complexidade% 29euL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME parece ser o menor que pode funcionar. Eu li em vários lugares queL ⊆ NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \,embora todos os …

9 cc.complexity-theory  circuit-complexity 

recentemente, Craig Gentry publicou o primeiro esquema de criptografia de chave pública (sobre o espaço de texto sem formatação {0,1}) que é totalmente homomórfico, o que significa que é possível avaliar de forma eficiente e compacta AND e XOR em textos simples criptografados sem o conhecimento da chave de descriptografia …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Este resultado de Tavenas, Koiran e outros mostra que qualquer polinômio calculado por um circuito de tamanho sss é calculado por um circuito homogêneo de profundidade 4 do tamanho sd√sds^{\sqrt{d}} . Existem resultados semelhantes para circuitos booleanos ou sabemos por que isso não é possível?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Alguém já explorou qual é a complexidade do circuito de problemas clássicos de decisão, como Primes ou Isomorfismo de Gráfico, para o tamanho pequeno de entrada ?NNN Enquanto a maioria das pessoas está interessada em saber como a escala vai como , acho que também seria interessante ver como isso …

9 cc.complexity-theory  reference-request  circuit-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 

Da Wikipedia : VPVP\mathsf{VP} : A classe VP é o análogo algébrico de P; é a classe de polinômios de grau polinomial que têm circuitos de tamanho polinomiais sobre um campo fixo .fffKKK VNPVNP\mathsf{VNP} : A classe VNP é o análogo do NP. O VNP pode ser considerado como a …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Savický e Woods (o número de funções booleanas calculadas por fórmulas de um determinado tamanho) provam o seguinte resultado. Teorema [SW98]: Para cada constante k > 1k>1k>1 , quase todas as funções booleanas com complexidade de fórmula no máximo nknkn^k têm complexidade de circuito pelo menos nk/ knk/kn^k/k . A …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Como mostrado no artigo "Circuitos monótonos para a função majoritária", é possível construir um circuito booleano monótono para a função majoritária em n variáveis ​​com tamanho O (n ^ 3) e profundidade 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Minha pergunta é: qual é a complexidade temporal dessa construção? (ou …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

Em [1] afirma-se que "Continua sendo uma questão em aberto se todas as funções em possuem circuitos T C 0 (embora seja pelo menos sabido que nem todas as funções # P possuem circuitos T C 0 uniformes para DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 circuitos gerados por funções dlogtime não contém # P …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent