Perguntas com a marcação «circuits»

Eu sei que as operações bit a bit são tão rápidas nos processadores modernos, porque elas podem operar em 32 ou 64 bits em paralelo; portanto, as operações bit a bit levam apenas um ciclo de clock. No entanto, a adição é uma operação complexa que consiste em pelo menos …

73 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Em relação ao portão quântico de Toffoli : é clássico universal, e se sim, por que? é quantumly universal e por quê?

20 quantum-computing  circuits  turing-completeness 

Após o lançamento da biblioteca da AIGER para manipular gráficos de inversores em 2006 (eu acho), alguns solucionadores de circuito SAT foram lançados em 2006-2008, e em algumas corridas / competições SAT havia faixas da AIG. No entanto, desde então, parece que o foco foi inteiramente no SMT ou na …

18 satisfiability  circuits  sat-solvers 

Por exemplo, eu sei que o idioma não regular está em . Eu gostaria de saber mais exemplos como este. A C 0umanbnanbna^nb^nA C0 0AC0AC^0

11 complexity-theory  regular-languages  circuits 

Não consigo entender como o SR Latch funciona. Aparentemente, você conecta uma linha de entrada de R e outra de S e deve obter resultados em e .QQQQ′Q′Q' No entanto, R e S requerem entrada da saída do outro, e a saída do outro requer entrada da saída do outro. …

10 circuits  sequential-circuit 

A definição de P é uma linguagem que pode ser decidida por um algoritmo de tempo polinomial. A definição de P / poli pode ser entendida como uma linguagem que pode ser decidida por um circuito de tamanho polinomial (consulte http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Agora, por que um circuito de tamanho polinomial …

10 complexity-theory  time-complexity  circuits 

É sabido que toda função booleana pode ser realizada usando um circuito booleano de profundidade 2 (sobre as variáveis, negação e valores constantes) contendo portas AND na primeira nível e um único portão OR no nível superior; isso é simplesmente a representação DNF de f .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Outro tipo de …

9 complexity-theory  logic  circuits 

Testes de identidade polinómio é o padrão exemplo de um problema conhecido por ser em co-RP mas não conhecido por ser em P . Nos circuitos aritméticos , parece realmente difícil, pois o grau do polinômio pode ser aumentado exponencialmente por meio de quadrados repetidos. Esta pergunta aborda a questão …

8 randomized-algorithms  polynomial-time  circuits 

O Exercício 4.29 de Computação Quântica e Informação Quântica de Nielsen e Chuang me deixou perplexo. Encontre um circuito contendo O (n2)O(n2)O(n^2) Toffoli, CNOT e portas de qubit único que implementam uma Cn( X)Cn(X)C^n(X) portão (para n > 3n>3n > 3), sem qubits de trabalho. Eu descobri que isso não …

8 quantum-computing  circuits 

Estou tentando vincular os circuitos lógicos combinacionais (computadores baseados apenas em portas lógicas) com tudo o que aprendi recentemente em Teoria da computação. Gostaria de saber se os circuitos lógicos combinacionais podem implementar cálculos da mesma maneira que as máquinas de estados finitos. Eles parecem radicalmente diferentes: As máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

Diga que você tem mmm entradas booleanas e você recebe um limite nnn. Você precisa construir um circuito booleano que avalie verdadeiro se pelo menosnnndas entradas verdadeiras. Você pode usar as portas AND, OR, NOT ou XOR (restritas à entrada de dois, com saída arbitrária). Assintoticamente, quão pequeno você pode …

8 complexity-theory  circuits 

Uma porta de limite que implementa uma função de limite linear em entradas booleanas é dada pela equação: onde . Os são chamados de pesos da função de limiar e é chamado de limiar e, naturalmente, o gate dispara na entrada se a soma ponderada dada pela equação acima exceder …

8 complexity-theory  circuits 

Há um resultado básico na complexidade do circuito que diz: Existe uma linguagem que não pode ser resolvida com circuitos do tamanho .o(2nn)o(2nn)o(\frac{2^n}{n}) O argumento é um argumento simples de contagem do número de funções booleanas e do número de circuitos distintos. Veja, por exemplo, estas notas de aula . …

7 complexity-theory  lower-bounds  circuits 

Em http://rjlipton.wordpress.com/2009/05/27/arithmetic-hierarchy-and-pnp/ , Defina, como a máquina de Turing determinística que opera da seguinte forma em uma entrada . A máquina trata como um programa determinístico e simula na entrada . Ao mesmo tempo, a máquina executa um contador que interrompe sua execução após as etapas . Se a máquina …

7 complexity-theory  circuits 

Existe um circuito aritmético equivalente para cada função computável? Eu tenho tentado entender a afirmação acima, mas não encontrei um exemplo contrário, apesar de acreditar que a afirmação é falsa. O que me deixou curioso é que li alguns teoremas afirmando que um protocolo (teoria do protocolo de criptografia) pode …

6 computability  computation-models  cryptography  circuits  simulation