Um modelo de computação em que a computação é descrita por meio de circuitos de várias portas lógicas.
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 uma e possivelmente até uma...
Em relação ao portão quântico de Toffoli : é clássico universal, e se sim, por que? é quantumly universal e por
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...
Eu sei que os portões NAND podem ser usados para criar circuitos que implementam todas as tabelas verdadeiras, e os computadores modernos são construídos com portões NAND. Qual é a ligação teórica entre os portões NAND e a integridade de Turing? Parece-me que os circuitos NAND gate estão mais...
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
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...
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. O que vem primeiro a galinha ou o ovo...
É 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...
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...
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...
Pelo que entendi: Um flip flop é uma trava com relógio, ou seja, flip flop = trava + relógio A trava verifica continuamente as entradas e altera a saída sempre que houver uma alteração na entrada O Flip Flop também verifica continuamente a entrada, mas altera o tempo de saída determinado pelo...
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...
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 .nnnx1 1,x2......
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...
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...
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...
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...