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

A complexidade do circuito de profundidade limitada é uma das principais áreas de pesquisa na teoria da complexidade do circuito. Este tópico tem origens em resultados como "a função de paridade não está em " e "a função mod não é calculada por ", onde é a classe de idiomas …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Como é sabido, o PARITY não pode ser feito em circuitos de profundidade constante de tamanho poli e, de fato, os circuitos const-dept requerem número de portas EXP. E os circuitos QUANTUM? a) O PARITY pode ser feito com um circuito quântico que tenha profundidade constante e número poli de …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

Parte do trabalho sobre sensibilidade versus sensibilidade de bloco tem como objetivo examinar funções com o maior espaço possível entre e , a fim de resolver a conjectura de que é polinomialmente maior que . E a direção oposta? O que se sabe sobre funções em que s (f) = …

17 circuit-complexity  boolean-functions 

Nós sabemos (por agora cerca de 40 anos, obrigado Adleman, Bennet e Gill) que a inclusão BPP P / poli, e um ainda mais forte BPP / poli P / hold poli. O "/ poly" significa que trabalhamos de maneira não uniforme (um circuito separado para cada comprimento de entrada …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization 

Qual é o número mínimo de portas binárias necessárias para calcular AND e OR de bits de entrada simultaneamente? O limite superior trivial é 2 n - 2 . Eu acredito que isso é ótimo, mas como provar isso? A técnica de eliminação de gate padrão não funciona aqui, pois, …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Uma lacuna que eu sempre sabia que realmente não entendo é entre complexidade computacional não uniforme e uniforme, onde a complexidade do circuito representa a versão não uniforme e as máquinas de Turing são onde as coisas são uniformes. Suponho que "uniforme" é uma maneira de restringir a classe de …

16 cc.complexity-theory  circuit-complexity 

A famosa Imagem do Mundo de Neil Immerman é a seguinte (clique para ampliar): Sua classe "Verdadeiramente viável" não inclui nenhuma outra classe; minha pergunta é então: O que é um problema de AC 0 considerado não prático e por quê?

16 cc.complexity-theory  circuit-complexity 

O problema a seguir aparece na lista de Aaronson, Dez semi-grandes desafios para a teoria da computação quântica . É BQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Em outras palavras, pode a parte "quantum" de qualquer algoritmo quântico ser comprimido para polylog(n)polylog(n)\mathrm{polylog}(n) de profundidade, desde que está disposto para fazer polynomial- pós-processamento clássico? (Sabe-se que isso …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

Essa pergunta pode ser feita tanto na estrutura da complexidade dos circuitos booleanos, quanto na teoria da complexidade algébrica, ou provavelmente em muitas outras configurações. É fácil mostrar, contando argumentos, que existem funções booleanas em N entradas que exigem exponencialmente muitas portas (embora, é claro, não tenhamos nenhum exemplo explícito). …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

No artigo de Razborov-Rudich, Natural Proofs , página 6, na parte em que discutem que existem "fortes provas de limites inferiores contra modelos de circuitos monótonos " e como elas se encaixam na figura, existem as seguintes frases: Aqui a questão não é construtividade - as propriedades usadas nessas provas …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

As provas naturais são uma barreira para provar limites inferiores na complexidade do circuito das funções booleanas. Eles não implicam diretamente tal barreira na comprovação de limites mais baixos na complexidade do circuito . Existe algum progresso para identificar essas barreiras? Existem outras barreiras no cenário monótono?m o n o …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Na complexidade do circuito, temos separações entre potências de vários modelos de circuitos. Na complexidade da prova, temos separações entre potências de vários sistemas de prova. Mas no algorítmico, ainda temos poucas separações entre os poderes dos paradigmas algorítmicos . Minhas perguntas abaixo visam abordar esse último problema por dois …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

Suponha que recebamos um conjunto de n variáveis ​​booleanas x_1, ..., x_n e um conjunto de m funções y_1 ... y_m onde cada y_i é o XOR de um subconjunto (dado) dessas variáveis. O objetivo é calcular o número mínimo de operações XOR que você precisa executar para calcular todas …

15 circuit-complexity  approximation-hardness  approximation  matrix-product 

Todo circuito aritmético monótono , isto é, um circuito , calcula algum polinômio multivariado F ( x 1 , … , x n ) com coeficientes inteiros não negativos. Dado um polinômio f ( x 1 , … , x n ) , o circuito{+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) Calcula se F ( um …

15 circuit-complexity  lower-bounds  arithmetic-circuits  cc-complexity-theory 

O que acontece se definirmos P P A DPPAD{\bf PPAD} de tal modo que em vez de um circuito polytime Turing-máquina / polysize, um logspace Turing-máquina ou um A C 0AC0{\bf AC^0} circuito codifica o problema? Recentemente dando algoritmos mais rápidos para Circuit satisfiability para pequenos circuitos acabou por ser …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0