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

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 

Ryan Williams acabou de postar seu limite inferior no ACC , a classe de problemas que têm circuitos de profundidade constantes com ventiladores e portas AND ilimitados AND, OR, NOT e MOD_m para todos os m possíveis. O que há de tão especial nos portões MOD_m? Eles permitem simular aritmética …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

Eu gostaria de perguntar sobre um caso especial da pergunta “ Decidir se um determinado circuito NC 0 calcula uma permutação ” por QiCheng que foi deixada sem resposta. Um circuito booleano é chamado de circuito NC 0 k se cada porta de saída depende sintaticamente da maioria das k …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

A estrutura de Post , descrita por Emil Post em 1941, é basicamente um diagrama de inclusão completo de conjuntos de funções booleanas que são fechadas sob composição: por exemplo, as funções monótonas, as funções lineares sobre GF (2) e todas as funções. (Post não presumiu que as constantes 0 …

22 circuit-families 

Deixe- ser a função que mapeia um s circuito -gate C em n bits e um n cadeia de bits de . Suponha que os circuitos sejam codificados como uma sequência acíclica de atribuições onde são etiquetas de arame.C i r c u i t E v a ls , …

14 cc.complexity-theory  circuit-complexity  circuit-families 

Seja a função majoritária, ou seja, se e somente se . Fiquei me perguntando se havia uma prova simples do seguinte fato (por "simples" quero dizer não confiar no método probabilístico como o Valiant 84 fez ou em redes de classificação; de preferência, fornecendo uma construção explícita e direta do …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é óbvio para onde procurar, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Estou pensando em idéias sobre algoritmos quânticos exatos. Em particular, estou considerando as prováveis ​​limitações de , que consiste em linguagens exatamente decidíveis por famílias de circuitos quânticos uniformes em tempos polimórficos sobre um conjunto de portas finitas arbitrárias.EQPEQP\mathsf{EQP} A transformada quântica de Fourier (QFT), dada por é uma parte …

11 quantum-computing  circuit-families