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...
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...
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 portas de...
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 , nCEurcvocêEutEvumaeus,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnC ( x )...
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 é...
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...
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...