Scienza del computer circuits

9

Perché l'aggiunta è rapida come operazioni bit-saggio nei moderni processori?

So che le operazioni bit per bit sono così veloci sui processori moderni, perché possono operare su 32 o 64 bit in parallelo, quindi le operazioni bit per bit richiedono solo un ciclo di clock. Tuttavia, l'aggiunta è un'operazione complessa che consiste in almeno una e forse fino a una …

73 computer-architecture arithmetic circuits cpu digital-circuits

2

Universalità della porta di Toffoli

Per quanto riguarda la porta quantistica di Toffoli : è classicamente universale, e se sì, perché? è quanticamente universale, e perché?

20 quantum-computing circuits turing-completeness

1

Perché tutti i solutori SAT recenti funzionano su CNF anziché sul circuito SAT?

Dopo il rilascio della libreria AIGER per la gestione dei grafici e degli inverter nel 2006 (credo), alcuni solutori di circuiti SAT sono stati rilasciati nel 2006-2008, e in alcune gare / gare SAT c'erano tracce AIG. Tuttavia, da allora sembra che l'attenzione sia stata interamente focalizzata su SMT o …

18 satisfiability circuits sat-solvers

1

Quali lingue non regolari sono in ?

Ad esempio, so che la lingua non regolare è in . Mi piacerebbe conoscere altri esempi come questo.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory regular-languages circuits

1

Come capire il fermo SR

Non riesco a capire come funziona SR Latch. Apparentemente, si collega una linea di input da R, e un'altra da S, e si dovrebbe ottenere risultati in e .Q ′QQQQ'Q′Q' Tuttavia, sia R che S richiedono input dall'output dell'altro e output dell'altro richiede input dall'output dell'altro. Cosa viene prima il …

10 circuits sequential-circuit

1

Perché P e P / poly non sono banalmente la stessa cosa?

La definizione di P è un linguaggio che può essere deciso da un algoritmo temporale polinomiale. La definizione di P / poly può essere intesa come un linguaggio che può essere deciso da un circuito di dimensioni polinomiali (vedi http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Ora, perché non è possibile simulare un circuito di …

10 complexity-theory time-complexity circuits

1

I circuiti Depth-2 con porte OR e MOD non sono universali?

È noto che ogni funzione booleana può essere realizzata utilizzando un circuito booleano di profondità 2 (sopra le variabili, la loro negazione e i loro valori costanti) contenente porte AND nel primo livello e una singola porta OR nel livello superiore; questa è semplicemente la rappresentazione DNF di .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff …

9 complexity-theory logic circuits

3

L'identità polinomiale testare su espressioni * aritmetiche * è banale?

Test identità polinomio è l'esempio standard di un problema noto per essere in co-RP ma non noto per essere in P . Sui circuiti aritmetici , sembra davvero difficile, poiché il grado del polinomio può essere reso esponenzialmente ampio ripetendo la quadratura. Questa domanda affronta il problema di come aggirare …

8 randomized-algorithms polynomial-time circuits

1

Creazione di nott controllati più grandi da porte a qubit singolo, Toffoli e CNOT, senza spazio di lavoro

L'esercizio 4.29 del calcolo quantistico e delle informazioni quantistiche di Nielsen e Chuang mi ha lasciato perplesso. Trova un circuito contenente Toffoli, CNOT e porte a qubit singolo che implementa un gate (per ), senza qubit di lavoro.O (n2)O(n2)O(n^2)Cn( X)Cn(X)C^n(X)n > 3n>3n > 3 Ho capito che questo non può …

8 quantum-computing circuits

1

Circuiti logici combinatori e teoria del calcolo

Sto cercando di collegare i circuiti logici combinatori (solo computer basati su porte logiche) con tutto ciò che ho appreso di recente in Teoria del calcolo. Mi chiedevo se i circuiti logici combinatori possano implementare calcoli allo stesso modo delle macchine a stati finiti. Sembrano radicalmente diversi: Le macchine a …

8 complexity-theory turing-machines computation-models circuits

3

Dimensione del circuito per "almeno n ingressi sono veri"

Di 'che hai mmm input booleani e ti viene data una soglia nnn. Devi costruire un circuito booleano che valuti se vero almenonnndegli input true. È possibile utilizzare porte AND, OR, NOT o XOR (limitate al fan-in due, con fan-out arbitrario). Asintoticamente quanto è piccolo questo circuito? Ogni limite superiore …

8 complexity-theory circuits

Domande taggate «circuits»